From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Lepiller Subject: [PATCH 21/96] =?UTF-8?q?gnu:=C2=A0Add=20ocaml-cmdliner?= Date: Tue, 3 Jan 2017 20:11:02 +0100 Message-ID: <20170103191217.6431-22-julien@lepiller.eu> References: <20170103191217.6431-1-julien@lepiller.eu> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:60430) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cOUWo-0008Gd-Lp for guix-devel@gnu.org; Tue, 03 Jan 2017 14:13:47 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cOUWn-0004yh-Mh for guix-devel@gnu.org; Tue, 03 Jan 2017 14:13:46 -0500 Received: from dau94-h03-89-91-205-84.dsl.sta.abo.bbox.fr ([89.91.205.84]:35311 helo=skaro.lepiller.eu) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cOUWn-0004wz-Da for guix-devel@gnu.org; Tue, 03 Jan 2017 14:13:45 -0500 Received: from localhost (localhost [127.0.0.1]) by skaro.lepiller.eu (Postfix) with ESMTP id 7423681266 for ; Tue, 3 Jan 2017 20:13:42 +0100 (CET) Received: from skaro.lepiller.eu ([127.0.0.1]) by localhost (lepiller.eu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id Qn-6jsZarce6 for ; Tue, 3 Jan 2017 20:13:36 +0100 (CET) Received: from localhost.localdomain (128-79-116-134.hfc.dyn.abo.bbox.fr [128.79.116.134]) by skaro.lepiller.eu (Postfix) with ESMTPSA id 9F8AF81263 for ; Tue, 3 Jan 2017 20:12:45 +0100 (CET) In-Reply-To: <20170103191217.6431-1-julien@lepiller.eu> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: guix-devel@gnu.org * gnu/packages/ocaml.scm (ocaml-cmdliner): New variable. --- gnu/packages/ocaml.scm | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index e971e72d0..8f7e3ec55 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1124,3 +1124,30 @@ library.") (description "access monotonic wall-clock time. It allows to measur= e time spans without being subject to operating system calendar time adjustment= s.") (license license:isc))) + +(define-public ocaml-cmdliner + (package + (name "ocaml-cmdliner") + (version "0.9.8") + (home-page "http://erratique.ch/software/cmdliner") + (source + (origin + (method url-fetch) + (uri (string-append home-page "/releases/cmdliner-" version ".tb= z")) + (sha256 (base32 + "0hdxlkgiwjml9dpaa80282a8350if7mc1m6yz2mrd7gci3fszykx"= )))) + (build-system ocaml-build-system) + (native-inputs `(("opam" ,opam))) + (arguments `(#:tests? #f + #:build-flags (list "native=3Dtrue" "native-dynlink=3Dt= rue") + #:phases + (modify-phases %standard-phases + (delete 'configure)))) + (synopsis "Declarative definition of command line interfaces for OCa= ml") + (description "Cmdliner is a module for the declarative definition of= command +line interfaces. It provides a simple and compositional mechanism to co= nvert +command line arguments to OCaml values and pass them to your functions. = The +module automatically handles syntax errors, help messages and UNIX man p= age +generation. It supports programs with single or multiple commands and re= spects +most of the POSIX and GNU conventions.") + (license license:bsd-3))) --=20 2.11.0