2013-01-23 20:16:22 +00:00
|
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
|
|
|
|
;;; Copyright © 2013 Cyril Roelandt <tipecaml@gmail.com>
|
2015-06-03 02:49:10 +00:00
|
|
|
|
;;; Copyright © 2014, 2015 Mark H Weaver <mhw@netris.org>
|
2015-08-23 16:11:16 +00:00
|
|
|
|
;;; Copyright © 2015 Andreas Enge <andreas@enge.fr>
|
2015-11-08 19:51:46 +00:00
|
|
|
|
;;; Copyright © 2015 David Hashe <david.hashe@dhashe.com>
|
2015-12-19 01:29:22 +00:00
|
|
|
|
;;; Copyright © 2016 Eric Bavier <bavier@member.fsf.org>
|
2016-02-11 17:53:07 +00:00
|
|
|
|
;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
|
2016-09-02 10:12:07 +00:00
|
|
|
|
;;; Copyright © 2016 Efraim Flashner <efraim@flashner.co.il>
|
2016-12-31 16:44:22 +00:00
|
|
|
|
;;; Copyright © 2016, 2017 Julien Lepiller <julien@lepiller.eu>
|
2013-01-23 20:16:22 +00:00
|
|
|
|
;;;
|
|
|
|
|
;;; This file is part of GNU Guix.
|
|
|
|
|
;;;
|
|
|
|
|
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
|
|
|
|
;;; under the terms of the GNU General Public License as published by
|
|
|
|
|
;;; the Free Software Foundation; either version 3 of the License, or (at
|
|
|
|
|
;;; your option) any later version.
|
|
|
|
|
;;;
|
|
|
|
|
;;; GNU Guix is distributed in the hope that it will be useful, but
|
|
|
|
|
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
;;; GNU General Public License for more details.
|
|
|
|
|
;;;
|
|
|
|
|
;;; You should have received a copy of the GNU General Public License
|
|
|
|
|
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
|
|
(define-module (gnu packages ocaml)
|
|
|
|
|
#:use-module (gnu packages)
|
2016-12-30 10:33:36 +00:00
|
|
|
|
#:use-module (gnu packages autotools)
|
2015-06-08 09:05:23 +00:00
|
|
|
|
#:use-module (gnu packages base)
|
2015-06-03 02:49:10 +00:00
|
|
|
|
#:use-module (gnu packages compression)
|
2016-12-21 15:17:50 +00:00
|
|
|
|
#:use-module (gnu packages curl)
|
|
|
|
|
#:use-module (gnu packages emacs)
|
|
|
|
|
#:use-module (gnu packages gcc)
|
2015-12-19 01:29:22 +00:00
|
|
|
|
#:use-module (gnu packages ghostscript)
|
2016-12-30 10:55:04 +00:00
|
|
|
|
#:use-module (gnu packages glib)
|
2016-12-21 15:17:50 +00:00
|
|
|
|
#:use-module (gnu packages gnome)
|
|
|
|
|
#:use-module (gnu packages gtk)
|
2016-12-30 10:55:04 +00:00
|
|
|
|
#:use-module (gnu packages libevent)
|
2015-12-19 01:29:22 +00:00
|
|
|
|
#:use-module (gnu packages lynx)
|
2016-02-11 17:53:07 +00:00
|
|
|
|
#:use-module (gnu packages m4)
|
2016-12-30 09:53:41 +00:00
|
|
|
|
#:use-module (gnu packages multiprecision)
|
2014-09-15 13:05:52 +00:00
|
|
|
|
#:use-module (gnu packages ncurses)
|
2016-12-30 11:46:48 +00:00
|
|
|
|
#:use-module (gnu packages pcre)
|
2016-12-21 15:17:50 +00:00
|
|
|
|
#:use-module (gnu packages perl)
|
|
|
|
|
#:use-module (gnu packages pkg-config)
|
|
|
|
|
#:use-module (gnu packages python)
|
|
|
|
|
#:use-module (gnu packages tex)
|
|
|
|
|
#:use-module (gnu packages texinfo)
|
2016-12-30 10:33:36 +00:00
|
|
|
|
#:use-module (gnu packages time)
|
2016-12-30 10:53:24 +00:00
|
|
|
|
#:use-module (gnu packages tls)
|
2014-09-15 13:05:52 +00:00
|
|
|
|
#:use-module (gnu packages version-control)
|
2016-12-22 19:19:00 +00:00
|
|
|
|
#:use-module (gnu packages xml)
|
2016-12-21 15:17:50 +00:00
|
|
|
|
#:use-module (gnu packages xorg)
|
|
|
|
|
#:use-module (guix build-system gnu)
|
2016-12-22 19:19:00 +00:00
|
|
|
|
#:use-module (guix build-system ocaml)
|
2016-12-21 15:17:50 +00:00
|
|
|
|
#:use-module (guix download)
|
|
|
|
|
#:use-module ((guix licenses) #:prefix license:)
|
|
|
|
|
#:use-module (guix packages)
|
|
|
|
|
#:use-module (guix svn-download)
|
|
|
|
|
#:use-module (guix utils))
|
2013-01-23 20:16:22 +00:00
|
|
|
|
|
2016-12-22 19:05:46 +00:00
|
|
|
|
;; A shortcut for files from ocaml forge. Downloaded files are computed from
|
|
|
|
|
;; their number, not their name.
|
|
|
|
|
(define (ocaml-forge-uri name version file-number)
|
|
|
|
|
(string-append "https://forge.ocamlcore.org/frs/download.php/"
|
|
|
|
|
(number->string file-number) "/" name "-" version
|
|
|
|
|
".tar.gz"))
|
|
|
|
|
|
2017-01-27 21:58:50 +00:00
|
|
|
|
;; Janestreet packages are found in a similar way and all need the same patch.
|
|
|
|
|
(define (janestreet-origin name version hash)
|
|
|
|
|
(origin (method url-fetch)
|
|
|
|
|
(uri (string-append "https://ocaml.janestreet.com/ocaml-core/"
|
|
|
|
|
(version-major+minor version) "/files/"
|
|
|
|
|
name "-" version ".tar.gz"))
|
|
|
|
|
(sha256 (base32 hash))
|
|
|
|
|
(modules '((guix build utils)))
|
|
|
|
|
(snippet
|
|
|
|
|
(let ((pattern (string-append "lib/" name)))
|
|
|
|
|
`(begin
|
|
|
|
|
;; install.ml contains an invalid reference to the ppx file and
|
|
|
|
|
;; propagates this error to the generated META file. It
|
|
|
|
|
;; looks for it in the "lib" directory, but it is installed in
|
|
|
|
|
;; "lib/ocaml/site-lib/package". This substitute does not change
|
|
|
|
|
;; this file for non ppx packages.
|
|
|
|
|
(substitute* "install.ml"
|
|
|
|
|
((,pattern) (string-append "lib/ocaml/site-lib/" ,name)))
|
|
|
|
|
;; The standard Makefile would try to install janestreet modules
|
|
|
|
|
;; in OCaml's directory in the store, which is read-only.
|
|
|
|
|
(substitute* "Makefile"
|
|
|
|
|
(("--prefix")
|
|
|
|
|
"--libdir $(LIBDIR) --prefix")))))))
|
|
|
|
|
|
|
|
|
|
;; They also require almost the same set of arguments
|
|
|
|
|
(define janestreet-arguments
|
|
|
|
|
`(#:use-make? #t
|
|
|
|
|
#:make-flags
|
|
|
|
|
(list (string-append "CONFIGUREFLAGS=--prefix "
|
|
|
|
|
(assoc-ref %outputs "out")
|
|
|
|
|
" --enable-tests")
|
|
|
|
|
(string-append "LIBDIR="
|
|
|
|
|
(assoc-ref %outputs "out")
|
|
|
|
|
"/lib/ocaml/site-lib")
|
|
|
|
|
;; for ocaml-bin-prot, otherwise ignored
|
|
|
|
|
(string-append "OCAML_TOPLEVEL_PATH="
|
|
|
|
|
(assoc-ref %build-inputs "findlib")
|
|
|
|
|
"/lib/ocaml/site-lib"))
|
|
|
|
|
#:phases (modify-phases %standard-phases (delete 'configure))))
|
|
|
|
|
|
2013-01-23 20:16:22 +00:00
|
|
|
|
(define-public ocaml
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml")
|
2015-08-23 14:30:52 +00:00
|
|
|
|
(version "4.02.3")
|
2013-01-23 20:16:22 +00:00
|
|
|
|
(source (origin
|
2015-06-03 02:49:10 +00:00
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append
|
|
|
|
|
"http://caml.inria.fr/pub/distrib/ocaml-"
|
|
|
|
|
(version-major+minor version)
|
|
|
|
|
"/ocaml-" version ".tar.xz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
2016-04-30 00:55:19 +00:00
|
|
|
|
"1qwwvy8nzd87hk8rd9sm667nppakiapnx4ypdwcrlnav2dz6kil3"))
|
2016-12-31 16:44:22 +00:00
|
|
|
|
(patches
|
|
|
|
|
(search-patches
|
|
|
|
|
"ocaml-CVE-2015-8869.patch"
|
|
|
|
|
"ocaml-Add-a-.file-directive.patch"))))
|
2013-01-23 20:16:22 +00:00
|
|
|
|
(build-system gnu-build-system)
|
2016-02-13 07:42:34 +00:00
|
|
|
|
(native-search-paths
|
|
|
|
|
(list (search-path-specification
|
|
|
|
|
(variable "OCAMLPATH")
|
2016-12-22 18:56:33 +00:00
|
|
|
|
(files (list "lib/ocaml" "lib/ocaml/site-lib")))
|
2017-01-01 15:49:35 +00:00
|
|
|
|
(search-path-specification
|
|
|
|
|
(variable "CAML_LD_LIBRARY_PATH")
|
|
|
|
|
(files (list "lib/ocaml/site-lib/stubslibs")))))
|
2015-06-03 02:49:10 +00:00
|
|
|
|
(native-inputs
|
|
|
|
|
`(("perl" ,perl)
|
|
|
|
|
("pkg-config" ,pkg-config)))
|
|
|
|
|
(inputs
|
|
|
|
|
`(("libx11" ,libx11)
|
2015-06-17 07:13:04 +00:00
|
|
|
|
;; For libiberty, needed for objdump support.
|
2015-06-18 05:33:57 +00:00
|
|
|
|
("gcc:lib" ,(canonical-package gcc-4.9) "lib")
|
2015-06-17 07:13:04 +00:00
|
|
|
|
("zlib" ,zlib))) ;also needed for objdump support
|
2013-01-23 20:16:22 +00:00
|
|
|
|
(arguments
|
2015-06-03 02:49:10 +00:00
|
|
|
|
`(#:modules ((guix build gnu-build-system)
|
|
|
|
|
(guix build utils)
|
|
|
|
|
(web server))
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(add-after 'unpack 'patch-/bin/sh-references
|
2017-01-04 13:20:24 +00:00
|
|
|
|
(lambda* (#:key inputs #:allow-other-keys)
|
|
|
|
|
(let* ((sh (string-append (assoc-ref inputs "bash")
|
|
|
|
|
"/bin/sh"))
|
|
|
|
|
(quoted-sh (string-append "\"" sh "\"")))
|
|
|
|
|
(with-fluids ((%default-port-encoding #f))
|
|
|
|
|
(for-each
|
|
|
|
|
(lambda (file)
|
|
|
|
|
(substitute* file
|
|
|
|
|
(("\"/bin/sh\"")
|
|
|
|
|
(begin
|
|
|
|
|
(format (current-error-port) "\
|
2015-06-03 02:49:10 +00:00
|
|
|
|
patch-/bin/sh-references: ~a: changing `\"/bin/sh\"' to `~a'~%"
|
2017-01-04 13:20:24 +00:00
|
|
|
|
file quoted-sh)
|
|
|
|
|
quoted-sh))))
|
|
|
|
|
(find-files "." "\\.ml$"))
|
|
|
|
|
#t))))
|
2015-06-03 02:49:10 +00:00
|
|
|
|
(replace 'configure
|
2017-01-04 13:20:24 +00:00
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
|
(mandir (string-append out "/share/man")))
|
|
|
|
|
;; Custom configure script doesn't recognize
|
|
|
|
|
;; --prefix=<PREFIX> syntax (with equals sign).
|
|
|
|
|
(zero? (system* "./configure"
|
|
|
|
|
"--prefix" out
|
|
|
|
|
"--mandir" mandir)))))
|
2015-06-03 02:49:10 +00:00
|
|
|
|
(replace 'build
|
2017-01-04 13:20:24 +00:00
|
|
|
|
(lambda _
|
|
|
|
|
(zero? (system* "make" "-j" (number->string
|
|
|
|
|
(parallel-job-count))
|
|
|
|
|
"world.opt"))))
|
2015-06-03 02:49:10 +00:00
|
|
|
|
(delete 'check)
|
|
|
|
|
(add-after 'install 'check
|
2017-01-04 13:20:24 +00:00
|
|
|
|
(lambda _
|
|
|
|
|
(with-directory-excursion "testsuite"
|
|
|
|
|
(zero? (system* "make" "all")))))
|
2015-06-03 02:49:10 +00:00
|
|
|
|
(add-before 'check 'prepare-socket-test
|
2017-01-04 13:20:24 +00:00
|
|
|
|
(lambda _
|
|
|
|
|
(format (current-error-port)
|
|
|
|
|
"Spawning local test web server on port 8080~%")
|
|
|
|
|
(when (zero? (primitive-fork))
|
|
|
|
|
(run-server (lambda (request request-body)
|
|
|
|
|
(values '((content-type . (text/plain)))
|
|
|
|
|
"Hello!"))
|
|
|
|
|
'http '(#:port 8080)))
|
|
|
|
|
(let ((file "testsuite/tests/lib-threads/testsocket.ml"))
|
|
|
|
|
(format (current-error-port)
|
|
|
|
|
"Patching ~a to use localhost port 8080~%"
|
|
|
|
|
file)
|
|
|
|
|
(substitute* file
|
|
|
|
|
(("caml.inria.fr") "localhost")
|
|
|
|
|
(("80") "8080")
|
|
|
|
|
(("HTTP1.0") "HTTP/1.0"))
|
|
|
|
|
#t))))))
|
2015-06-03 02:49:10 +00:00
|
|
|
|
(home-page "https://ocaml.org/")
|
2013-01-23 20:16:22 +00:00
|
|
|
|
(synopsis "The OCaml programming language")
|
|
|
|
|
(description
|
|
|
|
|
"OCaml is a general purpose industrial-strength programming language with
|
gnu: Some cleanup based on lint checkers.
* gnu/packages/admin.scm, gnu/packages/aidc.scm, gnu/packages/algebra.scm,
gnu/packages/apr.scm, gnu/packages/avahi.scm, gnu/packages/backup.scm,
gnu/packages/base.scm, gnu/packages/calcurse.scm, gnu/packages/cdrom.scm,
gnu/packages/check.scm, gnu/packages/compression.scm, gnu/packages/cook.scm,
gnu/packages/crypto.scm, gnu/packages/cryptsetup.scm, gnu/packages/curl.scm,
gnu/packages/cyrus-sasl.scm, gnu/packages/databases.scm,
gnu/packages/doxygen.scm, gnu/packages/dwm.scm, gnu/packages/elf.scm,
gnu/packages/emacs.scm, gnu/packages/feh.scm, gnu/packages/file.scm,
gnu/packages/fish.scm, gnu/packages/flex.scm, gnu/packages/fltk.scm,
gnu/packages/fontutils.scm, gnu/packages/games.scm, gnu/packages/gcal.scm,
gnu/packages/gcc.scm, gnu/packages/geeqie.scm, gnu/packages/ghostscript.scm,
gnu/packages/gimp.scm, gnu/packages/gl.scm, gnu/packages/glib.scm,
gnu/packages/gnome.scm, gnu/packages/gnunet.scm, gnu/packages/gnupg.scm,
gnu/packages/gperf.scm, gnu/packages/grub.scm, gnu/packages/gsasl.scm,
gnu/packages/gtk.scm, gnu/packages/guile-wm.scm, gnu/packages/guile.scm,
gnu/packages/hurd.scm, gnu/packages/icu4c.scm, gnu/packages/image.scm,
gnu/packages/imagemagick.scm, gnu/packages/irssi.scm, gnu/packages/kde.scm,
gnu/packages/libdaemon.scm, gnu/packages/libevent.scm,
gnu/packages/libidn.scm, gnu/packages/libusb.scm, gnu/packages/linux.scm,
gnu/packages/lout.scm, gnu/packages/lsh.scm, gnu/packages/lsof.scm,
gnu/packages/lua.scm, gnu/packages/maths.scm, gnu/packages/mcrypt.scm,
gnu/packages/mp3.scm, gnu/packages/netpbm.scm, gnu/packages/noweb.scm,
gnu/packages/ocaml.scm, gnu/packages/openssl.scm, gnu/packages/pcre.scm,
gnu/packages/pdf.scm, gnu/packages/pkg-config.scm,
gnu/packages/pretty-print.scm, gnu/packages/python.scm, gnu/packages/qt.scm,
gnu/packages/rsync.scm, gnu/packages/scheme.scm, gnu/packages/scrot.scm,
gnu/packages/sdl.scm, gnu/packages/skribilo.scm, gnu/packages/ssh.scm,
gnu/packages/stalonetray.scm, gnu/packages/tcl.scm, gnu/packages/tcsh.scm,
gnu/packages/telephony.scm, gnu/packages/texlive.scm, gnu/packages/tor.scm,
gnu/packages/valgrind.scm, gnu/packages/version-control.scm,
gnu/packages/vim.scm, gnu/packages/vpn.scm, gnu/packages/w3m.scm,
gnu/packages/web.scm, gnu/packages/wordnet.scm, gnu/packages/xiph.scm,
gnu/packages/xml.scm, gnu/packages/xorg.scm, gnu/packages/zile.scm,
gnu/packages/zip.scm, gnu/packages/zsh.scm [synopsis, description]: Adjust
according to lint checkers.
* gnu/packages/fltk.scm (fltk)[source]: Wrap long line in uri.
* /gnu/packages/xiph.scm (libogg, libtheora, vorbis-tools)[source]: Same.
2014-10-24 04:46:59 +00:00
|
|
|
|
an emphasis on expressiveness and safety. Developed for more than 20 years at
|
2013-01-23 20:16:22 +00:00
|
|
|
|
Inria it benefits from one of the most advanced type systems and supports
|
|
|
|
|
functional, imperative and object-oriented styles of programming.")
|
2015-06-03 02:49:10 +00:00
|
|
|
|
;; The compiler is distributed under qpl1.0 with a change to choice of
|
|
|
|
|
;; law: the license is governed by the laws of France. The library is
|
|
|
|
|
;; distributed under lgpl2.0.
|
gnu: Use 'license:' prefix in (gnu packages ocaml).
* gnu/packages/ocaml.scm (ocaml, opam, camlp4, camlp5, hevea, coq,
proof-general, ocaml-menhir, lablgtk, unison, ocaml-findlib)[license]:
Add prefix.
2016-12-21 15:05:50 +00:00
|
|
|
|
(license (list license:qpl license:lgpl2.0))))
|
2014-09-15 13:05:52 +00:00
|
|
|
|
|
|
|
|
|
(define-public opam
|
|
|
|
|
(package
|
|
|
|
|
(name "opam")
|
2016-08-22 17:28:09 +00:00
|
|
|
|
(version "1.2.2")
|
2014-09-15 13:05:52 +00:00
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
;; Use the '-full' version, which includes all the dependencies.
|
|
|
|
|
(uri (string-append
|
|
|
|
|
"https://github.com/ocaml/opam/releases/download/"
|
|
|
|
|
version "/opam-full-" version ".tar.gz")
|
|
|
|
|
;; (string-append "https://github.com/ocaml/opam/archive/"
|
|
|
|
|
;; version ".tar.gz")
|
|
|
|
|
)
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
2016-08-22 17:28:09 +00:00
|
|
|
|
"004gwn6rbpcb53y3rpb3v23vk39rp2xmf0liyd5iy12ij8bigrhm"))))
|
2014-09-15 13:05:52 +00:00
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
|
(arguments
|
|
|
|
|
'(;; Sometimes, 'make -jX' would fail right after ./configure with
|
|
|
|
|
;; "Fatal error: exception End_of_file".
|
|
|
|
|
#:parallel-build? #f
|
|
|
|
|
|
|
|
|
|
;; For some reason, 'ocp-build' needs $TERM to be set.
|
2016-08-22 17:28:09 +00:00
|
|
|
|
#:make-flags `("TERM=screen"
|
|
|
|
|
,(string-append "SHELL="
|
|
|
|
|
(assoc-ref %build-inputs "bash")
|
|
|
|
|
"/bin/sh"))
|
2014-09-15 13:05:52 +00:00
|
|
|
|
#:test-target "tests"
|
|
|
|
|
|
|
|
|
|
;; FIXME: There's an obscure test failure:
|
|
|
|
|
;; …/_obuild/opam/opam.asm install P1' failed.
|
|
|
|
|
#:tests? #f
|
|
|
|
|
|
2016-08-22 17:27:06 +00:00
|
|
|
|
#:phases (modify-phases %standard-phases
|
|
|
|
|
(add-before 'build 'pre-build
|
|
|
|
|
(lambda* (#:key inputs make-flags #:allow-other-keys)
|
|
|
|
|
(let ((bash (assoc-ref inputs "bash")))
|
|
|
|
|
(substitute* "src/core/opamSystem.ml"
|
|
|
|
|
(("\"/bin/sh\"")
|
2016-08-22 17:28:09 +00:00
|
|
|
|
(string-append "\"" bash "/bin/sh\"")))
|
|
|
|
|
;; Build dependencies
|
|
|
|
|
(zero? (apply system* "make" "lib-ext" make-flags)))))
|
2016-08-22 17:27:06 +00:00
|
|
|
|
(add-before 'check 'pre-check
|
|
|
|
|
(lambda _
|
|
|
|
|
(setenv "HOME" (getcwd))
|
|
|
|
|
(and (system "git config --global user.email guix@gnu.org")
|
|
|
|
|
(system "git config --global user.name Guix")))))))
|
2014-09-15 13:05:52 +00:00
|
|
|
|
(native-inputs
|
|
|
|
|
`(("git" ,git) ;for the tests
|
2016-08-22 17:28:09 +00:00
|
|
|
|
("python" ,python) ;for the tests
|
|
|
|
|
("camlp4" ,camlp4)))
|
2014-09-15 13:05:52 +00:00
|
|
|
|
(inputs
|
|
|
|
|
`(("ocaml" ,ocaml)
|
|
|
|
|
("ncurses" ,ncurses)
|
|
|
|
|
("curl" ,curl)))
|
|
|
|
|
(home-page "http://opam.ocamlpro.com/")
|
|
|
|
|
(synopsis "Package manager for OCaml")
|
|
|
|
|
(description
|
|
|
|
|
"OPAM is a tool to manage OCaml packages. It supports multiple
|
|
|
|
|
simultaneous compiler installations, flexible package constraints, and a
|
|
|
|
|
Git-friendly development workflow.")
|
|
|
|
|
|
|
|
|
|
;; The 'LICENSE' file waives some requirements compared to LGPLv3.
|
gnu: Use 'license:' prefix in (gnu packages ocaml).
* gnu/packages/ocaml.scm (ocaml, opam, camlp4, camlp5, hevea, coq,
proof-general, ocaml-menhir, lablgtk, unison, ocaml-findlib)[license]:
Add prefix.
2016-12-21 15:05:50 +00:00
|
|
|
|
(license license:lgpl3)))
|
2015-05-30 18:59:54 +00:00
|
|
|
|
|
2015-07-21 17:28:47 +00:00
|
|
|
|
(define-public camlp4
|
|
|
|
|
(package
|
|
|
|
|
(name "camlp4")
|
2015-08-23 16:49:45 +00:00
|
|
|
|
(version "4.02+6")
|
2015-07-21 17:28:47 +00:00
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "https://github.com/ocaml/camlp4/archive/"
|
|
|
|
|
version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
2015-08-23 16:49:45 +00:00
|
|
|
|
"0icdfzhsbgf89925gc8gl3fm8z2xzszzlib0v9dj5wyzkyv3a342"))
|
2015-07-21 17:28:47 +00:00
|
|
|
|
(file-name (string-append name "-" version ".tar.gz"))))
|
|
|
|
|
(build-system gnu-build-system)
|
2015-10-08 09:17:21 +00:00
|
|
|
|
(native-inputs `(("ocaml" ,ocaml)
|
2015-10-08 09:10:47 +00:00
|
|
|
|
("which" ,which)))
|
2015-07-21 17:28:47 +00:00
|
|
|
|
(inputs `(("ocaml" ,ocaml)))
|
|
|
|
|
(arguments
|
|
|
|
|
'(#:tests? #f ;no documented test target
|
2016-12-31 11:42:10 +00:00
|
|
|
|
;; a race-condition will lead byte and native targets to mkdir _build
|
|
|
|
|
;; which fails on the second attempt.
|
|
|
|
|
#:parallel-build? #f
|
|
|
|
|
#:make-flags '("all")
|
2015-07-21 17:28:47 +00:00
|
|
|
|
#:phases (modify-phases %standard-phases
|
|
|
|
|
(replace
|
|
|
|
|
'configure
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
;; This is a home-made 'configure' script.
|
|
|
|
|
(let ((out (assoc-ref outputs "out")))
|
|
|
|
|
(zero? (system* "./configure"
|
2016-12-22 19:13:49 +00:00
|
|
|
|
(string-append "--libdir=" out
|
|
|
|
|
"/lib/ocaml/site-lib")
|
2015-07-21 17:28:47 +00:00
|
|
|
|
(string-append "--bindir=" out "/bin")
|
2016-12-22 19:13:49 +00:00
|
|
|
|
(string-append "--pkgdir=" out
|
|
|
|
|
"/lib/ocaml/site-lib"))))))
|
|
|
|
|
(add-after 'install 'install-meta
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(let ((out (assoc-ref outputs "out")))
|
|
|
|
|
(substitute* "camlp4/META.in"
|
|
|
|
|
(("directory = .*")
|
|
|
|
|
(string-append "directory = \"" out
|
|
|
|
|
"/lib/ocaml/site-lib/camlp4\"\n")))
|
|
|
|
|
(zero? (system* "make" "install-META"))))))))
|
2015-07-21 17:28:47 +00:00
|
|
|
|
(home-page "https://github.com/ocaml/camlp4")
|
|
|
|
|
(synopsis "Write parsers in OCaml")
|
|
|
|
|
(description
|
|
|
|
|
"Camlp4 is a software system for writing extensible parsers for
|
|
|
|
|
programming languages. It provides a set of OCaml libraries that are used to
|
|
|
|
|
define grammars as well as loadable syntax extensions of such grammars.
|
|
|
|
|
Camlp4 stands for Caml Preprocessor and Pretty-Printer and one of its most
|
|
|
|
|
important applications is the definition of domain-specific extensions of the
|
|
|
|
|
syntax of OCaml.")
|
|
|
|
|
|
|
|
|
|
;; This is LGPLv2 with an exception that allows packages statically-linked
|
|
|
|
|
;; against the library to be released under any terms.
|
gnu: Use 'license:' prefix in (gnu packages ocaml).
* gnu/packages/ocaml.scm (ocaml, opam, camlp4, camlp5, hevea, coq,
proof-general, ocaml-menhir, lablgtk, unison, ocaml-findlib)[license]:
Add prefix.
2016-12-21 15:05:50 +00:00
|
|
|
|
(license license:lgpl2.0)))
|
2015-07-21 17:28:47 +00:00
|
|
|
|
|
2015-05-30 18:59:54 +00:00
|
|
|
|
(define-public camlp5
|
|
|
|
|
(package
|
|
|
|
|
(name "camlp5")
|
2015-08-23 16:30:27 +00:00
|
|
|
|
(version "6.14")
|
2015-05-30 18:59:54 +00:00
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://camlp5.gforge.inria.fr/distrib/src/"
|
|
|
|
|
name "-" version ".tgz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
2015-08-23 16:30:27 +00:00
|
|
|
|
"1ql04iyvclpyy9805kpddc4ndjb5d0qg4shhi2fc6bixi49fvy89"))))
|
2015-05-30 18:59:54 +00:00
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
|
(inputs
|
|
|
|
|
`(("ocaml" ,ocaml)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:tests? #f ; XXX TODO figure out how to run the tests
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(replace 'configure
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
|
(mandir (string-append out "/share/man")))
|
|
|
|
|
;; Custom configure script doesn't recognize
|
|
|
|
|
;; --prefix=<PREFIX> syntax (with equals sign).
|
|
|
|
|
(zero? (system* "./configure"
|
|
|
|
|
"--prefix" out
|
|
|
|
|
"--mandir" mandir)))))
|
|
|
|
|
(replace 'build
|
|
|
|
|
(lambda _
|
|
|
|
|
(zero? (system* "make" "-j" (number->string
|
|
|
|
|
(parallel-job-count))
|
|
|
|
|
"world.opt")))))))
|
|
|
|
|
(home-page "http://camlp5.gforge.inria.fr/")
|
|
|
|
|
(synopsis "Pre-processor Pretty Printer for OCaml")
|
|
|
|
|
(description
|
|
|
|
|
"Camlp5 is a Pre-Processor-Pretty-Printer for Objective Caml. It offers
|
|
|
|
|
tools for syntax (Stream Parsers and Grammars) and the ability to modify the
|
|
|
|
|
concrete syntax of the language (Quotations, Syntax Extensions).")
|
|
|
|
|
;; Most files are distributed under bsd-3, but ocaml_stuff/* is under qpl.
|
gnu: Use 'license:' prefix in (gnu packages ocaml).
* gnu/packages/ocaml.scm (ocaml, opam, camlp4, camlp5, hevea, coq,
proof-general, ocaml-menhir, lablgtk, unison, ocaml-findlib)[license]:
Add prefix.
2016-12-21 15:05:50 +00:00
|
|
|
|
(license (list license:bsd-3 license:qpl))))
|
2015-06-03 07:21:43 +00:00
|
|
|
|
|
|
|
|
|
(define-public hevea
|
|
|
|
|
(package
|
|
|
|
|
(name "hevea")
|
2016-01-17 06:41:20 +00:00
|
|
|
|
(version "2.28")
|
2015-06-03 07:21:43 +00:00
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
2015-12-24 17:13:05 +00:00
|
|
|
|
(uri (string-append "http://hevea.inria.fr/old/"
|
2015-06-03 07:21:43 +00:00
|
|
|
|
name "-" version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
2016-01-17 06:41:20 +00:00
|
|
|
|
"14fns13wlnpiv9i05841kvi3cq4b9v2sw5x3ff6ziws28q701qnd"))))
|
2015-06-03 07:21:43 +00:00
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
|
(inputs
|
|
|
|
|
`(("ocaml" ,ocaml)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:tests? #f ; no test suite
|
|
|
|
|
#:make-flags (list (string-append "PREFIX=" %output))
|
|
|
|
|
#:phases (modify-phases %standard-phases
|
2016-01-17 06:41:20 +00:00
|
|
|
|
(delete 'configure)
|
|
|
|
|
(add-before 'build 'patch-/bin/sh
|
|
|
|
|
(lambda _
|
|
|
|
|
(substitute* "_tags"
|
|
|
|
|
(("/bin/sh") (which "sh")))
|
|
|
|
|
#t)))))
|
2015-06-03 07:21:43 +00:00
|
|
|
|
(home-page "http://hevea.inria.fr/")
|
|
|
|
|
(synopsis "LaTeX to HTML translator")
|
|
|
|
|
(description
|
|
|
|
|
"HeVeA is a LaTeX to HTML translator that generates modern HTML 5. It is
|
|
|
|
|
written in Objective Caml.")
|
gnu: Use 'license:' prefix in (gnu packages ocaml).
* gnu/packages/ocaml.scm (ocaml, opam, camlp4, camlp5, hevea, coq,
proof-general, ocaml-menhir, lablgtk, unison, ocaml-findlib)[license]:
Add prefix.
2016-12-21 15:05:50 +00:00
|
|
|
|
(license license:qpl)))
|
2015-05-30 20:07:19 +00:00
|
|
|
|
|
|
|
|
|
(define-public coq
|
|
|
|
|
(package
|
|
|
|
|
(name "coq")
|
2016-11-05 18:01:38 +00:00
|
|
|
|
(version "8.5pl2")
|
2015-05-30 20:07:19 +00:00
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "https://coq.inria.fr/distrib/V" version
|
|
|
|
|
"/files/" name "-" version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
2016-11-05 18:01:38 +00:00
|
|
|
|
"0wyywia0darak2zmc5v0ra9rn0b9whwdfiahralm8v5za499s8w3"))))
|
2015-05-30 20:07:19 +00:00
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("texlive" ,texlive)
|
2016-12-13 10:22:06 +00:00
|
|
|
|
("findlib" ,ocaml-findlib)
|
2015-05-30 20:07:19 +00:00
|
|
|
|
("hevea" ,hevea)))
|
|
|
|
|
(inputs
|
|
|
|
|
`(("ocaml" ,ocaml)
|
2016-12-13 10:22:06 +00:00
|
|
|
|
("lablgtk" ,lablgtk)
|
2015-05-30 20:07:19 +00:00
|
|
|
|
("camlp5" ,camlp5)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(replace 'configure
|
2016-11-05 18:01:38 +00:00
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
|
(mandir (string-append out "/share/man"))
|
|
|
|
|
(browser "icecat -remote \"OpenURL(%s,new-tab)\""))
|
|
|
|
|
(zero? (system* "./configure"
|
|
|
|
|
"-prefix" out
|
|
|
|
|
"-mandir" mandir
|
2016-12-13 10:22:06 +00:00
|
|
|
|
"-browser" browser
|
|
|
|
|
"-coqide" "opt")))))
|
2015-05-30 20:07:19 +00:00
|
|
|
|
(replace 'build
|
2016-11-05 18:01:38 +00:00
|
|
|
|
(lambda _
|
|
|
|
|
(zero? (system* "make" "-j" (number->string
|
|
|
|
|
(parallel-job-count))
|
|
|
|
|
"world"))))
|
2015-05-30 20:07:19 +00:00
|
|
|
|
(delete 'check)
|
|
|
|
|
(add-after 'install 'check
|
2016-11-05 18:01:38 +00:00
|
|
|
|
(lambda _
|
|
|
|
|
(with-directory-excursion "test-suite"
|
|
|
|
|
(zero? (system* "make"))))))))
|
2015-05-30 20:07:19 +00:00
|
|
|
|
(home-page "https://coq.inria.fr")
|
|
|
|
|
(synopsis "Proof assistant for higher-order logic")
|
|
|
|
|
(description
|
|
|
|
|
"Coq is a proof assistant for higher-order logic, which allows the
|
|
|
|
|
development of computer programs consistent with their formal specification.
|
|
|
|
|
It is developed using Objective Caml and Camlp5.")
|
|
|
|
|
;; The code is distributed under lgpl2.1.
|
|
|
|
|
;; Some of the documentation is distributed under opl1.0+.
|
gnu: Use 'license:' prefix in (gnu packages ocaml).
* gnu/packages/ocaml.scm (ocaml, opam, camlp4, camlp5, hevea, coq,
proof-general, ocaml-menhir, lablgtk, unison, ocaml-findlib)[license]:
Add prefix.
2016-12-21 15:05:50 +00:00
|
|
|
|
(license (list license:lgpl2.1 license:opl1.0+))))
|
2015-06-08 09:05:23 +00:00
|
|
|
|
|
|
|
|
|
(define-public proof-general
|
|
|
|
|
(package
|
|
|
|
|
(name "proof-general")
|
|
|
|
|
(version "4.2")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append
|
|
|
|
|
"http://proofgeneral.inf.ed.ac.uk/releases/"
|
|
|
|
|
"ProofGeneral-" version ".tgz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"09qb0myq66fw17v4ziz401ilsb5xlxz1nl2wsp69d0vrfy0bcrrm"))))
|
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("which" ,which)
|
2016-05-11 22:58:59 +00:00
|
|
|
|
("emacs" ,emacs-minimal)
|
2015-06-08 09:05:23 +00:00
|
|
|
|
("texinfo" ,texinfo)))
|
|
|
|
|
(inputs
|
|
|
|
|
`(("host-emacs" ,emacs)
|
|
|
|
|
("perl" ,perl)
|
|
|
|
|
("coq" ,coq)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:tests? #f ; no check target
|
|
|
|
|
#:make-flags (list (string-append "PREFIX=" %output)
|
|
|
|
|
(string-append "DEST_PREFIX=" %output))
|
|
|
|
|
#:modules ((guix build gnu-build-system)
|
|
|
|
|
(guix build utils)
|
|
|
|
|
(guix build emacs-utils))
|
|
|
|
|
#:imported-modules (,@%gnu-build-system-modules
|
|
|
|
|
(guix build emacs-utils))
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure)
|
|
|
|
|
(add-after 'unpack 'disable-byte-compile-error-on-warn
|
|
|
|
|
(lambda _
|
|
|
|
|
(substitute* "Makefile"
|
|
|
|
|
(("\\(setq byte-compile-error-on-warn t\\)")
|
|
|
|
|
"(setq byte-compile-error-on-warn nil)"))
|
|
|
|
|
#t))
|
|
|
|
|
(add-after 'unpack 'patch-hardcoded-paths
|
|
|
|
|
(lambda* (#:key inputs outputs #:allow-other-keys)
|
|
|
|
|
(let ((out (assoc-ref outputs "out"))
|
|
|
|
|
(coq (assoc-ref inputs "coq"))
|
|
|
|
|
(emacs (assoc-ref inputs "host-emacs")))
|
|
|
|
|
(define (coq-prog name)
|
|
|
|
|
(string-append coq "/bin/" name))
|
|
|
|
|
(emacs-substitute-variables "coq/coq.el"
|
|
|
|
|
("coq-prog-name" (coq-prog "coqtop"))
|
|
|
|
|
("coq-compiler" (coq-prog "coqc"))
|
|
|
|
|
("coq-dependency-analyzer" (coq-prog "coqdep")))
|
|
|
|
|
(substitute* "Makefile"
|
|
|
|
|
(("/sbin/install-info") "install-info"))
|
|
|
|
|
(substitute* "bin/proofgeneral"
|
|
|
|
|
(("^PGHOMEDEFAULT=.*" all)
|
|
|
|
|
(string-append all
|
|
|
|
|
"PGHOME=$PGHOMEDEFAULT\n"
|
|
|
|
|
"EMACS=" emacs "/bin/emacs")))
|
|
|
|
|
#t)))
|
|
|
|
|
(add-after 'unpack 'clean
|
|
|
|
|
(lambda _
|
|
|
|
|
;; Delete the pre-compiled elc files for Emacs 23.
|
|
|
|
|
(zero? (system* "make" "clean"))))
|
|
|
|
|
(add-after 'install 'install-doc
|
|
|
|
|
(lambda* (#:key make-flags #:allow-other-keys)
|
|
|
|
|
;; XXX FIXME avoid building/installing pdf files,
|
|
|
|
|
;; due to unresolved errors building them.
|
|
|
|
|
(substitute* "Makefile"
|
|
|
|
|
((" [^ ]*\\.pdf") ""))
|
|
|
|
|
(zero? (apply system* "make" "install-doc"
|
|
|
|
|
make-flags)))))))
|
|
|
|
|
(home-page "http://proofgeneral.inf.ed.ac.uk/")
|
gnu packages: Clean up synopses and descriptions.
* gnu/packages/admin.scm, gnu/packages/algebra.scm, gnu/packages/audio.scm,
gnu/packages/backup.scm, gnu/packages/base.scm, gnu/packages/bittorrent.scm,
gnu/packages/code.scm, gnu/packages/compression.scm,
gnu/packages/databases.scm, gnu/packages/enchant.scm,
gnu/packages/firmware.scm, gnu/packages/fonts.scm,
gnu/packages/freedesktop.scm, gnu/packages/games.scm, gnu/packages/gd.scm,
gnu/packages/gl.scm, gnu/packages/gnome.scm, gnu/packages/gsasl.scm,
gnu/packages/gstreamer.scm, gnu/packages/gtk.scm, gnu/packages/guile.scm,
gnu/packages/haskell.scm, gnu/packages/language.scm,
gnu/packages/lesstif.scm, gnu/packages/libreoffice.scm,
gnu/packages/linux.scm, gnu/packages/llvm.scm, gnu/packages/maths.scm,
gnu/packages/mcrypt.scm, gnu/packages/mit-krb5.scm, gnu/packages/mp3.scm,
gnu/packages/ncdu.scm, gnu/packages/networking.scm, gnu/packages/ntp.scm,
gnu/packages/ocaml.scm, gnu/packages/openbox.scm, gnu/packages/pdf.scm,
gnu/packages/perl.scm, gnu/packages/pretty-print.scm,
gnu/packages/pulseaudio.scm, gnu/packages/python.scm,
gnu/packages/rdesktop.scm, gnu/packages/rdf.scm, gnu/packages/ruby.scm,
gnu/packages/slang.scm, gnu/packages/slim.scm, gnu/packages/telephony.scm,
gnu/packages/tls.scm, gnu/packages/tmux.scm, gnu/packages/tre.scm,
gnu/packages/unrtf.scm, gnu/packages/version-control.scm,
gnu/packages/vpn.scm, gnu/packages/web.scm, gnu/packages/wget.scm,
gnu/packages/xdisorg.scm, gnu/packages/xfce.scm, gnu/packages/xiph.scm:
Fix typos. Trim long lines. Add missing periods in the end of sentences.
Use double spaces between sentences. Remove trailing whitespaces.
2015-07-17 12:16:07 +00:00
|
|
|
|
(synopsis "Generic front-end for proof assistants based on Emacs")
|
|
|
|
|
(description
|
2015-06-08 09:05:23 +00:00
|
|
|
|
"Proof General is a major mode to turn Emacs into an interactive proof
|
|
|
|
|
assistant to write formal mathematical proofs using a variety of theorem
|
|
|
|
|
provers.")
|
gnu: Use 'license:' prefix in (gnu packages ocaml).
* gnu/packages/ocaml.scm (ocaml, opam, camlp4, camlp5, hevea, coq,
proof-general, ocaml-menhir, lablgtk, unison, ocaml-findlib)[license]:
Add prefix.
2016-12-21 15:05:50 +00:00
|
|
|
|
(license license:gpl2+)))
|
2015-08-23 16:11:16 +00:00
|
|
|
|
|
2016-11-20 14:49:10 +00:00
|
|
|
|
(define-public ocaml-menhir
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-menhir")
|
|
|
|
|
(version "20161115")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append
|
|
|
|
|
"http://gallium.inria.fr/~fpottier/menhir/"
|
|
|
|
|
"menhir-" version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"1j8nmcj2gq6hyyi16z27amiahplgrnk4ppchpm0v4qy80kwkf47k"))))
|
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
|
(inputs
|
|
|
|
|
`(("ocaml" ,ocaml)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:parallel-build? #f ; Parallel build causes failure
|
|
|
|
|
#:tests? #f ; No check target
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(replace 'configure
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(let ((out (assoc-ref outputs "out")))
|
|
|
|
|
(setenv "PREFIX" out))
|
|
|
|
|
#t)))))
|
|
|
|
|
(home-page "http://gallium.inria.fr/~fpottier/menhir")
|
|
|
|
|
(synopsis "Parser generator")
|
|
|
|
|
(description "Menhir is a parser generator. It turns high-level grammar
|
|
|
|
|
specifications, decorated with semantic actions expressed in the OCaml
|
|
|
|
|
programming language into parsers, again expressed in OCaml. It is based on
|
|
|
|
|
Knuth’s LR(1) parser construction technique.")
|
|
|
|
|
;; The file src/standard.mly and all files listed in src/mnehirLib.mlpack
|
|
|
|
|
;; that have an *.ml or *.mli extension are GPL licensed. All other files
|
|
|
|
|
;; are QPL licensed.
|
gnu: Use 'license:' prefix in (gnu packages ocaml).
* gnu/packages/ocaml.scm (ocaml, opam, camlp4, camlp5, hevea, coq,
proof-general, ocaml-menhir, lablgtk, unison, ocaml-findlib)[license]:
Add prefix.
2016-12-21 15:05:50 +00:00
|
|
|
|
(license (list license:gpl2+ license:qpl))))
|
2016-11-20 14:49:10 +00:00
|
|
|
|
|
2015-08-23 17:56:22 +00:00
|
|
|
|
(define-public lablgtk
|
|
|
|
|
(package
|
|
|
|
|
(name "lablgtk")
|
2016-12-13 10:21:33 +00:00
|
|
|
|
(version "2.18.5")
|
2016-12-22 19:05:46 +00:00
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (ocaml-forge-uri name version 1627))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"0cyj6sfdvzx8hw7553lhgwc0krlgvlza0ph3dk9gsxy047dm3wib"))))
|
2015-08-23 17:56:22 +00:00
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("camlp4" ,camlp4)
|
|
|
|
|
("ocaml" ,ocaml)
|
2016-12-13 10:21:51 +00:00
|
|
|
|
("findlib" ,ocaml-findlib)
|
2015-08-23 17:56:22 +00:00
|
|
|
|
("pkg-config" ,pkg-config)))
|
|
|
|
|
;; FIXME: Add inputs gtkgl-2.0, libpanelapplet-2.0, gtkspell-2.0,
|
|
|
|
|
;; and gtk+-quartz-2.0 once available.
|
|
|
|
|
(inputs
|
|
|
|
|
`(("gtk+" ,gtk+-2)
|
2015-11-08 19:51:46 +00:00
|
|
|
|
("gtksourceview" ,gtksourceview-2)
|
2015-08-23 17:56:22 +00:00
|
|
|
|
("libgnomecanvas" ,libgnomecanvas)
|
|
|
|
|
("libgnomeui" ,libgnomeui)
|
|
|
|
|
("libglade" ,libglade)
|
|
|
|
|
("librsvg" ,librsvg)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:tests? #f ; no check target
|
2015-10-31 11:26:43 +00:00
|
|
|
|
|
2016-02-11 17:52:15 +00:00
|
|
|
|
;; opt: also install cmxa files
|
2016-12-13 10:21:51 +00:00
|
|
|
|
#:make-flags (list "all" "opt"
|
|
|
|
|
(string-append "FINDLIBDIR="
|
|
|
|
|
(assoc-ref %outputs "out")
|
|
|
|
|
"/lib/ocaml"))
|
2015-10-31 11:26:43 +00:00
|
|
|
|
;; Occasionally we would get "Error: Unbound module GtkThread" when
|
|
|
|
|
;; compiling 'gtkThInit.ml', with 'make -j'. So build sequentially.
|
|
|
|
|
#:parallel-build? #f
|
|
|
|
|
|
2015-08-23 17:56:22 +00:00
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
2016-12-13 10:21:51 +00:00
|
|
|
|
(add-before 'install 'prepare-install
|
2015-08-23 17:56:22 +00:00
|
|
|
|
(lambda* (#:key inputs outputs #:allow-other-keys)
|
|
|
|
|
(let ((out (assoc-ref outputs "out"))
|
|
|
|
|
(ocaml (assoc-ref inputs "ocaml")))
|
|
|
|
|
;; Install into the output and not the ocaml directory.
|
2016-12-13 10:21:51 +00:00
|
|
|
|
(mkdir-p (string-append out "/lib/ocaml"))
|
2015-08-23 17:56:22 +00:00
|
|
|
|
(substitute* "config.make"
|
|
|
|
|
((ocaml) out))
|
|
|
|
|
#t))))))
|
|
|
|
|
(home-page "http://lablgtk.forge.ocamlcore.org/")
|
|
|
|
|
(synopsis "GTK+ bindings for OCaml")
|
|
|
|
|
(description
|
|
|
|
|
"LablGtk is an OCaml interface to GTK+ 1.2 and 2.x. It provides
|
|
|
|
|
a strongly-typed object-oriented interface that is compatible with the
|
|
|
|
|
dynamic typing of GTK+. Most widgets and methods are available. LablGtk
|
|
|
|
|
also provides bindings to
|
|
|
|
|
gdk-pixbuf, the GLArea widget (in combination with LablGL), gnomecanvas,
|
|
|
|
|
gnomeui, gtksourceview, gtkspell,
|
|
|
|
|
libglade (and it an generate OCaml code from .glade files),
|
|
|
|
|
libpanel, librsvg and quartz.")
|
gnu: Use 'license:' prefix in (gnu packages ocaml).
* gnu/packages/ocaml.scm (ocaml, opam, camlp4, camlp5, hevea, coq,
proof-general, ocaml-menhir, lablgtk, unison, ocaml-findlib)[license]:
Add prefix.
2016-12-21 15:05:50 +00:00
|
|
|
|
(license license:lgpl2.1)))
|
2015-08-23 17:56:22 +00:00
|
|
|
|
|
2015-08-23 16:11:16 +00:00
|
|
|
|
(define-public unison
|
|
|
|
|
(package
|
|
|
|
|
(name "unison")
|
|
|
|
|
(version "2.48.3")
|
|
|
|
|
(source
|
|
|
|
|
(origin
|
2015-12-19 01:29:22 +00:00
|
|
|
|
(method svn-fetch)
|
|
|
|
|
(uri (svn-reference
|
|
|
|
|
(url (string-append "https://webdav.seas.upenn.edu/svn/"
|
|
|
|
|
"unison/branches/"
|
|
|
|
|
(version-major+minor version)))
|
|
|
|
|
(revision 535)))
|
|
|
|
|
(file-name (string-append name "-" version "-checkout"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"0486s53wyayicj9f2raj2dvwvk4xyzar219rccc1iczdwixm4x05"))
|
|
|
|
|
(modules '((guix build utils)
|
|
|
|
|
(ice-9 rdelim)
|
|
|
|
|
(ice-9 regex)
|
|
|
|
|
(srfi srfi-1)))
|
|
|
|
|
(snippet
|
|
|
|
|
`(begin
|
|
|
|
|
;; The svn revision in the release tarball appears to be
|
|
|
|
|
;; artificially manipulated in order to set the desired point
|
|
|
|
|
;; version number. Because the point version is calculated during
|
|
|
|
|
;; the build, we can offset pointVersionOrigin by the desired
|
|
|
|
|
;; point version and write that into "Rev: %d". We do this rather
|
|
|
|
|
;; than hardcoding the necessary revision number, for
|
|
|
|
|
;; maintainability.
|
|
|
|
|
(with-atomic-file-replacement "src/mkProjectInfo.ml"
|
|
|
|
|
(lambda (in out)
|
|
|
|
|
(let ((pt-ver (string->number (third (string-split ,version #\.))))
|
|
|
|
|
(pt-rx (make-regexp "^let pointVersionOrigin = ([0-9]+)"))
|
|
|
|
|
(rev-rx (make-regexp "Rev: [0-9]+")))
|
|
|
|
|
(let loop ((pt-origin #f))
|
|
|
|
|
(let ((line (read-line in 'concat)))
|
|
|
|
|
(cond
|
|
|
|
|
((regexp-exec pt-rx line)
|
|
|
|
|
=> (lambda (m)
|
|
|
|
|
(display line out)
|
|
|
|
|
(loop (string->number (match:substring m 1)))))
|
|
|
|
|
((regexp-exec rev-rx line)
|
|
|
|
|
=> (lambda (m)
|
|
|
|
|
(format out "~aRev: ~d~a"
|
|
|
|
|
(match:prefix m)
|
|
|
|
|
(+ pt-origin pt-ver)
|
|
|
|
|
(match:suffix m))
|
|
|
|
|
(dump-port in out))) ;done
|
|
|
|
|
(else
|
|
|
|
|
(display line out)
|
|
|
|
|
(loop pt-origin))))))))
|
|
|
|
|
;; Without the '-fix' argument, the html file produced does not
|
|
|
|
|
;; have functioning internal hyperlinks.
|
|
|
|
|
(substitute* "doc/Makefile"
|
|
|
|
|
(("hevea unison") "hevea -fix unison"))))))
|
2015-08-23 16:11:16 +00:00
|
|
|
|
(build-system gnu-build-system)
|
2015-12-19 01:29:22 +00:00
|
|
|
|
(outputs '("out"
|
|
|
|
|
"doc")) ; 1.9 MiB of documentation
|
2015-08-23 16:11:16 +00:00
|
|
|
|
(native-inputs
|
2015-12-19 01:29:22 +00:00
|
|
|
|
`(("ocaml" ,ocaml)
|
|
|
|
|
;; For documentation
|
2016-08-01 08:24:07 +00:00
|
|
|
|
("ghostscript" ,ghostscript)
|
2015-12-19 01:29:22 +00:00
|
|
|
|
("texlive" ,texlive)
|
|
|
|
|
("hevea" ,hevea)
|
|
|
|
|
("lynx" ,lynx)))
|
2015-08-23 16:11:16 +00:00
|
|
|
|
(arguments
|
|
|
|
|
`(#:parallel-build? #f
|
|
|
|
|
#:parallel-tests? #f
|
|
|
|
|
#:test-target "selftest"
|
|
|
|
|
#:tests? #f ; Tests require writing to $HOME.
|
|
|
|
|
; If some $HOME is provided, they fail with the message
|
|
|
|
|
; "Fatal error: Skipping some tests -- remove me!"
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure)
|
|
|
|
|
(add-before 'install 'prepare-install
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
|
(bin (string-append out "/bin")))
|
|
|
|
|
(mkdir-p bin)
|
|
|
|
|
(setenv "HOME" out) ; forces correct INSTALLDIR in Makefile
|
2015-12-19 01:29:22 +00:00
|
|
|
|
#t)))
|
2016-06-11 04:24:21 +00:00
|
|
|
|
(add-after 'install 'install-fsmonitor
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
|
(bin (string-append out "/bin")))
|
|
|
|
|
;; 'unison-fsmonitor' is used in "unison -repeat watch" mode.
|
|
|
|
|
(install-file "src/unison-fsmonitor" bin))))
|
2015-12-19 01:29:22 +00:00
|
|
|
|
(add-after 'install 'install-doc
|
2016-06-11 04:24:21 +00:00
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
2015-12-19 01:29:22 +00:00
|
|
|
|
(let ((doc (string-append (assoc-ref outputs "doc")
|
|
|
|
|
"/share/doc/unison")))
|
|
|
|
|
(mkdir-p doc)
|
|
|
|
|
;; This file needs write-permissions, because it's
|
|
|
|
|
;; overwritten by 'docs' during documentation generation.
|
|
|
|
|
(chmod "src/strings.ml" #o600)
|
|
|
|
|
(and (zero? (system* "make" "docs"
|
|
|
|
|
"TEXDIRECTIVES=\\\\draftfalse"))
|
|
|
|
|
(begin
|
|
|
|
|
(for-each (lambda (f)
|
|
|
|
|
(install-file f doc))
|
|
|
|
|
(map (lambda (ext)
|
|
|
|
|
(string-append
|
|
|
|
|
"doc/unison-manual." ext))
|
|
|
|
|
;; Install only html documentation,
|
|
|
|
|
;; since the build is currently
|
|
|
|
|
;; non-reproducible with the ps, pdf,
|
|
|
|
|
;; and dvi docs.
|
|
|
|
|
'(;;"ps" "pdf" "dvi"
|
|
|
|
|
"html")))
|
|
|
|
|
#t))))))))
|
2015-08-23 16:11:16 +00:00
|
|
|
|
(home-page "https://www.cis.upenn.edu/~bcpierce/unison/")
|
|
|
|
|
(synopsis "File synchronizer")
|
|
|
|
|
(description
|
|
|
|
|
"Unison is a file-synchronization tool. It allows two replicas of
|
|
|
|
|
a collection of files and directories to be stored on different hosts
|
|
|
|
|
(or different disks on the same host), modified separately, and then
|
|
|
|
|
brought up to date by propagating the changes in each replica
|
|
|
|
|
to the other.")
|
gnu: Use 'license:' prefix in (gnu packages ocaml).
* gnu/packages/ocaml.scm (ocaml, opam, camlp4, camlp5, hevea, coq,
proof-general, ocaml-menhir, lablgtk, unison, ocaml-findlib)[license]:
Add prefix.
2016-12-21 15:05:50 +00:00
|
|
|
|
(license license:gpl3+)))
|
2016-02-11 17:53:07 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-findlib
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-findlib")
|
|
|
|
|
(version "1.6.1")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://download.camlcity.org/download/"
|
|
|
|
|
"findlib" "-" version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"02abg1lsnwvjg3igdyb8qjgr5kv1nbwl4gaf8mdinzfii5p82721"))
|
2016-04-08 12:18:13 +00:00
|
|
|
|
(patches (search-patches "ocaml-findlib-make-install.patch"))))
|
2016-02-11 17:53:07 +00:00
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("camlp4" ,camlp4)
|
|
|
|
|
("m4" ,m4)
|
|
|
|
|
("ocaml" ,ocaml)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:tests? #f ; no test suite
|
|
|
|
|
#:parallel-build? #f
|
|
|
|
|
#:make-flags (list "all" "opt")
|
|
|
|
|
#:phases (modify-phases %standard-phases
|
|
|
|
|
(replace
|
|
|
|
|
'configure
|
|
|
|
|
(lambda* (#:key inputs outputs #:allow-other-keys)
|
|
|
|
|
(let ((out (assoc-ref outputs "out")))
|
|
|
|
|
(system*
|
|
|
|
|
"./configure"
|
|
|
|
|
"-bindir" (string-append out "/bin")
|
|
|
|
|
"-config" (string-append out "/etc/ocamfind.conf")
|
|
|
|
|
"-mandir" (string-append out "/share/man")
|
|
|
|
|
"-sitelib" (string-append out "/lib/ocaml/site-lib")
|
2016-12-22 19:13:49 +00:00
|
|
|
|
"-with-toolbox"))))
|
|
|
|
|
(add-after 'install 'remove-camlp4
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(let ((out (assoc-ref outputs "out")))
|
|
|
|
|
(delete-file-recursively
|
|
|
|
|
(string-append out "/lib/ocaml/site-lib/camlp4"))))))))
|
2016-02-11 17:53:07 +00:00
|
|
|
|
(home-page "http://projects.camlcity.org/projects/findlib.html")
|
|
|
|
|
(synopsis "Management tool for OCaml libraries")
|
|
|
|
|
(description
|
|
|
|
|
"The \"findlib\" library provides a scheme to manage reusable software
|
|
|
|
|
components (packages), and includes tools that support this scheme. Packages
|
|
|
|
|
are collections of OCaml modules for which metainformation can be stored. The
|
2016-09-16 06:08:48 +00:00
|
|
|
|
packages are kept in the file system hierarchy, but with strict directory
|
2016-02-11 17:53:07 +00:00
|
|
|
|
structure. The library contains functions to look the directory up that
|
|
|
|
|
stores a package, to query metainformation about a package, and to retrieve
|
|
|
|
|
dependency information about multiple packages. There is also a tool that
|
|
|
|
|
allows the user to enter queries on the command-line. In order to simplify
|
|
|
|
|
compilation and linkage, there are new frontends of the various OCaml
|
|
|
|
|
compilers that can directly deal with packages.")
|
gnu: Use 'license:' prefix in (gnu packages ocaml).
* gnu/packages/ocaml.scm (ocaml, opam, camlp4, camlp5, hevea, coq,
proof-general, ocaml-menhir, lablgtk, unison, ocaml-findlib)[license]:
Add prefix.
2016-12-21 15:05:50 +00:00
|
|
|
|
(license license:x11)))
|
2016-12-22 19:19:00 +00:00
|
|
|
|
|
|
|
|
|
;; note that some tests may hang for no obvious reason.
|
|
|
|
|
(define-public ocaml-ounit
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-ounit")
|
|
|
|
|
(version "2.0.0")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (ocaml-forge-uri "ounit" version 1258))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"118xsadrx84pif9vaq13hv4yh22w9kmr0ypvhrs0viir1jr0ajjd"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("libxml2" ,libxml2))) ; for xmllint
|
|
|
|
|
(arguments
|
2017-01-04 17:53:03 +00:00
|
|
|
|
`(#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
;; Tests are done during build.
|
|
|
|
|
(delete 'check))))
|
2016-12-22 19:19:00 +00:00
|
|
|
|
(home-page "http://ounit.forge.ocamlcore.org")
|
|
|
|
|
(synopsis "Unit testing framework for OCaml")
|
|
|
|
|
(description "Unit testing framework for OCaml. It is similar to JUnit and
|
|
|
|
|
other XUnit testing frameworks.")
|
|
|
|
|
(license license:expat)))
|
2016-12-30 09:48:21 +00:00
|
|
|
|
|
|
|
|
|
(define-public camlzip
|
|
|
|
|
(package
|
|
|
|
|
(name "camlzip")
|
|
|
|
|
(version "1.0.6")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (ocaml-forge-uri name version 1616))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"0m6gyjw46w3qnhxfsyqyag42znl5lwargks7w7rfchr9jzwpff68"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(inputs
|
|
|
|
|
`(("zlib" ,zlib)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure)
|
2017-01-15 11:30:09 +00:00
|
|
|
|
(add-after 'install 'install-camlzip
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
|
(dir (string-append out "/lib/ocaml/site-lib/camlzip")))
|
|
|
|
|
(mkdir-p dir)
|
|
|
|
|
(call-with-output-file (string-append dir "/META")
|
|
|
|
|
(lambda (port)
|
|
|
|
|
(format port "version=\"1.06\"\n")
|
|
|
|
|
(format port "requires=\"unix\"\n")
|
|
|
|
|
(format port "archive(byte)=\"zip.cma\"\n")
|
|
|
|
|
(format port "archive(native)=\"zip.cmxa\"\n")
|
|
|
|
|
(format port "archive(native,plugin)=\"zip.cmxs\"\n")
|
|
|
|
|
(format port "directory=\"../zip\"\n")))))))
|
2016-12-30 09:48:21 +00:00
|
|
|
|
#:install-target "install-findlib"
|
|
|
|
|
#:make-flags
|
|
|
|
|
(list "all" "allopt"
|
|
|
|
|
(string-append "INSTALLDIR=" (assoc-ref %outputs "out")
|
|
|
|
|
"/lib/ocaml"))))
|
|
|
|
|
(home-page "http://forge.ocamlcore.org/projects/camlzip")
|
|
|
|
|
(synopsis "Provides easy access to compressed files")
|
|
|
|
|
(description "Provides easy access to compressed files in ZIP, GZIP and
|
|
|
|
|
JAR format. It provides functions for reading from and writing to compressed
|
|
|
|
|
files in these formats.")
|
|
|
|
|
(license license:lgpl2.1+)))
|
2016-12-30 09:52:48 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocamlmod
|
|
|
|
|
(package
|
|
|
|
|
(name "ocamlmod")
|
|
|
|
|
(version "0.0.8")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (ocaml-forge-uri name version 1544))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"1w0w8lfyymvk300dv13gvhrddpcyknvyp4g2yvq2vaw7khkhjs9g"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("ounit" ,ocaml-ounit)))
|
|
|
|
|
(arguments
|
2017-01-04 17:53:03 +00:00
|
|
|
|
`(#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
;; Tests are done during build.
|
|
|
|
|
(delete 'check))))
|
2016-12-30 09:52:48 +00:00
|
|
|
|
(home-page "https://forge.ocamlcore.org/projects/ocamlmod")
|
|
|
|
|
(synopsis "Generate modules from OCaml source files")
|
|
|
|
|
(description "Generate modules from OCaml source files.")
|
|
|
|
|
(license license:lgpl2.1+))) ; with an exception
|
2016-12-30 09:53:41 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-zarith
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-zarith")
|
|
|
|
|
(version "1.4.1")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (ocaml-forge-uri "zarith" version 1574))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"0l36hzmfbvdai2kcgynh13vfdim5x2grnaw61fxqalyjm90c3di3"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("perl" ,perl)))
|
|
|
|
|
(inputs
|
|
|
|
|
`(("gmp" ,gmp)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:tests? #f ; no test target
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(replace 'configure
|
|
|
|
|
(lambda* (#:key #:allow-other-keys)
|
|
|
|
|
(zero? (system* "./configure")))))))
|
|
|
|
|
(home-page "https://forge.ocamlcore.org/projects/zarith/")
|
|
|
|
|
(synopsis "Implements arbitrary-precision integers")
|
|
|
|
|
(description "Implements arithmetic and logical operations over
|
|
|
|
|
arbitrary-precision integers. It uses GMP to efficiently implement arithmetic
|
|
|
|
|
over big integers. Small integers are represented as Caml unboxed integers,
|
|
|
|
|
for speed and space economy.")
|
|
|
|
|
(license license:lgpl2.1+))) ; with an exception
|
2016-12-30 09:56:00 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-frontc
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-frontc")
|
|
|
|
|
(version "3.4")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "https://www.irit.fr/recherches/ARCHI/MARCH/"
|
|
|
|
|
"frontc/Frontc-" version ".tgz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"16dz153s92dgbw1rrfwbhscy73did87kfmjwyh3qpvs748h1sc4g"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure)
|
|
|
|
|
(add-after 'install 'install-meta
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(let ((out (assoc-ref outputs "out")))
|
|
|
|
|
(with-output-to-file
|
|
|
|
|
(string-append out "/lib/ocaml/frontc/META")
|
|
|
|
|
(lambda _
|
|
|
|
|
(display
|
|
|
|
|
(string-append
|
|
|
|
|
"description = \"Parser for the C language\"
|
|
|
|
|
version = \"" ,version "\"
|
|
|
|
|
requires = \"unix\"
|
|
|
|
|
archive(byte) = \"frontc.cma\"
|
|
|
|
|
archive(native) = \"frontc.cmxa\""))))
|
|
|
|
|
(symlink (string-append out "/lib/ocaml/frontc")
|
|
|
|
|
(string-append out "/lib/ocaml/FrontC"))))))
|
|
|
|
|
#:make-flags (list (string-append "PREFIX="
|
|
|
|
|
(assoc-ref %outputs "out"))
|
|
|
|
|
"OCAML_SITE=$(LIB_DIR)/ocaml/")))
|
|
|
|
|
(home-page "https://www.irit.fr/FrontC")
|
|
|
|
|
(synopsis "C parser and lexer library")
|
|
|
|
|
(description "FrontC is an OCAML library providing a C parser and lexer.
|
|
|
|
|
The result is a syntactic tree easy to process with usual OCAML tree management.
|
|
|
|
|
It provides support for ANSI C syntax, old-C K&R style syntax and the standard
|
|
|
|
|
GNU CC attributes. It provides also a C pretty printer as an example of use.")
|
|
|
|
|
(license license:lgpl2.1)))
|
2016-12-30 10:14:13 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-qtest
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-qtest")
|
|
|
|
|
(version "2.3")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "https://github.com/vincent-hugot/iTeML/"
|
|
|
|
|
"archive/v" version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"1n7x5l6h4j44f75wzgzjsjkq349i4gj707w1hr7fx84igxxfr6vl"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("findlib" ,ocaml-findlib)))
|
|
|
|
|
(propagated-inputs
|
|
|
|
|
`(("ounit" ,ocaml-ounit)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:tests? #f ; No test target.
|
|
|
|
|
#:make-flags
|
|
|
|
|
(list (string-append "BIN=" (assoc-ref %outputs "out") "/bin"))
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure))))
|
|
|
|
|
(home-page "https://github.com/vincent-hugot/iTeML")
|
|
|
|
|
(synopsis "Inline (Unit) Tests for OCaml")
|
|
|
|
|
(description "Qtest extracts inline unit tests written using a special
|
|
|
|
|
syntax in comments. Those tests are then run using the oUnit framework and the
|
|
|
|
|
qcheck library. The possibilities range from trivial tests -- extremely simple
|
|
|
|
|
to use -- to sophisticated random generation of test cases.")
|
|
|
|
|
(license license:lgpl3+)))
|
2016-12-30 10:15:19 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-stringext
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-stringext")
|
|
|
|
|
(version "1.4.3")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "https://github.com/rgrinberg/stringext"
|
|
|
|
|
"/archive/v" version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"19g6lfn03iki9f8h91hi0yiqn0b3wkxyq08b3y23wgv6jw6mssfh"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("qtest" ,ocaml-qtest)))
|
|
|
|
|
(home-page "https://github.com/rgrinberg/stringext")
|
|
|
|
|
(synopsis "Extra string functions for OCaml")
|
|
|
|
|
(description "Provides a single module named Stringext that provides a grab
|
|
|
|
|
bag of often used but missing string functions from the stdlib. E.g, split,
|
|
|
|
|
full_split, cut, rcut, etc..")
|
|
|
|
|
;; the only mention of a license in this project is in its `opam' file
|
|
|
|
|
;; where it says `mit'.
|
|
|
|
|
(license license:expat)))
|
2016-12-30 10:17:17 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(define-public ocaml-bisect
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-bisect")
|
|
|
|
|
(version "1.3")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (ocaml-forge-uri "bisect" version 1051))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"0kcg2rh0qlkfpbv3nhcb75n62b04gbrz0zasq15ynln91zd5qrg0"))
|
|
|
|
|
(patches
|
|
|
|
|
(search-patches
|
|
|
|
|
"ocaml-bisect-fix-camlp4-in-another-directory.patch"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("camlp4" ,camlp4)
|
|
|
|
|
("libxml2" ,libxml2)
|
|
|
|
|
("which" ,which)))
|
|
|
|
|
(propagated-inputs
|
|
|
|
|
`(("camlp4" ,camlp4)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:test-target "tests"
|
|
|
|
|
#:make-flags
|
|
|
|
|
(list "all" (string-append "CAMLP4_LIBDIR="
|
|
|
|
|
(assoc-ref %build-inputs "camlp4")
|
|
|
|
|
"/lib/ocaml/site-lib/camlp4"))
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(replace 'configure
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(zero? (system* "./configure" "-prefix"
|
|
|
|
|
(assoc-ref outputs "out"))))))))
|
|
|
|
|
(home-page "http://bisect.x9c.fr")
|
|
|
|
|
(synopsis "Code coverage tool for the OCaml language")
|
|
|
|
|
(description "Bisect is a code coverage tool for the OCaml language. It is
|
|
|
|
|
a camlp4-based tool that allows to instrument your application before running
|
|
|
|
|
tests. After application execution, it is possible to generate a report in HTML
|
|
|
|
|
format that is the replica of the application source code annotated with code
|
|
|
|
|
coverage information.")
|
|
|
|
|
(license license:gpl3+)))
|
2016-12-30 10:33:36 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-bitstring
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-bitstring")
|
|
|
|
|
(version "2.1.0")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "https://github.com/xguerin/bitstring"
|
|
|
|
|
"/archive/v" version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"0miw4banfpmx4kxrckpqr57b1fcmsqdmspyjx6gqjd4kghm4l7xj"))
|
|
|
|
|
(patches (search-patches "ocaml-bitstring-fix-configure.patch"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("camlp4" ,camlp4)
|
|
|
|
|
("time" ,time)
|
|
|
|
|
("autoconf" ,autoconf)
|
|
|
|
|
("automake" ,automake)
|
|
|
|
|
("bisect" ,ocaml-bisect)))
|
|
|
|
|
(propagated-inputs
|
|
|
|
|
`(("camlp4" ,camlp4)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:configure-flags
|
|
|
|
|
(list "CAMLP4OF=camlp4of" "--enable-coverage")
|
|
|
|
|
#:make-flags
|
|
|
|
|
(list (string-append "BISECTLIB="
|
|
|
|
|
(assoc-ref %build-inputs "bisect")
|
|
|
|
|
"/lib/ocaml/site-lib")
|
|
|
|
|
(string-append "OCAMLCFLAGS=-g -I "
|
|
|
|
|
(assoc-ref %build-inputs "camlp4")
|
|
|
|
|
"/lib/ocaml/site-lib/camlp4 -I "
|
|
|
|
|
"$(BISECTLIB)/bisect")
|
|
|
|
|
(string-append "OCAMLOPTFLAGS=-g -I "
|
|
|
|
|
(assoc-ref %build-inputs "camlp4")
|
|
|
|
|
"/lib/ocaml/site-lib/camlp4 -I "
|
|
|
|
|
"$(BISECTLIB)/bisect"))
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(add-before 'configure 'fix-configure
|
|
|
|
|
(lambda* (#:key inputs #:allow-other-keys)
|
|
|
|
|
(substitute* "Makefile.in"
|
|
|
|
|
(("@abs_top_builddir@")
|
|
|
|
|
(string-append "@abs_top_builddir@:" (getenv "LIBRARY_PATH"))))
|
|
|
|
|
(substitute* "configure"
|
|
|
|
|
(("-/bin/sh") (string-append "-" (assoc-ref inputs "bash")
|
|
|
|
|
"/bin/sh")))))
|
|
|
|
|
(add-after 'install 'link-lib
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
|
(stubs (string-append out
|
|
|
|
|
"/lib/ocaml/site-lib/stubslibs"))
|
|
|
|
|
(lib (string-append out
|
|
|
|
|
"/lib/ocaml/site-lib/bitstring")))
|
|
|
|
|
(mkdir-p stubs)
|
|
|
|
|
(symlink (string-append lib "/dllbitstring.so")
|
|
|
|
|
(string-append stubs "/dllbitstring.so"))))))))
|
|
|
|
|
(home-page "https://github.com/xguerin/bitstring")
|
|
|
|
|
(synopsis "Bitstrings and bitstring matching for OCaml")
|
|
|
|
|
(description "Adds Erlang-style bitstrings and matching over bitstrings as
|
|
|
|
|
a syntax extension and library for OCaml. You can use this module to both parse
|
|
|
|
|
and generate binary formats, files and protocols. Bitstring handling is added
|
|
|
|
|
as primitives to the language, making it exceptionally simple to use and very
|
|
|
|
|
powerful.")
|
|
|
|
|
(license license:isc)))
|
2016-12-30 10:36:41 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-result
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-result")
|
|
|
|
|
(version "1.2")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "https://github.com/janestreet/result"
|
|
|
|
|
"/archive/" version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"1pgpfsgvhxnh0i37fkvp9j8nadns9hz9iqgabj4dr519j2gr1xvw"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:tests? #f
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure))))
|
|
|
|
|
(home-page "https://github.com/janestreet/result")
|
|
|
|
|
(synopsis "Compatibility Result module")
|
|
|
|
|
(description "Uses the new result type defined in OCaml >= 4.03 while
|
|
|
|
|
staying compatible with older version of OCaml should use the Result module
|
|
|
|
|
defined in this library.")
|
|
|
|
|
(license license:bsd-3)))
|
2016-12-30 10:40:26 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-topkg
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-topkg")
|
|
|
|
|
(version "0.8.1")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://erratique.ch/software/topkg/releases/"
|
|
|
|
|
"topkg-" version ".tbz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"18rrh6fmf708z7dd30amljmcgaypj3kk49jrmrj68r4wnw8004j8"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("opam" ,opam)))
|
|
|
|
|
(propagated-inputs
|
|
|
|
|
`(("result" ,ocaml-result)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:tests? #f
|
|
|
|
|
#:build-flags '("build")
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure))))
|
|
|
|
|
(home-page "http://erratique.ch/software/topkg")
|
|
|
|
|
(synopsis "Transitory OCaml software packager")
|
|
|
|
|
(description "Topkg is a packager for distributing OCaml software. It
|
|
|
|
|
provides an API to describe the files a package installs in a given build
|
|
|
|
|
configuration and to specify information about the package's distribution,
|
|
|
|
|
creation and publication procedures.")
|
|
|
|
|
(license license:isc)))
|
2016-12-30 10:41:50 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-rresult
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-rresult")
|
|
|
|
|
(version "0.5.0")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://erratique.ch/software/rresult/releases/"
|
|
|
|
|
"rresult-" version ".tbz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"1xxycxhdhaq8p9vhwi93s2mlxjwgm44fcxybx5vghzgbankz9yhm"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("opam" ,opam)))
|
|
|
|
|
(propagated-inputs
|
|
|
|
|
`(("topkg" ,ocaml-topkg)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:tests? #f
|
|
|
|
|
#:build-flags '("build")
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure))))
|
|
|
|
|
(home-page "http://erratique.ch/software/rresult")
|
|
|
|
|
(synopsis "Result value combinators for OCaml")
|
|
|
|
|
(description "Handle computation results and errors in an explicit and
|
|
|
|
|
declarative manner, without resorting to exceptions. It defines combinators
|
|
|
|
|
to operate on the result type available from OCaml 4.03 in the standard
|
|
|
|
|
library.")
|
|
|
|
|
(license license:isc)))
|
2016-12-30 10:42:53 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-mtime
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-mtime")
|
|
|
|
|
(version "0.8.3")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://erratique.ch/software/mtime/releases/"
|
|
|
|
|
"mtime-" version ".tbz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"1hfx4ny2dkw6jf3jppz0640dafl5xgn8r2si9kpwzhmibal8qrah"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("opam" ,opam)))
|
|
|
|
|
(propagated-inputs
|
|
|
|
|
`(("topkg" ,ocaml-topkg)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:tests? #f
|
|
|
|
|
#:build-flags
|
|
|
|
|
'("native=true" "native-dynlink=true" "jsoo=false")
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure))))
|
|
|
|
|
(home-page "http://erratique.ch/software/mtime")
|
|
|
|
|
(synopsis "Monotonic wall-clock time for OCaml")
|
|
|
|
|
(description "Access monotonic wall-clock time. It allows to measure time
|
|
|
|
|
spans without being subject to operating system calendar time adjustments.")
|
|
|
|
|
(license license:isc)))
|
2016-12-30 10:44:15 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-cmdliner
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-cmdliner")
|
|
|
|
|
(version "0.9.8")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://erratique.ch/software/cmdliner/releases/"
|
|
|
|
|
"cmdliner-" version ".tbz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"0hdxlkgiwjml9dpaa80282a8350if7mc1m6yz2mrd7gci3fszykx"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("opam" ,opam)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:tests? #f
|
|
|
|
|
#:build-flags '("native=true" "native-dynlink=true")
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure))))
|
|
|
|
|
(home-page "http://erratique.ch/software/cmdliner")
|
|
|
|
|
(synopsis "Declarative definition of command line interfaces for OCaml")
|
|
|
|
|
(description "Cmdliner is a module for the declarative definition of command
|
|
|
|
|
line interfaces. It provides a simple and compositional mechanism to convert
|
|
|
|
|
command line arguments to OCaml values and pass them to your functions. The
|
|
|
|
|
module automatically handles syntax errors, help messages and UNIX man page
|
|
|
|
|
generation. It supports programs with single or multiple commands and respects
|
|
|
|
|
most of the POSIX and GNU conventions.")
|
|
|
|
|
(license license:bsd-3)))
|
2016-12-30 10:45:15 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-fmt
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-fmt")
|
|
|
|
|
(version "0.8.0")
|
|
|
|
|
(source
|
|
|
|
|
(origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://erratique.ch/software/fmt/releases/fmt-"
|
|
|
|
|
version ".tbz"))
|
|
|
|
|
(sha256 (base32
|
|
|
|
|
"16y7ibndnairb53j8a6qgipyqwjxncn4pl9jiw5bxjfjm59108px"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs `(("opam" ,opam)
|
|
|
|
|
("topkg" ,ocaml-topkg)))
|
|
|
|
|
(propagated-inputs `(("result" ,ocaml-result)
|
|
|
|
|
("cmdliner" ,ocaml-cmdliner)))
|
|
|
|
|
(arguments `(#:tests? #f
|
|
|
|
|
#:build-flags (list "build" "--with-base-unix" "true"
|
|
|
|
|
"--with-cmdliner" "true")
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure))))
|
|
|
|
|
(home-page "http://erratique.ch/software/fmt")
|
|
|
|
|
(synopsis "OCaml Format pretty-printer combinators")
|
|
|
|
|
(description "Fmt exposes combinators to devise Format pretty-printing
|
|
|
|
|
functions.")
|
|
|
|
|
(license license:isc)))
|
2016-12-30 10:46:33 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-astring
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-astring")
|
|
|
|
|
(version "0.8.3")
|
|
|
|
|
(source
|
|
|
|
|
(origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://erratique.ch/software/astring/releases/astring-"
|
|
|
|
|
version ".tbz"))
|
|
|
|
|
(sha256 (base32
|
|
|
|
|
"0ixjwc3plrljvj24za3l9gy0w30lsbggp8yh02lwrzw61ls4cri0"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs `(("opam" ,opam)
|
|
|
|
|
("topkg" ,ocaml-topkg)))
|
|
|
|
|
(arguments `(#:tests? #f
|
|
|
|
|
#:build-flags (list "build")
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure))))
|
|
|
|
|
(home-page "http://erratique.ch/software/astring")
|
|
|
|
|
(synopsis "Alternative String module for OCaml")
|
|
|
|
|
(description "Astring exposes an alternative String module for OCaml. This
|
|
|
|
|
module balances minimality and expressiveness for basic, index-free, string
|
|
|
|
|
processing and provides types and functions for substrings, string sets and
|
|
|
|
|
string maps. The String module exposed by Astring has exception safe functions,
|
|
|
|
|
removes deprecated and rarely used functions, alters some signatures and names,
|
|
|
|
|
adds a few missing functions and fully exploits OCaml's newfound string
|
|
|
|
|
immutability.")
|
|
|
|
|
(license license:isc)))
|
2016-12-30 10:47:27 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-alcotest
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-alcotest")
|
|
|
|
|
(version "0.7.2")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "https://github.com/mirage/alcotest/releases/"
|
|
|
|
|
"download/" version "/alcotest-" version ".tbz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"0g5lzk0gpfx4q8hyhr460gr4lab5wakfxsmhfwvb3yinxwzs95gc"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments `(#:tests? #f
|
|
|
|
|
#:build-flags (list "build")
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure))))
|
|
|
|
|
(native-inputs `(("opam" ,opam)
|
|
|
|
|
("topkg" ,ocaml-topkg)))
|
|
|
|
|
(propagated-inputs `(("fmt" ,ocaml-fmt)
|
|
|
|
|
("astring" ,ocaml-astring)))
|
|
|
|
|
(home-page "https://github.com/mirage/alcotest")
|
|
|
|
|
(synopsis "Lightweight OCaml test framework")
|
|
|
|
|
(description "Alcotest exposes simple interface to perform unit tests. It
|
|
|
|
|
exposes a simple TESTABLE module type, a check function to assert test
|
|
|
|
|
predicates and a run function to perform a list of unit -> unit test callbacks.
|
|
|
|
|
Alcotest provides a quiet and colorful output where only faulty runs are fully
|
|
|
|
|
displayed at the end of the run (with the full logs ready to inspect), with a
|
|
|
|
|
simple (yet expressive) query language to select the tests to run.")
|
|
|
|
|
(license license:isc)))
|
2016-12-30 10:50:19 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-ppx-tools
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-ppx-tools")
|
|
|
|
|
(version "5.0+4.02.0")
|
|
|
|
|
(source
|
|
|
|
|
(origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "https://github.com/alainfrisch/ppx_tools/archive/"
|
|
|
|
|
version ".tar.gz"))
|
|
|
|
|
(sha256 (base32
|
|
|
|
|
"0rjg4rngi8k9873z4zq95zn9hj8qyw1vcrf11y15aqasfpqq16rc"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments `(#:phases (modify-phases %standard-phases (delete 'configure))
|
|
|
|
|
#:tests? #f))
|
|
|
|
|
(home-page "https://github.com/alainfrisch/ppx_tools")
|
|
|
|
|
(synopsis "Tools for authors of ppx rewriters and other syntactic tools")
|
|
|
|
|
(description "Tools for authors of ppx rewriters and other syntactic tools.")
|
|
|
|
|
(license license:expat)))
|
2016-12-30 10:51:50 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-react
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-react")
|
|
|
|
|
(version "1.2.0")
|
|
|
|
|
(source
|
|
|
|
|
(origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://erratique.ch/software/react/releases/react-"
|
|
|
|
|
version ".tbz"))
|
|
|
|
|
(sha256 (base32
|
|
|
|
|
"0knhgbngphv5sp1yskfd97crf169qhpc0igr6w7vqw0q36lswyl8"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs `(("opam" ,opam)))
|
|
|
|
|
(arguments `(#:tests? #f
|
|
|
|
|
#:build-flags (list "native=true" "native-dynlink=true")
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure))))
|
|
|
|
|
(home-page "http://erratique.ch/software/react")
|
|
|
|
|
(synopsis "Declarative events and signals for OCaml")
|
|
|
|
|
(description "React is an OCaml module for functional reactive programming
|
|
|
|
|
(FRP). It provides support to program with time varying values: declarative
|
|
|
|
|
events and signals. React doesn't define any primitive event or signal, it
|
|
|
|
|
lets the client choose the concrete timeline.")
|
|
|
|
|
(license license:bsd-3)))
|
2016-12-30 10:53:24 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-ssl
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-ssl")
|
|
|
|
|
(version "0.5.3")
|
|
|
|
|
(source
|
|
|
|
|
(origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "https://github.com/savonet/ocaml-ssl/archive/"
|
|
|
|
|
version ".tar.gz"))
|
|
|
|
|
(sha256 (base32
|
|
|
|
|
"1ds5gzyzpcgwn7h40dmjkll7g990cr82ay05b2a7nrclvv6fdpg8"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments `(#:tests? #f
|
|
|
|
|
#:make-flags (list "OCAMLFIND_LDCONF=ignore")
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(add-before 'configure 'bootstrap
|
|
|
|
|
(lambda* (#:key #:allow-other-keys)
|
|
|
|
|
(system* "./bootstrap")
|
|
|
|
|
(substitute* "src/OCamlMakefile"
|
|
|
|
|
(("/bin/sh") (which "bash")))
|
|
|
|
|
(substitute* "configure"
|
|
|
|
|
(("/bin/sh") (which "bash"))))))))
|
|
|
|
|
(native-inputs `(("autoconf" ,autoconf)
|
|
|
|
|
("automake" ,automake)
|
|
|
|
|
("which" ,which)))
|
|
|
|
|
(propagated-inputs `(("openssl" ,openssl)))
|
|
|
|
|
(home-page "https://github.com/savonet/ocaml-ssl/")
|
|
|
|
|
(synopsis "OCaml bindings for OpenSSL")
|
|
|
|
|
(description "OCaml bindings for OpenSSL.")
|
|
|
|
|
(license license:lgpl2.1)))
|
2016-12-30 10:55:04 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-lwt
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-lwt")
|
|
|
|
|
(version "2.6.0")
|
|
|
|
|
(source
|
|
|
|
|
(origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "https://github.com/ocsigen/lwt/archive/" version
|
|
|
|
|
".tar.gz"))
|
|
|
|
|
(sha256 (base32
|
|
|
|
|
"1gbw0g8a5a4b16diqrmlhc8ilnikrm4w3jjm1zq310maqg8z0zxz"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:configure-flags
|
|
|
|
|
(list "--enable-ssl" "--enable-glib" "--enable-react"
|
|
|
|
|
"--enable-ppx")
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(add-before 'configure 'disable-some-checks
|
|
|
|
|
(lambda* (#:key #:allow-other-keys)
|
|
|
|
|
(substitute* "tests/unix/main.ml"
|
|
|
|
|
(("Test_mcast.suite;") ""))))
|
|
|
|
|
(add-after 'install 'link-stubs
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
|
(stubs (string-append out "/lib/ocaml/site-lib/stubslibs"))
|
|
|
|
|
(lib (string-append out "/lib/ocaml/site-lib/lwt")))
|
|
|
|
|
(mkdir-p stubs)
|
|
|
|
|
(symlink (string-append lib "/dlllwt-glib_stubs.so")
|
|
|
|
|
(string-append stubs "/dlllwt-glib_stubs.so"))
|
|
|
|
|
(symlink (string-append lib "/dlllwt-unix_stubs.so")
|
|
|
|
|
(string-append stubs "/dlllwt-unix_stubs.so"))))))))
|
|
|
|
|
(native-inputs `(("pkg-config" ,pkg-config)
|
|
|
|
|
("ppx-tools" ,ocaml-ppx-tools)))
|
|
|
|
|
(inputs `(("libev" ,libev)
|
|
|
|
|
("glib" ,glib)))
|
|
|
|
|
(propagated-inputs `(("result" ,ocaml-result)
|
|
|
|
|
("ocaml-ssl" ,ocaml-ssl)
|
|
|
|
|
("ocaml-react" ,ocaml-react)))
|
|
|
|
|
(home-page "https://github.com/ocsigen/lwt")
|
|
|
|
|
(synopsis "Cooperative threads and I/O in monadic style")
|
|
|
|
|
(description "Lwt provides typed, composable cooperative threads. These
|
|
|
|
|
make it easy to run normally-blocking I/O operations concurrently in a single
|
|
|
|
|
process. Also, in many cases, Lwt threads can interact without the need for
|
|
|
|
|
locks or other synchronization primitives.")
|
|
|
|
|
(license license:lgpl2.1)))
|
2016-12-30 11:17:09 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-logs
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-logs")
|
|
|
|
|
(version "0.6.2")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://erratique.ch/software/logs/releases/"
|
|
|
|
|
"logs-" version ".tbz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"1khbn7jqpid83zn8rvyh1x1sirls7zc878zj4fz985m5xlsfy853"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments `(#:tests? #f
|
|
|
|
|
#:build-flags (list "build" "--with-js_of_ocaml" "false")
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure))))
|
|
|
|
|
(native-inputs `(("opam" ,opam)))
|
|
|
|
|
(propagated-inputs `(("fmt" ,ocaml-fmt)
|
|
|
|
|
("lwt" ,ocaml-lwt)
|
|
|
|
|
("mtime" ,ocaml-mtime)
|
|
|
|
|
("result" ,ocaml-result)
|
|
|
|
|
("cmdliner" ,ocaml-cmdliner)
|
|
|
|
|
("topkg" ,ocaml-topkg)))
|
|
|
|
|
(home-page "http://erratique.ch/software/logs")
|
|
|
|
|
(synopsis "Logging infrastructure for OCaml")
|
|
|
|
|
(description "Logs provides a logging infrastructure for OCaml. Logging is
|
|
|
|
|
performed on sources whose reporting level can be set independently. Log
|
|
|
|
|
message report is decoupled from logging and is handled by a reporter.")
|
|
|
|
|
(license license:isc)))
|
2016-12-30 11:20:01 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-fpath
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-fpath")
|
|
|
|
|
(version "0.7.1")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://erratique.ch/software/fpath/releases/"
|
|
|
|
|
"fpath-" version ".tbz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"05134ij27xjl6gaqsc65yl19vfj6cjxq3mbm9bf4mija8grdpn6g"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments `(#:tests? #f
|
|
|
|
|
#:build-flags (list "build")
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure))))
|
|
|
|
|
(native-inputs `(("opam" ,opam)))
|
|
|
|
|
(propagated-inputs `(("topkg" ,ocaml-topkg)
|
|
|
|
|
("astring" ,ocaml-astring)))
|
|
|
|
|
(home-page "http://erratique.ch/software/fpath")
|
|
|
|
|
(synopsis "File system paths for OCaml")
|
|
|
|
|
(description "Fpath is an OCaml module for handling file system paths with
|
|
|
|
|
POSIX or Windows conventions. Fpath processes paths without accessing the
|
|
|
|
|
file system and is independent from any system library.")
|
|
|
|
|
(license license:isc)))
|
2016-12-30 11:20:53 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-bos
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-bos")
|
|
|
|
|
(version "0.1.4")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://erratique.ch/software/bos/releases/"
|
|
|
|
|
"bos-" version ".tbz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"1ly66lysk4w6mdy4k1n3ynlpfpq7lw4wshcpzgx58v6x613w5s7q"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments `(#:tests? #f
|
|
|
|
|
#:build-flags (list "build")
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure))))
|
|
|
|
|
(native-inputs `(("opam" ,opam)))
|
|
|
|
|
(propagated-inputs `(("topkg" ,ocaml-topkg)
|
|
|
|
|
("astring" ,ocaml-astring)
|
|
|
|
|
("fmt" ,ocaml-fmt)
|
|
|
|
|
("fpath" ,ocaml-fpath)
|
|
|
|
|
("logs" ,ocaml-logs)
|
|
|
|
|
("rresult" ,ocaml-rresult)))
|
|
|
|
|
(home-page "http://erratique.ch/software/bos")
|
|
|
|
|
(synopsis "Basic OS interaction for OCaml")
|
|
|
|
|
(description "Bos provides support for basic and robust interaction with
|
|
|
|
|
the operating system in OCaml. It has functions to access the process
|
|
|
|
|
environment, parse command line arguments, interact with the file system and
|
|
|
|
|
run command line programs.")
|
|
|
|
|
(license license:isc)))
|
2016-12-30 11:21:52 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-xmlm
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-xmlm")
|
|
|
|
|
(version "1.2.0")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://erratique.ch/software/xmlm/releases/"
|
|
|
|
|
"xmlm-" version ".tbz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"1jywcrwn5z3gkgvicr004cxmdaqfmq8wh72f81jqz56iyn5024nh"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments `(#:tests? #f
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure)
|
|
|
|
|
(replace 'build
|
|
|
|
|
(lambda* (#:key #:allow-other-keys)
|
|
|
|
|
(zero? (system* "pkg/build" "true")))))))
|
|
|
|
|
(native-inputs `(("opam" ,opam)))
|
|
|
|
|
(home-page "http://erratique.ch/software/xmlm")
|
|
|
|
|
(synopsis "Streaming XML codec for OCaml")
|
|
|
|
|
(description "Xmlm is a streaming codec to decode and encode the XML data
|
|
|
|
|
format. It can process XML documents without a complete in-memory
|
|
|
|
|
representation of the data.")
|
|
|
|
|
(license license:isc)))
|
2016-12-30 11:22:48 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-ulex
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-ulex")
|
|
|
|
|
(version "1.1")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://www.cduce.org/download/ulex-"
|
|
|
|
|
version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"0fjlkwps14adfgxdrbb4yg65fhyimplvjjs1xqj5np197cig67x0"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments `(#:phases (modify-phases %standard-phases (delete 'configure))
|
|
|
|
|
#:tests? #f
|
|
|
|
|
#:make-flags
|
|
|
|
|
(list "all.opt"
|
|
|
|
|
(string-append "OCAMLBUILD=ocamlbuild -byte-plugin "
|
|
|
|
|
"-cflags -I,"
|
|
|
|
|
(assoc-ref %build-inputs "camlp4")
|
|
|
|
|
"/lib/ocaml/site-lib/camlp4"))))
|
|
|
|
|
(native-inputs `(("camlp4" ,camlp4)))
|
|
|
|
|
(home-page "http://www.cduce.org/download.html#side")
|
|
|
|
|
(synopsis "Lexer generator for Unicode and OCaml")
|
|
|
|
|
(description "Lexer generator for Unicode and OCaml.")
|
|
|
|
|
(license license:expat)))
|
2016-12-30 11:24:17 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-uchar
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-uchar")
|
|
|
|
|
(version "0.0.1")
|
|
|
|
|
(source
|
|
|
|
|
(origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "https://github.com/ocaml/uchar/releases/download/v"
|
|
|
|
|
version "/uchar-" version ".tbz"))
|
|
|
|
|
(sha256 (base32
|
|
|
|
|
"0ficw1x7ymbd6m8hqw3w1aycwm1hbwd6bad3c5pspwnzh3qlikhi"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments `(#:tests? #f
|
|
|
|
|
#:build-flags (list "native=true" "native-dynlink=true")
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure))))
|
|
|
|
|
(native-inputs `(("opam" ,opam)))
|
|
|
|
|
(home-page "https://github.com/ocaml/uchar")
|
|
|
|
|
(synopsis "Compatibility library for OCaml's Uchar module")
|
|
|
|
|
(description "The uchar package provides a compatibility library for the
|
|
|
|
|
`Uchar` module introduced in OCaml 4.03.")
|
|
|
|
|
(license license:lgpl2.1)))
|
2016-12-30 11:25:08 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-uutf
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-uutf")
|
|
|
|
|
(version "1.0.0")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://erratique.ch/software/uutf/releases/"
|
|
|
|
|
"uutf-" version ".tbz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"08i0cw02cxw4mi2rs01v9xi307qshs6fnd1dlqyb52kcxzblpp37"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments `(#:tests? #f
|
|
|
|
|
#:build-flags (list "build")
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure))))
|
|
|
|
|
(native-inputs `(("opam" ,opam)
|
|
|
|
|
("topkg" ,ocaml-topkg)))
|
|
|
|
|
(propagated-inputs `(("uchar" ,ocaml-uchar)
|
|
|
|
|
("cmdliner" ,ocaml-cmdliner)))
|
|
|
|
|
(home-page "http://erratique.ch/software/uutf")
|
|
|
|
|
(synopsis "Non-blocking streaming Unicode codec for OCaml")
|
|
|
|
|
(description "Uutf is a non-blocking streaming codec to decode and encode
|
|
|
|
|
the UTF-8, UTF-16, UTF-16LE and UTF-16BE encoding schemes. It can efficiently
|
|
|
|
|
work character by character without blocking on IO. Decoders perform character
|
|
|
|
|
position tracking and support newline normalization.
|
|
|
|
|
|
|
|
|
|
Functions are also provided to fold over the characters of UTF encoded OCaml
|
|
|
|
|
string values and to directly encode characters in OCaml Buffer.t values.")
|
|
|
|
|
(license license:isc)))
|
2016-12-30 11:35:16 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-jsonm
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-jsonm")
|
|
|
|
|
(version "1.0.0")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://erratique.ch/software/jsonm/releases/"
|
|
|
|
|
"jsonm-" version ".tbz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"1v3ln6d965lplj28snjdqdqablpp1kx8bw2cfx0m6i157mqyln62"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments `(#:tests? #f
|
|
|
|
|
#:build-flags (list "build")
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure))))
|
|
|
|
|
(native-inputs `(("opam" ,opam)
|
|
|
|
|
("topkg" ,ocaml-topkg)))
|
|
|
|
|
(propagated-inputs `(("uutf" ,ocaml-uutf)
|
|
|
|
|
("cmdliner" ,ocaml-cmdliner)))
|
|
|
|
|
(home-page "http://erratique.ch/software/jsonm")
|
|
|
|
|
(synopsis "Non-blocking streaming JSON codec for OCaml")
|
|
|
|
|
(description "Jsonm is a non-blocking streaming codec to decode and encode
|
|
|
|
|
the JSON data format. It can process JSON text without blocking on IO and
|
|
|
|
|
without a complete in-memory representation of the data.")
|
|
|
|
|
(license license:isc)))
|
2016-12-30 11:36:12 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-ocurl
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-ocurl")
|
|
|
|
|
(version "0.7.9")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://ygrek.org.ua/p/release/ocurl/ocurl-"
|
|
|
|
|
version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"0pm6nm33wi0p9h765k6zb94ljpknryam4qd1hmb2rsk2y0y1181n"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments `(#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(add-before 'configure 'fix-/bin/sh
|
|
|
|
|
(lambda* (#:key inputs #:allow-other-keys)
|
|
|
|
|
(substitute* "configure"
|
|
|
|
|
(("-/bin/sh") (string-append "-" (which "bash")))))))))
|
|
|
|
|
(native-inputs `(("pkg-config" ,pkg-config)))
|
|
|
|
|
(inputs `(("curl" ,curl)))
|
|
|
|
|
(home-page "http://ocurl.forge.ocamlcore.org/")
|
|
|
|
|
(synopsis "OCaml bindings for libcurl")
|
|
|
|
|
(description "Client-side URL transfer library, supporting HTTP and a
|
|
|
|
|
multitude of other network protocols (FTP/SMTP/RTSP/etc).")
|
|
|
|
|
(license license:isc)))
|
2016-12-30 11:38:32 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-base64
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-base64")
|
|
|
|
|
(version "2.1.2")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "https://github.com/mirage/ocaml-base64/"
|
|
|
|
|
"releases/download/v" version "/base64-"
|
|
|
|
|
version ".tbz"))
|
|
|
|
|
(file-name (string-append name "-" version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"1p45sawchmrkr22gkmydjc4ary23pisp58zsnb7iq7d82nxs1lfq"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:build-flags (list "build" "--tests" "true")
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'configure))))
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("topkg" ,ocaml-topkg)
|
|
|
|
|
("opam" ,opam)
|
|
|
|
|
("rresult" ,ocaml-rresult)
|
|
|
|
|
("bos" ,ocaml-bos)
|
|
|
|
|
("alcotest" ,ocaml-alcotest)))
|
|
|
|
|
(home-page "https://github.com/mirage/ocaml-base64")
|
|
|
|
|
(synopsis "Base64 encoding for OCaml")
|
|
|
|
|
(description "Base64 is a group of similar binary-to-text encoding schemes
|
|
|
|
|
that represent binary data in an ASCII string format by translating it into a
|
|
|
|
|
radix-64 representation. It is specified in RFC 4648.")
|
|
|
|
|
(license license:isc)))
|
2016-12-30 11:39:42 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocamlify
|
|
|
|
|
(package
|
|
|
|
|
(name "ocamlify")
|
|
|
|
|
(version "0.0.2")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (ocaml-forge-uri name version 1209))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"1f0fghvlbfryf5h3j4as7vcqrgfjb4c8abl5y0y5h069vs4kp5ii"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
; tests are done during build
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'check))))
|
|
|
|
|
(home-page "https://forge.ocamlcore.org/projects/ocamlify")
|
|
|
|
|
(synopsis "Include files in OCaml code")
|
|
|
|
|
(description "OCamlify allows to create OCaml source code by including
|
|
|
|
|
whole files into OCaml string or string list. The code generated can be
|
|
|
|
|
compiled as a standard OCaml file. It allows embedding external resources as
|
|
|
|
|
OCaml code.")
|
|
|
|
|
(license license:lgpl2.1+))); with the OCaml static compilation exception
|
2016-12-30 11:40:45 +00:00
|
|
|
|
|
|
|
|
|
(define-public omake
|
|
|
|
|
(package
|
|
|
|
|
(name "omake")
|
|
|
|
|
(version "0.10.1")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://download.camlcity.org/download/"
|
|
|
|
|
"omake-" version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"093ansbppms90hiqvzar2a46fj8gm9iwnf8gn38s6piyp70lrbsj"))
|
|
|
|
|
(patches (search-patches "omake-fix-non-determinism.patch"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:make-flags
|
|
|
|
|
(list (string-append "PREFIX=" (assoc-ref %outputs "out")))
|
|
|
|
|
#:tests? #f ; no test target
|
|
|
|
|
#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(add-before 'configure 'fix-makefile
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(substitute* "mk/osconfig_unix.mk"
|
|
|
|
|
(("CC = cc") "CC = gcc")))))))
|
|
|
|
|
(native-inputs `(("hevea" ,hevea)))
|
|
|
|
|
(home-page "http://projects.camlcity.org/projects/omake.html")
|
|
|
|
|
(synopsis "Build system designed for scalability and portability")
|
|
|
|
|
(description "Similar to make utilities you may have used, but it features
|
|
|
|
|
many additional enhancements, including:
|
|
|
|
|
|
|
|
|
|
@enumerate
|
|
|
|
|
@item Support for projects spanning several directories or directory hierarchies.
|
|
|
|
|
@item Fast, reliable, automated, scriptable dependency analysis using MD5 digests,
|
|
|
|
|
with full support for incremental builds.
|
|
|
|
|
@item Dependency analysis takes the command lines into account — whenever the
|
|
|
|
|
command line used to build a target changes, the target is considered
|
|
|
|
|
out-of-date.
|
|
|
|
|
@item Fully scriptable, includes a library that providing support for standard
|
|
|
|
|
tasks in C, C++, OCaml, and LaTeX projects, or a mixture thereof.
|
|
|
|
|
@end enumerate")
|
|
|
|
|
(license (list license:lgpl2.1 ; libmojave
|
|
|
|
|
license:expat ; OMake scripts
|
|
|
|
|
license:gpl2)))) ; OMake itself, with ocaml linking exception
|
|
|
|
|
; see LICENSE.OMake
|
2017-01-02 11:42:29 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-batteries
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-batteries")
|
|
|
|
|
(version "2.5.3")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (ocaml-forge-uri "batteries" version 1650))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"1a97w3x2l1jr5x9kj5gqm1x6b0q9fjqdcsvls7arnl3bvzgsia0n"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("qtest" ,ocaml-qtest)
|
|
|
|
|
("bisect" ,ocaml-bisect)
|
|
|
|
|
("ounit" ,ocaml-ounit)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(delete 'check) ; tests are run by the build phase
|
|
|
|
|
(replace 'build
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(zero? (system* "ocaml" "setup.ml" "-build")))))))
|
|
|
|
|
(home-page "http://batteries.forge.ocamlcore.org/")
|
|
|
|
|
(synopsis "Development platform for the OCaml programming language")
|
|
|
|
|
(description "Define a standard set of libraries which may be expected on
|
|
|
|
|
every compliant installation of OCaml and organize these libraries into a
|
|
|
|
|
hierarchy of modules.")
|
|
|
|
|
(license license:lgpl2.1+)))
|
2016-12-30 11:46:48 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-pcre
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-pcre")
|
|
|
|
|
(version "7.2.3")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "https://github.com/mmottl/pcre-ocaml/archive"
|
|
|
|
|
"/v" version ".tar.gz"))
|
|
|
|
|
(file-name (string-append name "-" version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"0rj6dw79px4sj2kq0iss2nzq3rnsn9wivvc0f44wa1mppr6njfb3"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(add-after 'install 'link-lib
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
|
(stubs (string-append out "/lib/ocaml/site-lib/stubslibs"))
|
|
|
|
|
(lib (string-append out "/lib/ocaml/site-lib/pcre")))
|
|
|
|
|
(mkdir-p stubs)
|
|
|
|
|
(symlink (string-append lib "/dllpcre_stubs.so")
|
|
|
|
|
(string-append stubs "/dllpcre_stubs.so"))))))))
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("batteries" ,ocaml-batteries)
|
|
|
|
|
("pcre:bin" ,pcre "bin")))
|
|
|
|
|
(propagated-inputs `(("pcre" ,pcre)))
|
|
|
|
|
(home-page "https://mmottl.github.io/pcre-ocaml")
|
|
|
|
|
(synopsis "Bindings to the Perl Compatibility Regular Expressions library")
|
|
|
|
|
(description "Pcre-ocaml offers library functions for string pattern
|
|
|
|
|
matching and substitution, similar to the functionality offered by the Perl
|
|
|
|
|
language.")
|
|
|
|
|
(license license:lgpl2.1+))); with the OCaml link exception
|
2016-12-30 11:48:37 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-expect
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-expect")
|
|
|
|
|
(version "0.0.5")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (ocaml-forge-uri name version 1372))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"07xq8w2x2vffc32z7vk6y14jwbfb1cw0m2lm1jzi60hnr1dvg8by"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("ocaml-pcre" ,ocaml-pcre)
|
|
|
|
|
("ounit" ,ocaml-ounit)))
|
|
|
|
|
(propagated-inputs `(("batteries" ,ocaml-batteries)))
|
|
|
|
|
(home-page "https://forge.ocamlcore.org/projects/ocaml-expect/")
|
|
|
|
|
(synopsis "Simple implementation of expect")
|
|
|
|
|
(description "Help building unitary testing of interactive program. You
|
|
|
|
|
can match the question using a regular expression or a timeout.")
|
|
|
|
|
(license license:lgpl2.1+))) ; with the OCaml static compilation exception
|
2016-12-30 11:50:33 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-fileutils
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-fileutils")
|
|
|
|
|
(version "0.5.1")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (ocaml-forge-uri name version 1651))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"0g6zx2rcvacklxyli19ixcf6ich9ipxsps4k3jz98f5zlaab0a7g"))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs `(("ounit" ,ocaml-ounit)))
|
|
|
|
|
(home-page "http://ocaml-fileutils.forge.ocamlcore.org")
|
|
|
|
|
(synopsis "Pure OCaml functions to manipulate real file and filename")
|
|
|
|
|
(description "Library to provide pure OCaml functions to manipulate real
|
|
|
|
|
file (POSIX like) and filename.")
|
|
|
|
|
(license license:lgpl2.1+))) ; with the OCaml static compilation exception
|
2016-12-30 12:06:40 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-oasis
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-oasis")
|
|
|
|
|
(version "0.4.8")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (ocaml-forge-uri name version 1669))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"1ln7vc7ip6s5xbi20mhnn087xi4a2m5vqawx0703qqnfkzhmslqy"))
|
|
|
|
|
(modules '((guix build utils)))
|
|
|
|
|
(snippet
|
|
|
|
|
'(substitute* "test/test-main/Test.ml"
|
|
|
|
|
;; most of these tests fail because ld cannot find crti.o, but according
|
|
|
|
|
;; to the log file, the environment variables {LD_,}LIBRARY_PATH
|
|
|
|
|
;; are set correctly whene LD_LIBRARY_PATH is defined beforhand.
|
|
|
|
|
(("TestBaseCompat.tests;") "")
|
|
|
|
|
(("TestExamples.tests;") "")
|
|
|
|
|
(("TestFull.tests;") "")
|
|
|
|
|
(("TestPluginDevFiles.tests;") "")
|
|
|
|
|
(("TestPluginInternal.tests;") "")
|
|
|
|
|
(("TestPluginOCamlbuild.tests;") "")
|
|
|
|
|
(("TestPluginOMake.tests;") "")))))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("ocamlify" ,ocamlify)
|
|
|
|
|
("ocamlmod" ,ocamlmod)
|
|
|
|
|
("ounit" ,ocaml-ounit)
|
|
|
|
|
("omake" ,omake)
|
|
|
|
|
("ocaml-expect" ,ocaml-expect)
|
|
|
|
|
("ocaml-pcre" ,ocaml-pcre)
|
|
|
|
|
("ocaml-fileutils" ,ocaml-fileutils)
|
|
|
|
|
("camlp4" ,camlp4)
|
|
|
|
|
("texlive" ,texlive)
|
|
|
|
|
("pkg-config" ,pkg-config)))
|
|
|
|
|
(home-page "https://oasis.forge.ocamlcore.org")
|
|
|
|
|
(synopsis "Integrates a configure, build, install system in OCaml projects")
|
|
|
|
|
(description "OASIS is a tool to integrate a configure, build and install
|
|
|
|
|
system in your OCaml projects. It helps to create standard entry points in your
|
|
|
|
|
build system and allows external tools to analyse your project easily.")
|
|
|
|
|
(license license:lgpl2.1+))) ; with ocaml static compilation exception
|
2017-01-27 21:58:50 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-js-build-tools
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-js-build-tools")
|
|
|
|
|
(version "113.33.06")
|
|
|
|
|
(source (janestreet-origin "js-build-tools" version
|
|
|
|
|
"0r8z4fz8iy5y6hkdlkpwf6rk4qigcr3dzyv35585xgg2ahf12zy6"))
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("oasis" ,ocaml-oasis)
|
|
|
|
|
("opam" ,opam)))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments janestreet-arguments)
|
|
|
|
|
(home-page "https://github.com/janestreet/js-build-tools")
|
|
|
|
|
(synopsis "Collection of tools to help building Jane Street Packages")
|
|
|
|
|
(description "This package contains tools to help building Jane Street
|
|
|
|
|
packages, but can be used for other purposes. It contains:
|
|
|
|
|
@enumerate
|
|
|
|
|
@item an @command{oasis2opam-install} tool to produce a @file{.install} file
|
|
|
|
|
from the oasis build log
|
|
|
|
|
@item a @code{js_build_tools} ocamlbuild plugin with various goodies.
|
|
|
|
|
@end enumerate")
|
|
|
|
|
(license license:asl2.0)))
|
2016-12-30 15:27:27 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-bin-prot
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-bin-prot")
|
|
|
|
|
(version "113.33.03")
|
|
|
|
|
(source (janestreet-origin "bin_prot" version
|
|
|
|
|
"1ws8c017z8nbj3vw92ndvjk9011f71rmp3llncbv8r5fc76wqv3l"))
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("js-build-tools" ,ocaml-js-build-tools)
|
|
|
|
|
("opam" ,opam)))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments janestreet-arguments)
|
|
|
|
|
(home-page "https://github.com/janestreet/bin_prot/")
|
|
|
|
|
(synopsis "Binary protocol generator")
|
|
|
|
|
(description "This library contains functionality for reading and writing
|
|
|
|
|
OCaml-values in a type-safe binary protocol. It is extremely efficient,
|
|
|
|
|
typically supporting type-safe marshalling and unmarshalling of even highly
|
|
|
|
|
structured values at speeds sufficient to saturate a gigabit connection. The
|
|
|
|
|
protocol is also heavily optimized for size, making it ideal for long-term
|
|
|
|
|
storage of large amounts of data.")
|
|
|
|
|
(license license:asl2.0)))
|
2016-12-30 15:28:46 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-fieldslib
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-fieldslib")
|
|
|
|
|
(version "113.33.03")
|
|
|
|
|
(source (janestreet-origin "fieldslib" version
|
|
|
|
|
"1rm3bn54bzk2hlq8f3w067ak8s772w4a8f78i3yh79vxfzq8ncvv"))
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("js-build-tools" ,ocaml-js-build-tools)
|
|
|
|
|
("opam" ,opam)))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(arguments janestreet-arguments)
|
|
|
|
|
(home-page "https://github.com/janestreet/fieldslib/")
|
|
|
|
|
(synopsis "Syntax extension to record fields")
|
|
|
|
|
(description "Syntax extension to define first class values representing
|
|
|
|
|
record fields, to get and set record fields, iterate and fold over all fields
|
|
|
|
|
of a record and create new record values.")
|
|
|
|
|
(license license:asl2.0)))
|
2016-12-30 15:30:46 +00:00
|
|
|
|
|
|
|
|
|
(define-public ocaml-ppx-core
|
|
|
|
|
(package
|
|
|
|
|
(name "ocaml-ppx-core")
|
|
|
|
|
(version "113.33.03")
|
|
|
|
|
(source (janestreet-origin "ppx_core" version
|
|
|
|
|
"0f69l4czhgssnhb5ds2j9dbqjyz8dp1y3i3x0i4h6pxnms20zbxa"))
|
|
|
|
|
(build-system ocaml-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("js-build-tools" ,ocaml-js-build-tools)
|
|
|
|
|
("opam" ,opam)))
|
|
|
|
|
(inputs `(("ppx-tools" ,ocaml-ppx-tools)))
|
|
|
|
|
(arguments janestreet-arguments)
|
|
|
|
|
(home-page "https://github.com/janestreet/ppx_core/")
|
|
|
|
|
(synopsis "Standard library for ppx rewriters")
|
|
|
|
|
(description "Ppx_core is a standard library for OCaml AST transformers.
|
|
|
|
|
It contains:
|
|
|
|
|
@enumerate
|
|
|
|
|
@item various auto-generated AST traversal using an open recursion scheme
|
|
|
|
|
@item helpers for building AST fragments
|
|
|
|
|
@item helpers for matching AST fragments
|
|
|
|
|
@item a framework for dealing with attributes and extension points.
|
|
|
|
|
@end enumerate")
|
|
|
|
|
(license license:asl2.0)))
|