mailmap: Update entries for Nikita.
[jackhill/guix/guix.git] / gnu / packages / ocaml.scm
1 ;;; GNU Guix --- Functional package management for GNU
2 ;;; Copyright © 2013 Cyril Roelandt <tipecaml@gmail.com>
3 ;;; Copyright © 2014, 2015 Mark H Weaver <mhw@netris.org>
4 ;;; Copyright © 2015 Andreas Enge <andreas@enge.fr>
5 ;;; Copyright © 2015 David Hashe <david.hashe@dhashe.com>
6 ;;; Copyright © 2016 Eric Bavier <bavier@member.fsf.org>
7 ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
8 ;;; Copyright © 2016, 2018, 2019, 2020 Efraim Flashner <efraim@flashner.co.il>
9 ;;; Copyright © 2016-2020 Julien Lepiller <julien@lepiller.eu>
10 ;;; Copyright © 2017 Ben Woodcroft <donttrustben@gmail.com>
11 ;;; Copyright © 2017, 2018, 2019, 2020 Tobias Geerinckx-Rice <me@tobias.gr>
12 ;;; Copyright © 2018 Peter Kreye <kreyepr@gmail.com>
13 ;;; Copyright © 2018, 2019 Gabriel Hondet <gabrielhondet@gmail.com>
14 ;;; Copyright © 2018 Kei Kebreau <kkebreau@posteo.net>
15 ;;; Copyright © 2019 Ricardo Wurmus <rekado@elephly.net>
16 ;;; Copyright © 2020 Brett Gilio <brettg@gnu.org>
17 ;;;
18 ;;; This file is part of GNU Guix.
19 ;;;
20 ;;; GNU Guix is free software; you can redistribute it and/or modify it
21 ;;; under the terms of the GNU General Public License as published by
22 ;;; the Free Software Foundation; either version 3 of the License, or (at
23 ;;; your option) any later version.
24 ;;;
25 ;;; GNU Guix is distributed in the hope that it will be useful, but
26 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
27 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
28 ;;; GNU General Public License for more details.
29 ;;;
30 ;;; You should have received a copy of the GNU General Public License
31 ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
32
33 (define-module (gnu packages ocaml)
34 #:use-module (gnu packages)
35 #:use-module (gnu packages algebra)
36 #:use-module (gnu packages autotools)
37 #:use-module (gnu packages base)
38 #:use-module (gnu packages bison)
39 #:use-module (gnu packages boost)
40 #:use-module (gnu packages compression)
41 #:use-module (gnu packages curl)
42 #:use-module (gnu packages emacs)
43 #:use-module (gnu packages emacs-xyz)
44 #:use-module (gnu packages flex)
45 #:use-module (gnu packages gcc)
46 #:use-module (gnu packages ghostscript)
47 #:use-module (gnu packages glib)
48 #:use-module (gnu packages gnome)
49 #:use-module (gnu packages gtk)
50 #:use-module (gnu packages libevent)
51 #:use-module (gnu packages libffi)
52 #:use-module (gnu packages llvm)
53 #:use-module (gnu packages m4)
54 #:use-module (gnu packages maths)
55 #:use-module (gnu packages multiprecision)
56 #:use-module (gnu packages ncurses)
57 #:use-module (gnu packages pcre)
58 #:use-module (gnu packages perl)
59 #:use-module (gnu packages pkg-config)
60 #:use-module (gnu packages protobuf)
61 #:use-module (gnu packages python)
62 #:use-module (gnu packages python-xyz)
63 #:use-module (gnu packages sdl)
64 #:use-module (gnu packages sqlite)
65 #:use-module (gnu packages tex)
66 #:use-module (gnu packages texinfo)
67 #:use-module (gnu packages time)
68 #:use-module (gnu packages tls)
69 #:use-module (gnu packages version-control)
70 #:use-module (gnu packages virtualization)
71 #:use-module (gnu packages web-browsers)
72 #:use-module (gnu packages xml)
73 #:use-module (gnu packages xorg)
74 #:use-module (guix build-system dune)
75 #:use-module (guix build-system emacs)
76 #:use-module (guix build-system gnu)
77 #:use-module (guix build-system ocaml)
78 #:use-module (guix download)
79 #:use-module (guix git-download)
80 #:use-module ((guix licenses) #:prefix license:)
81 #:use-module (guix packages)
82 #:use-module (guix svn-download)
83 #:use-module (guix utils)
84 #:use-module ((srfi srfi-1) #:hide (zip)))
85
86 ;; A shortcut for files from ocaml forge. Downloaded files are computed from
87 ;; their number, not their name.
88 (define (ocaml-forge-uri name version file-number)
89 (string-append "https://forge.ocamlcore.org/frs/download.php/"
90 (number->string file-number) "/" name "-" version
91 ".tar.gz"))
92
93 ;; Janestreet packages are found in a similar way and all need the same patch.
94 (define (janestreet-origin name version hash)
95 (origin (method url-fetch)
96 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/"
97 (version-major+minor version) "/files/"
98 name "-" version ".tar.gz"))
99 (sha256 (base32 hash))
100 (modules '((guix build utils)))
101 (snippet
102 (let ((pattern (string-append "lib/" name)))
103 `(begin
104 ;; install.ml contains an invalid reference to the ppx file and
105 ;; propagates this error to the generated META file. It
106 ;; looks for it in the "lib" directory, but it is installed in
107 ;; "lib/ocaml/site-lib/package". This substitute does not change
108 ;; this file for non ppx packages.
109 (substitute* "install.ml"
110 ((,pattern) (string-append "lib/ocaml/site-lib/" ,name)))
111 ;; The standard Makefile would try to install janestreet modules
112 ;; in OCaml's directory in the store, which is read-only.
113 (substitute* "Makefile"
114 (("--prefix")
115 "--libdir $(LIBDIR) --prefix"))
116 #t)))))
117
118 ;; They also require almost the same set of arguments
119 (define janestreet-arguments
120 `(#:use-make? #t
121 #:make-flags
122 (list (string-append "CONFIGUREFLAGS=--prefix "
123 (assoc-ref %outputs "out")
124 " --enable-tests")
125 (string-append "LIBDIR="
126 (assoc-ref %outputs "out")
127 "/lib/ocaml/site-lib")
128 ;; for ocaml-bin-prot, otherwise ignored
129 (string-append "OCAML_TOPLEVEL_PATH="
130 (assoc-ref %build-inputs "findlib")
131 "/lib/ocaml/site-lib"))
132 #:phases (modify-phases %standard-phases (delete 'configure))))
133
134 (define-public ocaml-4.09
135 (package
136 (name "ocaml")
137 (version "4.09.0")
138 (source (origin
139 (method url-fetch)
140 (uri (string-append
141 "http://caml.inria.fr/pub/distrib/ocaml-"
142 (version-major+minor version)
143 "/ocaml-" version ".tar.xz"))
144 (sha256
145 (base32
146 "1v3z5ar326f3hzvpfljg4xj8b9lmbrl53fn57yih1bkbx3gr3yzj"))))
147 (build-system gnu-build-system)
148 (native-search-paths
149 (list (search-path-specification
150 (variable "OCAMLPATH")
151 (files (list "lib/ocaml" "lib/ocaml/site-lib")))
152 (search-path-specification
153 (variable "CAML_LD_LIBRARY_PATH")
154 (files (list "lib/ocaml/site-lib/stubslibs"
155 "lib/ocaml/site-lib/stublibs")))))
156 (native-inputs
157 `(("perl" ,perl)
158 ("pkg-config" ,pkg-config)))
159 (inputs
160 `(("libx11" ,libx11)
161 ;; For libiberty, needed for objdump support.
162 ("gcc:lib" ,(canonical-package gcc) "lib")
163 ("zlib" ,zlib))) ;also needed for objdump support
164 (arguments
165 `(#:phases
166 (modify-phases %standard-phases
167 (add-after 'unpack 'patch-/bin/sh-references
168 (lambda* (#:key inputs #:allow-other-keys)
169 (let* ((sh (string-append (assoc-ref inputs "bash")
170 "/bin/sh"))
171 (quoted-sh (string-append "\"" sh "\"")))
172 (with-fluids ((%default-port-encoding #f))
173 (for-each
174 (lambda (file)
175 (substitute* file
176 (("\"/bin/sh\"")
177 (begin
178 (format (current-error-port) "\
179 patch-/bin/sh-references: ~a: changing `\"/bin/sh\"' to `~a'~%"
180 file quoted-sh)
181 quoted-sh))))
182 (find-files "." "\\.ml$"))
183 #t))))
184 (replace 'build
185 (lambda _
186 (invoke "make" "-j" (number->string (parallel-job-count))
187 "world.opt")))
188 (replace 'check
189 (lambda _
190 (with-directory-excursion "testsuite"
191 (invoke "make" "all")))))))
192 (home-page "https://ocaml.org/")
193 (synopsis "The OCaml programming language")
194 (description
195 "OCaml is a general purpose industrial-strength programming language with
196 an emphasis on expressiveness and safety. Developed for more than 20 years at
197 Inria it benefits from one of the most advanced type systems and supports
198 functional, imperative and object-oriented styles of programming.")
199 ;; The compiler is distributed under qpl1.0 with a change to choice of
200 ;; law: the license is governed by the laws of France. The library is
201 ;; distributed under lgpl2.0.
202 (license (list license:qpl license:lgpl2.0))))
203
204 (define-public ocaml-4.07
205 (package
206 (inherit ocaml-4.09)
207 (version "4.07.1")
208 (source (origin
209 (method url-fetch)
210 (uri (string-append
211 "http://caml.inria.fr/pub/distrib/ocaml-"
212 (version-major+minor version)
213 "/ocaml-" version ".tar.xz"))
214 (sha256
215 (base32
216 "1f07hgj5k45cylj1q3k5mk8yi02cwzx849b1fwnwia8xlcfqpr6z"))))
217 (arguments
218 (substitute-keyword-arguments (package-arguments ocaml-4.09)
219 ((#:phases phases)
220 `(modify-phases ,phases
221 (replace 'configure
222 (lambda* (#:key outputs #:allow-other-keys)
223 (let* ((out (assoc-ref outputs "out"))
224 (mandir (string-append out "/share/man")))
225 ;; Custom configure script doesn't recognize
226 ;; --prefix=<PREFIX> syntax (with equals sign).
227 (invoke "./configure"
228 "--prefix" out
229 "--mandir" mandir))))))))))
230
231 (define-public ocaml ocaml-4.09)
232
233 (define-public ocamlbuild
234 (package
235 (name "ocamlbuild")
236 (version "0.14.0")
237 (source
238 (origin
239 (method git-fetch)
240 (uri (git-reference
241 (url "https://github.com/ocaml/ocamlbuild.git")
242 (commit version)))
243 (file-name (git-file-name name version))
244 (sha256
245 (base32 "1hb5mcdz4wv7sh1pj7dq9q4fgz5h3zg7frpiya6s8zd3ypwzq0kh"))))
246 (build-system ocaml-build-system)
247 (arguments
248 `(#:make-flags
249 (list (string-append "OCAMLBUILD_PREFIX=" (assoc-ref %outputs "out"))
250 (string-append "OCAMLBUILD_BINDIR=" (assoc-ref %outputs "out")
251 "/bin")
252 (string-append "OCAMLBUILD_LIBDIR=" (assoc-ref %outputs "out")
253 "/lib/ocaml/site-lib")
254 (string-append "OCAMLBUILD_MANDIR=" (assoc-ref %outputs "out")
255 "/share/man"))
256 #:phases
257 (modify-phases %standard-phases
258 (delete 'configure))
259 ; some failures because of changes in OCaml's error message formating
260 #:tests? #f))
261 (home-page "https://github.com/ocaml/ocamlbuild")
262 (synopsis "OCaml build tool")
263 (description "OCamlbuild is a generic build tool, that has built-in rules
264 for building OCaml library and programs.")
265 (license license:lgpl2.1+)))
266
267 (define-public ocaml-extlib
268 (package
269 (name "ocaml-extlib")
270 (version "1.7.6")
271 (source (origin
272 (method url-fetch)
273 (uri (string-append "https://ygrek.org.ua/p/release/ocaml-extlib/"
274 "extlib-" version ".tar.gz"))
275 (sha256
276 (base32
277 "0wfs20v1yj5apdbj7214wdsr17ayh0qqq7ihidndvc8nmmwfa1dz"))))
278 (build-system ocaml-build-system)
279 (arguments
280 `(#:phases
281 (modify-phases %standard-phases
282 (delete 'configure))))
283 (native-inputs
284 `(("ocaml-cppo" ,ocaml-cppo)))
285 (home-page "https://github.com/ygrek/ocaml-extlib")
286 (synopsis "Complete and small extension for OCaml standard library")
287 (description "This library adds new functions to OCaml standard library
288 modules, modifies some functions in order to get better performances or
289 safety (tail-recursive) and also provides new modules which should be useful
290 for day to day programming.")
291 ;; With static-linking exception
292 (license license:lgpl2.1+)))
293
294 (define-public ocaml-cudf
295 (package
296 (name "ocaml-cudf")
297 (version "0.9")
298 (source
299 (origin
300 (method url-fetch)
301 (uri "https://gforge.inria.fr/frs/download.php/36602/cudf-0.9.tar.gz")
302 (sha256
303 (base32
304 "0771lwljqwwn3cryl0plny5a5dyyrj4z6bw66ha5n8yfbpcy8clr"))))
305 (build-system ocaml-build-system)
306 (propagated-inputs `(("ocaml-extlib" ,ocaml-extlib)))
307 (native-inputs
308 `(("perl" ,perl)
309 ("ocamlbuild" ,ocamlbuild)
310 ("ocaml-ounit" ,ocaml-ounit)))
311 (arguments
312 `(#:make-flags
313 (list
314 "all" "opt"
315 (string-append "BINDIR=" (assoc-ref %outputs "out")
316 "/bin"))
317 #:phases
318 (modify-phases %standard-phases
319 (delete 'configure))))
320 (home-page "http://www.mancoosi.org/cudf/")
321 (synopsis "CUDF library (part of the Mancoosi tools)")
322 (description "CUDF (for Common Upgradeability Description Format) is a
323 format for describing upgrade scenarios in package-based Free and Open Source
324 Software distribution.")
325 ;; With static-linking exception
326 (license license:lgpl2.1+)))
327
328 (define-public ocaml-mccs
329 (package
330 (name "ocaml-mccs")
331 (version "1.1+9")
332 (source (origin
333 (method git-fetch)
334 (uri (git-reference
335 (url "https://github.com/AltGr/ocaml-mccs")
336 (commit version)))
337 (file-name (git-file-name name version))
338 (sha256
339 (base32
340 "1i0hhkrqi7rqlainlg5pc4hibbx6b5dp3x99gmav8c3sbfvlk9mc"))))
341 (build-system dune-build-system)
342 (propagated-inputs `(("ocaml-cudf" ,ocaml-cudf)))
343 (home-page "https://www.i3s.unice.fr/~cpjm/misc/")
344 (synopsis "Upgrade path problem solver")
345 (description "Mccs (Multi Criteria CUDF Solver) is a CUDF problem solver.
346 Mccs take as input a CUDF problem and computes the best solution according to
347 a set of criteria. It relies on a Integer Programming solver or a
348 Pseudo Boolean solver to achieve its task. Mccs can use a wide set of
349 underlying solvers like Cplex, Gurobi, Lpsolver, Glpk, CbC, SCIP or WBO.")
350 (license (list
351 license:bsd-3
352 license:gpl3+
353 ;; With static-linking exception
354 license:lgpl2.1+))))
355
356 (define-public ocaml-dose3
357 (package
358 (name "ocaml-dose3")
359 (version "5.0.1")
360 (source (origin
361 (method url-fetch)
362 (uri "https://gforge.inria.fr/frs/download.php/file/36063/dose3-5.0.1.tar.gz")
363 (sha256
364 (base32
365 "00yvyfm4j423zqndvgc1ycnmiffaa2l9ab40cyg23pf51qmzk2jm"))
366 (patches
367 (search-patches
368 "ocaml-dose3-add-unix-dependency.patch"
369 "ocaml-dose3-Fix-for-ocaml-4.06.patch"
370 "ocaml-dose3-dont-make-printconf.patch"
371 "ocaml-dose3-Install-mli-cmx-etc.patch"))))
372 (build-system ocaml-build-system)
373 (arguments
374 `(#:configure-flags
375 (list (string-append "SHELL="
376 (assoc-ref %build-inputs "bash")
377 "/bin/sh"))
378 #:make-flags
379 (list (string-append "LIBDIR="
380 (assoc-ref %outputs "out")
381 "/lib/ocaml/site-lib"))))
382 (propagated-inputs
383 `(("ocaml-graph" ,ocaml-graph)
384 ("ocaml-cudf" ,ocaml-cudf)
385 ("ocaml-extlib" ,ocaml-extlib)
386 ("ocaml-re" ,ocaml-re)))
387 (native-inputs
388 `(("perl" ,perl)
389 ("python" ,python-2) ; for a test script
390 ("python2-pyyaml" ,python2-pyyaml) ; for a test script
391 ("ocaml-extlib" ,ocaml-extlib)
392 ("ocamlbuild" ,ocamlbuild)
393 ("ocaml-cppo" ,ocaml-cppo)))
394 (home-page "http://www.mancoosi.org/software/")
395 (synopsis "Package distribution management framework")
396 (description "Dose3 is a framework made of several OCaml libraries for
397 managing distribution packages and their dependencies. Though not tied to
398 any particular distribution, dose3 constitutes a pool of libraries which
399 enable analyzing packages coming from various distributions. Besides basic
400 functionalities for querying and setting package properties, dose3 also
401 implements algorithms for solving more complex problems such as monitoring
402 package evolutions, correct and complete dependency resolution and
403 repository-wide uninstallability checks.")
404 ;; with static-linking exception
405 (license license:lgpl2.1+)))
406
407 (define-public ocaml-opam-file-format
408 (package
409 (name "ocaml-opam-file-format")
410 (version "2.0.0")
411 (source (origin
412 (method git-fetch)
413 (uri (git-reference
414 (url "https://github.com/ocaml/opam-file-format")
415 (commit version)))
416 (file-name (git-file-name name version))
417 (sha256
418 (base32
419 "0fqb99asnair0043hhc8r158d6krv5nzvymd0xwycr5y72yrp0hv"))))
420 (build-system ocaml-build-system)
421 (arguments
422 `(#:tests? #f; No tests
423 #:make-flags (list (string-append "LIBDIR=" (assoc-ref %outputs "out")
424 "/lib/ocaml/site-lib"))
425 #:phases
426 (modify-phases %standard-phases
427 (delete 'configure))))
428 (home-page "https://opam.ocaml.org")
429 (synopsis "Parser and printer for the opam file syntax")
430 (description "This package contains a parser and a pretty-printer for
431 the opam file fomat.")
432 ;; With static-linking exception
433 (license license:lgpl2.1+)))
434
435 (define-public opam
436 (package
437 (name "opam")
438 (version "2.0.6")
439 (source (origin
440 (method git-fetch)
441 (uri (git-reference
442 (url "https://github.com/ocaml/opam")
443 (commit version)))
444 (file-name (git-file-name name version))
445 (sha256
446 (base32
447 "1vyga2jllsfsikppxyzljm4isfnnnl8k0rb44h8xaddjzdg1d4m8"))))
448 (build-system ocaml-build-system)
449 (arguments
450 `(#:configure-flags
451 (list (string-append "SHELL="
452 (assoc-ref %build-inputs "bash")
453 "/bin/sh"))
454
455 ;; For some reason, 'ocp-build' needs $TERM to be set.
456 #:make-flags
457 (list "TERM=screen"
458 (string-append "SHELL="
459 (assoc-ref %build-inputs "bash")
460 "/bin/sh"))
461
462 #:test-target "tests"
463
464 ;; FIXME: There's an obscure test failure:
465 ;; …/_obuild/opam/opam.asm install P1' failed.
466 #:tests? #f
467
468 #:phases (modify-phases %standard-phases
469 (add-before 'build 'pre-build
470 (lambda* (#:key inputs make-flags #:allow-other-keys)
471 (let ((bash (assoc-ref inputs "bash"))
472 (bwrap (string-append (assoc-ref inputs "bubblewrap")
473 "/bin/bwrap")))
474 (substitute* "src/core/opamSystem.ml"
475 (("\"/bin/sh\"")
476 (string-append "\"" bash "/bin/sh\""))
477 (("getconf")
478 (which "getconf")))
479 ;; Use bwrap from the store directly.
480 (substitute* "src/state/shellscripts/bwrap.sh"
481 (("-v bwrap") (string-append "-v " bwrap))
482 (("exec bwrap") (string-append "exec " bwrap))
483 ;; Mount /gnu and /run/current-system in the
484 ;; isolated environment when building with opam.
485 ;; This is necessary for packages to find external
486 ;; dependencies, such as a C compiler, make, etc...
487 (("^add_sys_mounts /usr")
488 "add_sys_mounts /gnu /run/current-system /usr"))
489 (substitute* "src/client/opamInitDefaults.ml"
490 (("\"bwrap\"") (string-append "\"" bwrap "\"")))
491 ;; Generating the documentation needs write access
492 (for-each
493 (lambda (f) (chmod f #o644))
494 (find-files "doc" "."))
495 #t)))
496 (add-before 'check 'pre-check
497 (lambda _
498 (setenv "HOME" (getcwd))
499 (invoke "git" "config" "--global" "user.email" "guix@gnu.org")
500 (invoke "git" "config" "--global" "user.name" "Guix")
501 #t)))))
502 (native-inputs
503 `(("dune" ,dune)
504 ("git" ,git) ;for the tests
505 ("ocaml-cppo" ,ocaml-cppo)
506 ("python" ,python))) ;for the tests
507 (inputs
508 `(("ocaml" ,ocaml)
509 ("ncurses" ,ncurses)
510 ("curl" ,curl)
511 ("bubblewrap" ,bubblewrap)))
512 (propagated-inputs
513 `(("ocaml-cmdliner" ,ocaml-cmdliner)
514 ("ocaml-dose3" ,ocaml-dose3)
515 ("ocaml-mccs" ,ocaml-mccs)
516 ("ocaml-opam-file-format" ,ocaml-opam-file-format)
517 ("ocaml-re" ,ocaml-re)))
518 (home-page "http://opam.ocamlpro.com/")
519 (synopsis "Package manager for OCaml")
520 (description
521 "OPAM is a tool to manage OCaml packages. It supports multiple
522 simultaneous compiler installations, flexible package constraints, and a
523 Git-friendly development workflow.")
524
525 ;; The 'LICENSE' file waives some requirements compared to LGPLv3.
526 (license license:lgpl3)))
527
528 (define-public camlp5
529 (package
530 (name "camlp5")
531 (version "7.11")
532 (source
533 (origin
534 (method git-fetch)
535 (uri (git-reference
536 (url "https://github.com/camlp5/camlp5.git")
537 (commit (string-append "rel" (string-delete #\. version)))))
538 (file-name (git-file-name name version))
539 (sha256
540 (base32 "1s1f9i0r0czxlbnsaz4kvs2ahknmqxcm5ypl75g7scjcbl0an2x4"))))
541 (build-system gnu-build-system)
542 (inputs
543 `(("ocaml" ,ocaml)))
544 (arguments
545 `(#:tests? #f ; XXX TODO figure out how to run the tests
546 #:phases
547 (modify-phases %standard-phases
548 (replace 'configure
549 (lambda* (#:key outputs #:allow-other-keys)
550 (let* ((out (assoc-ref outputs "out"))
551 (mandir (string-append out "/share/man")))
552 ;; Custom configure script doesn't recognize
553 ;; --prefix=<PREFIX> syntax (with equals sign).
554 (invoke "./configure"
555 "--prefix" out
556 "--mandir" mandir))))
557 (add-before 'build 'fix-/bin-references
558 (lambda _
559 (substitute* "config/Makefile"
560 (("/bin/rm") "rm"))
561 #t))
562 (replace 'build
563 (lambda _
564 (invoke "make" "-j" (number->string
565 (parallel-job-count))
566 "world.opt")))
567 ;; Required for findlib to find camlp5's libraries
568 (add-after 'install 'install-meta
569 (lambda* (#:key outputs #:allow-other-keys)
570 (install-file "etc/META" (string-append (assoc-ref outputs "out")
571 "/lib/ocaml/camlp5/"))
572 #t)))))
573 (home-page "https://camlp5.github.io/")
574 (synopsis "Pre-processor Pretty Printer for OCaml")
575 (description
576 "Camlp5 is a Pre-Processor-Pretty-Printer for Objective Caml. It offers
577 tools for syntax (Stream Parsers and Grammars) and the ability to modify the
578 concrete syntax of the language (Quotations, Syntax Extensions).")
579 ;; Most files are distributed under bsd-3, but ocaml_stuff/* is under qpl.
580 (license (list license:bsd-3 license:qpl))))
581
582 (define-public hevea
583 (package
584 (name "hevea")
585 (version "2.33")
586 (source (origin
587 (method url-fetch)
588 (uri (string-append "http://hevea.inria.fr/old/"
589 "hevea-" version ".tar.gz"))
590 (sha256
591 (base32
592 "0115bn6n6hhb08rmj0m508wjcsn1mggiagqly6s941pq811wxymb"))))
593 (build-system gnu-build-system)
594 (inputs
595 `(("ocaml" ,ocaml)))
596 (native-inputs
597 `(("ocamlbuild" ,ocamlbuild)))
598 (arguments
599 `(#:tests? #f ; no test suite
600 #:make-flags (list (string-append "PREFIX=" %output))
601 #:phases (modify-phases %standard-phases
602 (delete 'configure)
603 (add-before 'build 'patch-/bin/sh
604 (lambda _
605 (substitute* "_tags"
606 (("/bin/sh") (which "sh")))
607 #t)))))
608 (home-page "http://hevea.inria.fr/")
609 (synopsis "LaTeX to HTML translator")
610 (description
611 "HeVeA is a LaTeX to HTML translator that generates modern HTML 5. It is
612 written in Objective Caml.")
613 (license license:qpl)))
614
615 (define-public ocaml-num
616 (package
617 (name "ocaml-num")
618 (version "1.1")
619 (source
620 (origin
621 (method git-fetch)
622 (uri (git-reference
623 (url "https://github.com/ocaml/num.git")
624 (commit (string-append "v" version))))
625 (file-name (git-file-name name version))
626 (sha256
627 (base32 "0a4mhxgs5hi81d227aygjx35696314swas0vzy3ig809jb7zq4h0"))))
628 (build-system ocaml-build-system)
629 (arguments
630 `(#:phases
631 (modify-phases %standard-phases
632 (delete 'configure)
633 (add-before 'build 'fix-makefile
634 (lambda* (#:key outputs #:allow-other-keys)
635 ;; This package supposes we install to the same directory as
636 ;; the ocaml package.
637 (substitute* "src/META"
638 (("\"\\^\"") (string-append "\"" (assoc-ref outputs "out")
639 "/lib/ocaml/site-lib\"")))
640 (substitute* "src/Makefile"
641 (("\\) \\$\\(STDLIBDIR\\)")
642 (string-append ") " (assoc-ref outputs "out")
643 "/lib/ocaml/site-lib")))
644 #t))
645 (add-after 'install 'fix-stubslib
646 (lambda* (#:key outputs #:allow-other-keys)
647 (format #t "~a~%" (find-files "." ".*.so"))
648 (let ((stubdir (string-append (assoc-ref outputs "out")
649 "/lib/ocaml/site-lib/stublibs")))
650 (delete-file stubdir)
651 (mkdir-p stubdir)
652 (install-file "src/dllnums.so" stubdir))
653 #t)))))
654 (home-page "https://github.com/ocaml/num")
655 (synopsis "Arbitrary-precision integer and rational arithmetic")
656 (description "OCaml-Num contains the legacy Num library for
657 arbitrary-precision integer and rational arithmetic that used to be part of
658 the OCaml core distribution.")
659 (license license:lgpl2.1+))); with linking exception
660
661 (define-public emacs-tuareg
662 (package
663 (name "emacs-tuareg")
664 (version "2.2.0")
665 (source
666 (origin
667 (method git-fetch)
668 (uri (git-reference
669 (url "https://github.com/ocaml/tuareg.git")
670 (commit version)))
671 (file-name (git-file-name name version))
672 (sha256
673 (base32 "06zxnn85fk5087iq0zxc5l5n9fz8r0367wylmynbfhc9711vccy6"))))
674 (build-system gnu-build-system)
675 (native-inputs `(("emacs" ,emacs-minimal)
676 ("opam" ,opam)))
677 (arguments
678 `(#:phases
679 (modify-phases %standard-phases
680 (add-after 'unpack 'make-git-checkout-writable
681 (lambda _
682 (for-each make-file-writable (find-files "."))
683 #t))
684 (delete 'configure)
685 (add-before 'install 'fix-install-path
686 (lambda* (#:key outputs #:allow-other-keys)
687 (substitute* "Makefile"
688 (("/emacs/site-lisp")
689 (string-append (assoc-ref %outputs "out")
690 "/share/emacs/site-lisp/")))
691 #t))
692 (add-after 'install 'post-install
693 (lambda* (#:key outputs #:allow-other-keys)
694 (symlink "tuareg.el"
695 (string-append (assoc-ref outputs "out")
696 "/share/emacs/site-lisp/"
697 "tuareg-autoloads.el"))
698 #t)))))
699 (home-page "https://github.com/ocaml/tuareg")
700 (synopsis "OCaml programming mode, REPL, debugger for Emacs")
701 (description "Tuareg helps editing OCaml code, to highlight important
702 parts of the code, to run an OCaml REPL, and to run the OCaml debugger within
703 Emacs.")
704 (license license:gpl2+)))
705
706 (define-public ocaml-menhir
707 (package
708 (name "ocaml-menhir")
709 ;; More recent versions can be built after we have dune >= 2.0
710 (version "20190626")
711 (source
712 (origin
713 (method git-fetch)
714 (uri (git-reference
715 (url "https://gitlab.inria.fr/fpottier/menhir.git")
716 (commit version)))
717 (file-name (git-file-name name version))
718 (sha256
719 (base32 "0v8av4pw6rykzb7wx54xhbsx0jhh8xyb4x0k4yrxi0w5ylkck6mb"))))
720 (build-system ocaml-build-system)
721 (inputs
722 `(("ocaml" ,ocaml)))
723 (native-inputs
724 `(("ocamlbuild" ,ocamlbuild)))
725 (arguments
726 `(#:make-flags `("USE_OCAMLFIND=true"
727 ,(string-append "PREFIX=" (assoc-ref %outputs "out")))
728 #:tests? #f ; No check target
729 #:phases
730 (modify-phases %standard-phases
731 (delete 'configure))))
732 (home-page "http://gallium.inria.fr/~fpottier/menhir/")
733 (synopsis "Parser generator")
734 (description "Menhir is a parser generator. It turns high-level grammar
735 specifications, decorated with semantic actions expressed in the OCaml
736 programming language into parsers, again expressed in OCaml. It is based on
737 Knuth’s LR(1) parser construction technique.")
738 ;; The file src/standard.mly and all files listed in src/mnehirLib.mlpack
739 ;; that have an *.ml or *.mli extension are GPL licensed. All other files
740 ;; are QPL licensed.
741 (license (list license:gpl2+ license:qpl))))
742
743 (define-public ocaml-bigarray-compat
744 (package
745 (name "ocaml-bigarray-compat")
746 (version "1.0.0")
747 (source (origin
748 (method git-fetch)
749 (uri (git-reference
750 (url "https://github.com/mirage/bigarray-compat")
751 (commit (string-append "v" version))))
752 (file-name (git-file-name name version))
753 (sha256
754 (base32
755 "06j1dwlpisxshdd0nab4n4x266gg1s1n8na16lpgw3fvcznwnimz"))))
756 (build-system dune-build-system)
757 (arguments
758 `(#:tests? #f)); no tests
759 (home-page "https://github.com/mirage/bigarray-compat")
760 (synopsis "OCaml compatibility library")
761 (description "This package contains a compatibility library for
762 @code{Stdlib.Bigarray} in OCaml.")
763 (license license:isc)))
764
765 (define-public lablgtk
766 (package
767 (name "lablgtk")
768 (version "2.18.10")
769 (source (origin
770 (method git-fetch)
771 (uri (git-reference
772 (url "https://github.com/garrigue/lablgtk")
773 (commit version)))
774 (file-name (git-file-name name version))
775 (sha256
776 (base32
777 "0w8cdfcv2wc19sd3qzj3qq77qc6rbnbynsz02gzbl15kgrvgrfxi"))))
778 (build-system gnu-build-system)
779 (native-inputs
780 `(("ocaml" ,ocaml)
781 ("findlib" ,ocaml-findlib)
782 ("pkg-config" ,pkg-config)))
783 ;; FIXME: Add inputs gtkgl-2.0, libpanelapplet-2.0, gtkspell-2.0,
784 ;; and gtk+-quartz-2.0 once available.
785 (inputs
786 `(("gtk+" ,gtk+-2)
787 ("gtksourceview" ,gtksourceview-2)
788 ("libgnomecanvas" ,libgnomecanvas)
789 ("libgnomeui" ,libgnomeui)
790 ("libglade" ,libglade)
791 ("librsvg" ,librsvg)))
792 (arguments
793 `(#:tests? #f ; no check target
794
795 ;; opt: also install cmxa files
796 #:make-flags (list "all" "opt"
797 (string-append "FINDLIBDIR="
798 (assoc-ref %outputs "out")
799 "/lib/ocaml"))
800 ;; Occasionally we would get "Error: Unbound module GtkThread" when
801 ;; compiling 'gtkThInit.ml', with 'make -j'. So build sequentially.
802 #:parallel-build? #f
803
804 #:phases
805 (modify-phases %standard-phases
806 (add-before 'install 'prepare-install
807 (lambda* (#:key inputs outputs #:allow-other-keys)
808 (let ((out (assoc-ref outputs "out"))
809 (ocaml (assoc-ref inputs "ocaml")))
810 ;; Install into the output and not the ocaml directory.
811 (mkdir-p (string-append out "/lib/ocaml"))
812 (substitute* "config.make"
813 ((ocaml) out))
814 #t))))))
815 (properties `((ocaml4.07-variant . ,(delay ocaml4.07-lablgtk))))
816 (home-page "http://lablgtk.forge.ocamlcore.org/")
817 (synopsis "GTK+ bindings for OCaml")
818 (description
819 "LablGtk is an OCaml interface to GTK+ 1.2 and 2.x. It provides
820 a strongly-typed object-oriented interface that is compatible with the
821 dynamic typing of GTK+. Most widgets and methods are available. LablGtk
822 also provides bindings to
823 gdk-pixbuf, the GLArea widget (in combination with LablGL), gnomecanvas,
824 gnomeui, gtksourceview, gtkspell,
825 libglade (and it an generate OCaml code from .glade files),
826 libpanel, librsvg and quartz.")
827 (license license:lgpl2.1)))
828
829 (define-public ocaml4.07-lablgtk
830 (package
831 (inherit lablgtk)
832 (name "ocaml4.07-lablgtk")
833 (native-inputs
834 `(("ocaml" ,ocaml-4.07)
835 ("findlib" ,ocaml4.07-findlib)
836 ("pkg-config" ,pkg-config)))
837 (properties '())))
838
839 (define-public unison
840 (package
841 (name "unison")
842 (version "2.51.2")
843 (source (origin
844 (method git-fetch)
845 (uri (git-reference
846 (url "https://github.com/bcpierce00/unison.git")
847 (commit (string-append "v" version))))
848 (file-name (git-file-name name version))
849 (sha256
850 (base32
851 "1bykiyc0dc5pkw8x370qkg2kygq9pq7yqzsgczd3y13b6ivm4sdq"))))
852 (build-system gnu-build-system)
853 (outputs '("out"
854 "doc")) ; 1.9 MiB of documentation
855 (native-inputs
856 `(("ocaml" ,ocaml-4.07)
857 ;; For documentation
858 ("ghostscript" ,ghostscript)
859 ("texlive" ,texlive-tiny)
860 ("hevea" ,hevea)
861 ("lynx" ,lynx)
862 ("which" ,which)))
863 (arguments
864 `(#:parallel-build? #f
865 #:parallel-tests? #f
866 #:test-target "selftest"
867 #:tests? #f ; Tests require writing to $HOME.
868 ; If some $HOME is provided, they fail with the message
869 ; "Fatal error: Skipping some tests -- remove me!"
870 #:phases
871 (modify-phases %standard-phases
872 (delete 'configure)
873 (add-before 'install 'prepare-install
874 (lambda* (#:key outputs #:allow-other-keys)
875 (let* ((out (assoc-ref outputs "out"))
876 (bin (string-append out "/bin")))
877 (mkdir-p bin)
878 (setenv "HOME" out) ; forces correct INSTALLDIR in Makefile
879 #t)))
880 (add-after 'install 'install-fsmonitor
881 (lambda* (#:key outputs #:allow-other-keys)
882 (let* ((out (assoc-ref outputs "out"))
883 (bin (string-append out "/bin")))
884 ;; 'unison-fsmonitor' is used in "unison -repeat watch" mode.
885 (install-file "src/unison-fsmonitor" bin)
886 #t)))
887 (add-after 'install 'install-doc
888 (lambda* (#:key outputs #:allow-other-keys)
889 (let ((doc (string-append (assoc-ref outputs "doc")
890 "/share/doc/unison")))
891 (mkdir-p doc)
892 ;; Remove an '\n' that prevents the doc to be generated
893 ;; correctly with newer hevea.
894 (substitute* "doc/local.tex"
895 (("----SNIP----.*") "----SNIP----"))
896 ;; This file needs write-permissions, because it's
897 ;; overwritten by 'docs' during documentation generation.
898 (chmod "src/strings.ml" #o600)
899 (invoke "make" "docs"
900 "TEXDIRECTIVES=\\\\draftfalse")
901 (for-each (lambda (f)
902 (install-file f doc))
903 (map (lambda (ext)
904 (string-append "doc/unison-manual." ext))
905 ;; Install only html documentation,
906 ;; since the build is currently
907 ;; non-reproducible with the ps, pdf,
908 ;; and dvi docs.
909 '(;; "ps" "pdf" "dvi"
910 "html")))
911 #t))))))
912 (home-page "https://www.cis.upenn.edu/~bcpierce/unison/")
913 (synopsis "File synchronizer")
914 (description
915 "Unison is a file-synchronization tool. It allows two replicas of
916 a collection of files and directories to be stored on different hosts
917 (or different disks on the same host), modified separately, and then
918 brought up to date by propagating the changes in each replica
919 to the other.")
920 (license license:gpl3+)))
921
922 (define-public ocaml-findlib
923 (package
924 (name "ocaml-findlib")
925 (version "1.8.1")
926 (source (origin
927 (method url-fetch)
928 (uri (string-append "http://download.camlcity.org/download/"
929 "findlib" "-" version ".tar.gz"))
930 (sha256
931 (base32
932 "00s3sfb02pnjmkax25pcnljcnhcggiliccfz69a72ic7gsjwz1cf"))))
933 (build-system gnu-build-system)
934 (native-inputs
935 `(("m4" ,m4)
936 ("ocaml" ,ocaml)))
937 (arguments
938 `(#:tests? #f ; no test suite
939 #:parallel-build? #f
940 #:make-flags (list "all" "opt")
941 #:phases (modify-phases %standard-phases
942 (replace
943 'configure
944 (lambda* (#:key inputs outputs #:allow-other-keys)
945 (let ((out (assoc-ref outputs "out")))
946 (invoke
947 "./configure"
948 "-bindir" (string-append out "/bin")
949 "-config" (string-append out "/etc/ocamfind.conf")
950 "-mandir" (string-append out "/share/man")
951 "-sitelib" (string-append out "/lib/ocaml/site-lib")
952 "-with-toolbox"))))
953 (replace 'install
954 (lambda* (#:key outputs #:allow-other-keys)
955 (let ((out (assoc-ref outputs "out")))
956 (invoke "make" "install"
957 (string-append "OCAML_CORE_STDLIB="
958 out "/lib/ocaml/site-lib"))))))))
959 (home-page "http://projects.camlcity.org/projects/findlib.html")
960 (synopsis "Management tool for OCaml libraries")
961 (description
962 "The \"findlib\" library provides a scheme to manage reusable software
963 components (packages), and includes tools that support this scheme. Packages
964 are collections of OCaml modules for which metainformation can be stored. The
965 packages are kept in the file system hierarchy, but with strict directory
966 structure. The library contains functions to look the directory up that
967 stores a package, to query metainformation about a package, and to retrieve
968 dependency information about multiple packages. There is also a tool that
969 allows the user to enter queries on the command-line. In order to simplify
970 compilation and linkage, there are new frontends of the various OCaml
971 compilers that can directly deal with packages.")
972 (license license:x11)))
973
974 (define-public ocaml4.07-findlib
975 (package
976 (inherit ocaml-findlib)
977 (name "ocaml4.07-findlib")
978 (native-inputs
979 `(("m4" ,m4)
980 ("ocaml" ,ocaml-4.07)))))
981
982 ;; note that some tests may hang for no obvious reason.
983 (define-public ocaml-ounit
984 (package
985 (name "ocaml-ounit")
986 (version "2.0.8")
987 (source (origin
988 (method url-fetch)
989 (uri (ocaml-forge-uri "ounit" version 1749))
990 (sha256
991 (base32
992 "03ifp9hjcxg4m5j190iy373jcn4039d3vy10kmd8p4lfciwzwc1f"))))
993 (build-system ocaml-build-system)
994 (native-inputs
995 `(("libxml2" ,libxml2) ; for xmllint
996 ("ocamlbuild" ,ocamlbuild)))
997 (arguments
998 `(#:phases
999 (modify-phases %standard-phases
1000 (delete 'check)))) ; tests are run during build
1001 (home-page "http://ounit.forge.ocamlcore.org")
1002 (synopsis "Unit testing framework for OCaml")
1003 (description "Unit testing framework for OCaml. It is similar to JUnit and
1004 other XUnit testing frameworks.")
1005 (license license:expat)))
1006
1007 (define-public camlzip
1008 (package
1009 (name "camlzip")
1010 (version "1.0.6")
1011 (source (origin
1012 (method url-fetch)
1013 (uri (ocaml-forge-uri name version 1616))
1014 (sha256
1015 (base32
1016 "0m6gyjw46w3qnhxfsyqyag42znl5lwargks7w7rfchr9jzwpff68"))))
1017 (build-system ocaml-build-system)
1018 (inputs
1019 `(("zlib" ,zlib)))
1020 (arguments
1021 `(#:phases
1022 (modify-phases %standard-phases
1023 (delete 'configure)
1024 (add-after 'install 'install-camlzip
1025 (lambda* (#:key outputs #:allow-other-keys)
1026 (let* ((out (assoc-ref outputs "out"))
1027 (dir (string-append out "/lib/ocaml/site-lib/camlzip")))
1028 (mkdir-p dir)
1029 (call-with-output-file (string-append dir "/META")
1030 (lambda (port)
1031 (format port "version=\"1.06\"\n")
1032 (format port "requires=\"unix\"\n")
1033 (format port "archive(byte)=\"zip.cma\"\n")
1034 (format port "archive(native)=\"zip.cmxa\"\n")
1035 (format port "archive(native,plugin)=\"zip.cmxs\"\n")
1036 (format port "directory=\"../zip\"\n")))))))
1037 #:install-target "install-findlib"
1038 #:make-flags
1039 (list "all" "allopt"
1040 (string-append "INSTALLDIR=" (assoc-ref %outputs "out")
1041 "/lib/ocaml"))))
1042 (home-page "https://github.com/xavierleroy/camlzip")
1043 (synopsis "Provides easy access to compressed files")
1044 (description "Provides easy access to compressed files in ZIP, GZIP and
1045 JAR format. It provides functions for reading from and writing to compressed
1046 files in these formats.")
1047 (license license:lgpl2.1+)))
1048
1049 (define-public ocamlmod
1050 (package
1051 (name "ocamlmod")
1052 (version "0.0.9")
1053 (source (origin
1054 (method url-fetch)
1055 (uri (ocaml-forge-uri name version 1702))
1056 (sha256
1057 (base32
1058 "0cgp9qqrq7ayyhddrmqmq1affvfqcn722qiakjq4dkywvp67h4aa"))))
1059 (build-system ocaml-build-system)
1060 (native-inputs
1061 `(("ounit" ,ocaml-ounit)
1062 ("ocamlbuild" ,ocamlbuild)))
1063 (arguments
1064 `(#:phases
1065 (modify-phases %standard-phases
1066 ;; Tests are done during build.
1067 (delete 'check))))
1068 (home-page "https://forge.ocamlcore.org/projects/ocamlmod")
1069 (synopsis "Generate modules from OCaml source files")
1070 (description "Generate modules from OCaml source files.")
1071 (license license:lgpl2.1+))) ; with an exception
1072
1073 (define-public ocaml-zarith
1074 (package
1075 (name "ocaml-zarith")
1076 (version "1.9.1")
1077 (source (origin
1078 (method git-fetch)
1079 (uri (git-reference
1080 (url "https://github.com/ocaml/Zarith")
1081 (commit (string-append "release-" version))))
1082 (file-name (git-file-name name version))
1083 (sha256
1084 (base32
1085 "0hv5ywz1q2cgn8apfz490clwk5hcynr937g2v8i13x2ax4bnv0lz"))))
1086 (build-system ocaml-build-system)
1087 (native-inputs
1088 `(("perl" ,perl)))
1089 (inputs
1090 `(("gmp" ,gmp)))
1091 (arguments
1092 `(#:tests? #f ; no test target
1093 #:phases
1094 (modify-phases %standard-phases
1095 (replace 'configure
1096 (lambda _ (invoke "./configure"))))))
1097 (home-page "https://forge.ocamlcore.org/projects/zarith/")
1098 (synopsis "Implements arbitrary-precision integers")
1099 (description "Implements arithmetic and logical operations over
1100 arbitrary-precision integers. It uses GMP to efficiently implement arithmetic
1101 over big integers. Small integers are represented as Caml unboxed integers,
1102 for speed and space economy.")
1103 (license license:lgpl2.1+))) ; with an exception
1104
1105 (define-public ocaml-frontc
1106 (package
1107 (name "ocaml-frontc")
1108 (version "3.4.2")
1109 (source (origin
1110 (method git-fetch)
1111 (uri (git-reference
1112 (url "https://github.com/BinaryAnalysisPlatform/FrontC")
1113 (commit (string-append
1114 "V_" (string-join (string-split version #\.) "_")))))
1115 (file-name (git-file-name name version))
1116 (sha256
1117 (base32
1118 "0k7jk9hkglnkk27s62xl493jyqc017gyvwqb1lyc0ywbb001s102"))))
1119 (build-system ocaml-build-system)
1120 (arguments
1121 `(#:phases
1122 (modify-phases %standard-phases
1123 (delete 'configure)
1124 (add-after 'install 'install-meta
1125 (lambda* (#:key outputs #:allow-other-keys)
1126 (let ((out (assoc-ref outputs "out")))
1127 (with-output-to-file
1128 (string-append out "/lib/ocaml/frontc/META")
1129 (lambda _
1130 (display
1131 (string-append
1132 "description = \"Parser for the C language\"
1133 version = \"" ,version "\"
1134 requires = \"unix\"
1135 archive(byte) = \"frontc.cma\"
1136 archive(native) = \"frontc.cmxa\""))))
1137 (symlink (string-append out "/lib/ocaml/frontc")
1138 (string-append out "/lib/ocaml/FrontC"))))))
1139 #:make-flags (list (string-append "PREFIX="
1140 (assoc-ref %outputs "out"))
1141 "OCAML_SITE=$(LIB_DIR)/ocaml/")))
1142 (properties `((upstream-name . "FrontC")))
1143 (home-page "https://www.irit.fr/FrontC")
1144 (synopsis "C parser and lexer library")
1145 (description "FrontC is an OCAML library providing a C parser and lexer.
1146 The result is a syntactic tree easy to process with usual OCAML tree management.
1147 It provides support for ANSI C syntax, old-C K&R style syntax and the standard
1148 GNU CC attributes. It provides also a C pretty printer as an example of use.")
1149 (license license:lgpl2.1)))
1150
1151 (define-public ocaml-qcheck
1152 (package
1153 (name "ocaml-qcheck")
1154 (version "0.12")
1155 (source
1156 (origin
1157 (method git-fetch)
1158 (uri (git-reference
1159 (url "https://github.com/c-cube/qcheck.git")
1160 (commit version)))
1161 (file-name (git-file-name name version))
1162 (sha256
1163 (base32 "1llnfynhlndwyjig7wrayjnds2b3mggp5lw20dwxhn2i2lkkb22m"))))
1164 (build-system dune-build-system)
1165 (arguments
1166 `(#:test-target "."
1167 #:phases
1168 (modify-phases %standard-phases
1169 (add-before 'build 'fix-deprecated
1170 (lambda _
1171 (substitute* "src/core/QCheck.ml"
1172 (("Pervasives.compare") "compare"))
1173 #t)))))
1174 (propagated-inputs
1175 `(("ocaml-alcotest" ,ocaml-alcotest)
1176 ("ocaml-ounit" ,ocaml-ounit)))
1177 (native-inputs
1178 `(("ocamlbuild" ,ocamlbuild)))
1179 (home-page "https://github.com/c-cube/qcheck")
1180 (synopsis "QuickCheck inspired property-based testing for OCaml")
1181 (description "QuickCheck inspired property-based testing for OCaml. This
1182 module checks invariants (properties of some types) over randomly
1183 generated instances of the type. It provides combinators for generating
1184 instances and printing them.")
1185 (license license:lgpl3+)))
1186
1187 (define-public ocaml-qtest
1188 (package
1189 (name "ocaml-qtest")
1190 (version "2.10.1")
1191 (source (origin
1192 (method git-fetch)
1193 (uri (git-reference
1194 (url "https://github.com/vincent-hugot/qtest/")
1195 (commit (string-append "v" version))))
1196 (file-name (git-file-name name version))
1197 (sha256
1198 (base32
1199 "0gddzan4vzs0vklsxhirdjrvx3rp7hhh2yr20vi13nq8rwkn9w29"))))
1200 (build-system dune-build-system)
1201 (arguments
1202 `(#:jbuild? #t
1203 #:test-target "tests"))
1204 (propagated-inputs
1205 `(("ounit" ,ocaml-ounit)
1206 ("qcheck" ,ocaml-qcheck)))
1207 (home-page "https://github.com/vincent-hugot/qtest")
1208 (synopsis "Inline (Unit) Tests for OCaml")
1209 (description "Qtest extracts inline unit tests written using a special
1210 syntax in comments. Those tests are then run using the oUnit framework and the
1211 qcheck library. The possibilities range from trivial tests -- extremely simple
1212 to use -- to sophisticated random generation of test cases.")
1213 (license license:lgpl3+)))
1214
1215 (define-public ocaml-stringext
1216 (package
1217 (name "ocaml-stringext")
1218 (version "1.6.0")
1219 (source (origin
1220 (method git-fetch)
1221 (uri (git-reference
1222 (url "https://github.com/rgrinberg/stringext")
1223 (commit version)))
1224 (file-name (git-file-name name version))
1225 (sha256
1226 (base32
1227 "1m09cmn3vrk3gdm60fb730qsygcfyxsyv7gl9xfzck08q1x2x9qx"))))
1228 (build-system dune-build-system)
1229 (arguments
1230 `(#:test-target "."))
1231 (native-inputs
1232 `(("ocamlbuild" ,ocamlbuild)
1233 ("qtest" ,ocaml-qtest)))
1234 (home-page "https://github.com/rgrinberg/stringext")
1235 (synopsis "Extra string functions for OCaml")
1236 (description "Provides a single module named Stringext that provides a grab
1237 bag of often used but missing string functions from the stdlib. E.g, split,
1238 full_split, cut, rcut, etc..")
1239 ;; the only mention of a license in this project is in its `opam' file
1240 ;; where it says `mit'.
1241 (license license:expat)))
1242
1243 (define-public dune
1244 (package
1245 (name "dune")
1246 (version "1.11.3")
1247 (source (origin
1248 (method git-fetch)
1249 (uri (git-reference
1250 (url "https://github.com/ocaml/dune")
1251 (commit version)))
1252 (file-name (git-file-name name version))
1253 (sha256
1254 (base32
1255 "0l4x0x2fz135pljv88zj8y6w1ninsqw0gn1mdxzprd6wbxbyn8wr"))))
1256 (build-system ocaml-build-system)
1257 (arguments
1258 `(#:tests? #f; require odoc
1259 #:make-flags (list (string-append "PREFIX=" (assoc-ref %outputs "out"))
1260 (string-append "LIBDIR=" (assoc-ref %outputs "out")
1261 "/lib/ocaml/site-lib"))
1262 #:phases
1263 (modify-phases %standard-phases
1264 (replace 'configure
1265 (lambda* (#:key outputs #:allow-other-keys)
1266 (invoke "./configure")
1267 #t)))))
1268 (home-page "https://github.com/ocaml/dune")
1269 (synopsis "OCaml build system")
1270 (description "Dune is a build system that was designed to simplify the
1271 release of Jane Street packages. It reads metadata from @file{dune} files
1272 following a very simple s-expression syntax.")
1273 (license license:expat)))
1274
1275 (define-public ocaml4.07-dune
1276 (package-with-ocaml4.07 dune))
1277
1278 (define-public ocaml-migrate-parsetree
1279 (package
1280 (name "ocaml-migrate-parsetree")
1281 (version "1.4.0")
1282 (home-page "https://github.com/ocaml-ppx/ocaml-migrate-parsetree")
1283 (source
1284 (origin
1285 (method git-fetch)
1286 (uri (git-reference
1287 (url (string-append home-page ".git"))
1288 (commit (string-append "v" version))))
1289 (file-name (git-file-name name version))
1290 (sha256
1291 (base32
1292 "0sv1p4615l8gpbah4ya2c40yr6fbvahvv3ks7zhrsgcwcq2ljyr2"))))
1293 (build-system dune-build-system)
1294 (arguments
1295 `(#:tests? #f))
1296 (propagated-inputs
1297 `(("ocaml-ppx-derivers" ,ocaml-ppx-derivers)
1298 ("ocamlbuild" ,ocamlbuild)
1299 ("ocaml-result" ,ocaml-result)))
1300 (properties `((upstream-name . "ocaml-migrate-parsetree")))
1301 (synopsis "OCaml parsetree converter")
1302 (description "This library converts between parsetrees of different OCaml
1303 versions. For each version, there is a snapshot of the parsetree and conversion
1304 functions to the next and/or previous version.")
1305 (license license:lgpl2.1+)))
1306
1307 (define-public ocaml-ppx-tools-versioned
1308 (package
1309 (name "ocaml-ppx-tools-versioned")
1310 (version "5.2.3")
1311 (source (origin
1312 (method git-fetch)
1313 (uri (git-reference
1314 (url "https://github.com/ocaml-ppx/ppx_tools_versioned")
1315 (commit version)))
1316 (file-name (git-file-name name version))
1317 (sha256
1318 (base32
1319 "1hcmpnw26zf70a71r3d2c2c0mn8q084gdn1r36ynng6fv9hq6j0y"))))
1320 (build-system dune-build-system)
1321 (arguments
1322 `(#:test-target "."))
1323 (propagated-inputs
1324 `(("ocaml-migrate-parsetree" ,ocaml-migrate-parsetree)))
1325 (properties `((upstream-name . "ppx_tools_versioned")))
1326 (home-page "https://github.com/let-def/ppx_tools_versioned")
1327 (synopsis "Variant of ppx_tools")
1328 (description "This package is a variant of ppx_tools based on
1329 ocaml-migrate-parsetree")
1330 (license license:expat)))
1331
1332 (define-public ocaml-bitstring
1333 (package
1334 (name "ocaml-bitstring")
1335 (version "3.1.0")
1336 (source (origin
1337 (method url-fetch)
1338 (uri (string-append "https://bitbucket.org/thanatonauts/bitstring/"
1339 "get/v" version ".tar.gz"))
1340 (file-name (string-append name "-" version ".tar.gz"))
1341 (sha256
1342 (base32
1343 "15jjk2pq1vx311gl49s5ag6x5y0654x35w75z07g7kr2q334hqps"))))
1344 (build-system dune-build-system)
1345 (native-inputs
1346 `(("time" ,time)
1347 ("autoconf" ,autoconf)
1348 ("automake" ,automake)))
1349 (propagated-inputs
1350 `(("ocaml-ppx-tools-versioned" ,ocaml-ppx-tools-versioned)))
1351 (arguments
1352 `(#:tests? #f; Tests fail to build
1353 #:jbuild? #t))
1354 (home-page "https://github.com/xguerin/bitstring")
1355 (synopsis "Bitstrings and bitstring matching for OCaml")
1356 (description "Adds Erlang-style bitstrings and matching over bitstrings as
1357 a syntax extension and library for OCaml. You can use this module to both parse
1358 and generate binary formats, files and protocols. Bitstring handling is added
1359 as primitives to the language, making it exceptionally simple to use and very
1360 powerful.")
1361 (license license:isc)))
1362
1363 (define-public ocaml-result
1364 (package
1365 (name "ocaml-result")
1366 (version "1.4")
1367 (source (origin
1368 (method git-fetch)
1369 (uri (git-reference
1370 (url "https://github.com/janestreet/result")
1371 (commit version)))
1372 (file-name (git-file-name name version))
1373 (sha256
1374 (base32
1375 "0hir97k9i72nfkm6kncxnqpyk400wlsxysbldgcvk0fd9pjnsc3p"))))
1376 (build-system dune-build-system)
1377 (arguments
1378 `(#:test-target "."))
1379 (home-page "https://github.com/janestreet/result")
1380 (synopsis "Compatibility Result module")
1381 (description "Uses the new result type defined in OCaml >= 4.03 while
1382 staying compatible with older version of OCaml should use the Result module
1383 defined in this library.")
1384 (license license:bsd-3)))
1385
1386 (define-public ocaml-topkg
1387 (package
1388 (name "ocaml-topkg")
1389 (version "1.0.0")
1390 (source (origin
1391 (method url-fetch)
1392 (uri (string-append "http://erratique.ch/software/topkg/releases/"
1393 "topkg-" version ".tbz"))
1394 (sha256
1395 (base32
1396 "1df61vw6v5bg2mys045682ggv058yqkqb67w7r2gz85crs04d5fw"))))
1397 (build-system ocaml-build-system)
1398 (native-inputs
1399 `(("opam" ,opam)
1400 ("ocamlbuild" ,ocamlbuild)))
1401 (propagated-inputs
1402 `(("result" ,ocaml-result)))
1403 (arguments
1404 `(#:tests? #f
1405 #:build-flags '("build")
1406 #:phases
1407 (modify-phases %standard-phases
1408 (delete 'configure))))
1409 (home-page "http://erratique.ch/software/topkg")
1410 (synopsis "Transitory OCaml software packager")
1411 (description "Topkg is a packager for distributing OCaml software. It
1412 provides an API to describe the files a package installs in a given build
1413 configuration and to specify information about the package's distribution,
1414 creation and publication procedures.")
1415 (license license:isc)))
1416
1417 (define-public ocaml-rresult
1418 (package
1419 (name "ocaml-rresult")
1420 (version "0.5.0")
1421 (source (origin
1422 (method url-fetch)
1423 (uri (string-append "http://erratique.ch/software/rresult/releases/"
1424 "rresult-" version ".tbz"))
1425 (sha256
1426 (base32
1427 "1xxycxhdhaq8p9vhwi93s2mlxjwgm44fcxybx5vghzgbankz9yhm"))))
1428 (build-system ocaml-build-system)
1429 (native-inputs
1430 `(("opam" ,opam)
1431 ("ocamlbuild" ,ocamlbuild)))
1432 (propagated-inputs
1433 `(("topkg" ,ocaml-topkg)))
1434 (arguments
1435 `(#:tests? #f
1436 #:build-flags '("build")
1437 #:phases
1438 (modify-phases %standard-phases
1439 (delete 'configure))))
1440 (home-page "http://erratique.ch/software/rresult")
1441 (synopsis "Result value combinators for OCaml")
1442 (description "Handle computation results and errors in an explicit and
1443 declarative manner, without resorting to exceptions. It defines combinators
1444 to operate on the result type available from OCaml 4.03 in the standard
1445 library.")
1446 (license license:isc)))
1447
1448 (define-public ocaml4.07-sqlite3
1449 (package
1450 (name "ocaml4.07-sqlite3")
1451 (version "4.4.1")
1452 (source
1453 (origin
1454 (method git-fetch)
1455 (uri (git-reference
1456 (url "https://github.com/mmottl/sqlite3-ocaml")
1457 (commit version)))
1458 (file-name (git-file-name name version))
1459 (sha256
1460 (base32
1461 "1536agm5fgcqysszhpd3kmw7lkc5n5ni7gmlyglrbvmnmrwf3av2"))))
1462 (build-system dune-build-system)
1463 (arguments
1464 `(#:ocaml ,ocaml-4.07
1465 #:findlib ,ocaml4.07-findlib))
1466 (native-inputs
1467 `(("ocaml-base" ,ocaml4.07-base)
1468 ("ocaml-stdio" ,ocaml4.07-stdio)
1469 ("pkg-config" ,pkg-config)))
1470 (inputs
1471 `(("sqlite" ,sqlite)))
1472 (home-page "https://mmottl.github.io/sqlite3-ocaml")
1473 (synopsis "SQLite3 Bindings for OCaml")
1474 (description
1475 "SQLite3-OCaml is an OCaml library with bindings to the SQLite3 client
1476 API. Sqlite3 is a self-contained, serverless, zero-configuration,
1477 transactional SQL database engine with outstanding performance for many use
1478 cases. These bindings are written in a way that enables a friendly
1479 coexistence with the old (version 2) SQLite and its OCaml wrapper
1480 @code{ocaml-sqlite}.")
1481 (license license:expat)))
1482
1483 (define-public ocaml-csv
1484 (package
1485 (name "ocaml-csv")
1486 (version "2.3")
1487 (source
1488 (origin
1489 (method git-fetch)
1490 (uri (git-reference
1491 (url "https://github.com/Chris00/ocaml-csv")
1492 (commit version)))
1493 (file-name (git-file-name name version))
1494 (sha256
1495 (base32
1496 "19k48517s8y1zb91a1312a0n94cbh5i5dixndcrqjmf87kkz61zx"))))
1497 (build-system dune-build-system)
1498 (arguments
1499 `(#:package "csv"
1500 #:test-target "."))
1501 (home-page "https://github.com/Chris00/ocaml-csv")
1502 (synopsis "Pure OCaml functions to read and write CSV")
1503 (description
1504 "@dfn{Comma separated values} (CSV) is a simple tabular format supported
1505 by all major spreadsheets. This library implements pure OCaml functions to
1506 read and write files in this format as well as some convenience functions to
1507 manipulate such data.")
1508 ;; This is LGPLv2.1 with an exception that allows packages statically-linked
1509 ;; against the library to be released under any terms.
1510 (license license:lgpl2.1)))
1511
1512 (define-public ocaml-mtime
1513 (package
1514 (name "ocaml-mtime")
1515 (version "1.1.0")
1516 (source (origin
1517 (method url-fetch)
1518 (uri (string-append "http://erratique.ch/software/mtime/releases/"
1519 "mtime-" version ".tbz"))
1520 (sha256
1521 (base32
1522 "1qb4ljwirrc3g8brh97s76rjky2cpmy7zm87y7iqd6pxix52ydk3"))))
1523 (build-system ocaml-build-system)
1524 (native-inputs
1525 `(("ocamlbuild" ,ocamlbuild)
1526 ("opam" ,opam)))
1527 (propagated-inputs
1528 `(("topkg" ,ocaml-topkg)))
1529 (arguments
1530 `(#:tests? #f
1531 #:build-flags (list "build" "--with-js_of_ocaml" "false")
1532 #:phases
1533 (modify-phases %standard-phases
1534 (delete 'configure))))
1535 (home-page "http://erratique.ch/software/mtime")
1536 (synopsis "Monotonic wall-clock time for OCaml")
1537 (description "Access monotonic wall-clock time. It measures time
1538 spans without being subject to operating system calendar time adjustments.")
1539 (license license:isc)))
1540
1541 (define-public ocaml-cmdliner
1542 (package
1543 (name "ocaml-cmdliner")
1544 (version "1.0.3")
1545 (source (origin
1546 (method url-fetch)
1547 (uri (string-append "http://erratique.ch/software/cmdliner/releases/"
1548 "cmdliner-" version ".tbz"))
1549 (sha256
1550 (base32
1551 "0g3w4hvc1cx9x2yp5aqn6m2rl8lf9x1dn754hfq8m1sc1102lxna"))))
1552 (build-system ocaml-build-system)
1553 (inputs
1554 `(("ocaml-result" ,ocaml-result)))
1555 (native-inputs
1556 `(("ocamlbuild" ,ocamlbuild)))
1557 (arguments
1558 `(#:tests? #f
1559 #:make-flags (list (string-append "LIBDIR=" (assoc-ref %outputs "out")
1560 "/lib/ocaml/site-lib/cmdliner"))
1561 #:phases
1562 (modify-phases %standard-phases
1563 (delete 'configure)
1564 (add-before 'build 'fix-source-file-order
1565 (lambda _
1566 (substitute* "build.ml"
1567 (("Sys.readdir dir")
1568 "let a = Sys.readdir dir in Array.sort String.compare a; a"))
1569 #t)))))
1570 (home-page "http://erratique.ch/software/cmdliner")
1571 (synopsis "Declarative definition of command line interfaces for OCaml")
1572 (description "Cmdliner is a module for the declarative definition of command
1573 line interfaces. It provides a simple and compositional mechanism to convert
1574 command line arguments to OCaml values and pass them to your functions. The
1575 module automatically handles syntax errors, help messages and UNIX man page
1576 generation. It supports programs with single or multiple commands and respects
1577 most of the POSIX and GNU conventions.")
1578 (license license:bsd-3)))
1579
1580 (define-public ocaml-fmt
1581 (package
1582 (name "ocaml-fmt")
1583 (version "0.8.5")
1584 (source
1585 (origin
1586 (method url-fetch)
1587 (uri (string-append "http://erratique.ch/software/fmt/releases/fmt-"
1588 version ".tbz"))
1589 (sha256 (base32
1590 "1zj9azcxcn6skmb69ykgmi9z8c50yskwg03wqgh87lypgjdcz060"))))
1591 (build-system ocaml-build-system)
1592 (native-inputs
1593 `(("ocamlbuild" ,ocamlbuild)
1594 ("opam" ,opam)
1595 ("topkg" ,ocaml-topkg)))
1596 (propagated-inputs
1597 `(("result" ,ocaml-result)
1598 ("ocaml-uchar" ,ocaml-uchar)
1599 ("cmdliner" ,ocaml-cmdliner)))
1600 (arguments `(#:tests? #f
1601 #:build-flags (list "build" "--with-base-unix" "true"
1602 "--with-cmdliner" "true")
1603 #:phases
1604 (modify-phases %standard-phases
1605 (delete 'configure))))
1606 (home-page "http://erratique.ch/software/fmt")
1607 (synopsis "OCaml Format pretty-printer combinators")
1608 (description "Fmt exposes combinators to devise Format pretty-printing
1609 functions.")
1610 (license license:isc)))
1611
1612 (define-public ocaml-astring
1613 (package
1614 (name "ocaml-astring")
1615 (version "0.8.3")
1616 (source
1617 (origin
1618 (method url-fetch)
1619 (uri (string-append "http://erratique.ch/software/astring/releases/astring-"
1620 version ".tbz"))
1621 (sha256 (base32
1622 "0ixjwc3plrljvj24za3l9gy0w30lsbggp8yh02lwrzw61ls4cri0"))))
1623 (build-system ocaml-build-system)
1624 (native-inputs
1625 `(("ocamlbuild" ,ocamlbuild)
1626 ("opam" ,opam)
1627 ("topkg" ,ocaml-topkg)))
1628 (arguments
1629 `(#:tests? #f
1630 #:build-flags (list "build")
1631 #:phases
1632 (modify-phases %standard-phases
1633 (delete 'configure))))
1634 (home-page "http://erratique.ch/software/astring")
1635 (synopsis "Alternative String module for OCaml")
1636 (description "Astring exposes an alternative String module for OCaml. This
1637 module balances minimality and expressiveness for basic, index-free, string
1638 processing and provides types and functions for substrings, string sets and
1639 string maps. The String module exposed by Astring has exception safe functions,
1640 removes deprecated and rarely used functions, alters some signatures and names,
1641 adds a few missing functions and fully exploits OCaml's newfound string
1642 immutability.")
1643 (license license:isc)))
1644
1645 (define-public ocaml-alcotest
1646 (package
1647 (name "ocaml-alcotest")
1648 (version "0.8.5")
1649 (source (origin
1650 (method url-fetch)
1651 (uri (string-append "https://github.com/mirage/alcotest/releases/"
1652 "download/" version "/alcotest-" version ".tbz"))
1653 (sha256
1654 (base32
1655 "0szwjxvaahgynsx0apj81jxj3ki6yz4is9mh2wkcbx66qy7n6fvb"))))
1656 (build-system dune-build-system)
1657 (arguments
1658 `(#:package "alcotest"
1659 #:test-target "."))
1660 (native-inputs
1661 `(("ocamlbuild" ,ocamlbuild)))
1662 (propagated-inputs
1663 `(("ocaml-astring" ,ocaml-astring)
1664 ("ocaml-cmdliner" ,ocaml-cmdliner)
1665 ("ocaml-fmt" ,ocaml-fmt)
1666 ("ocaml-result" ,ocaml-result)
1667 ("ocaml-uuidm" ,ocaml-uuidm)))
1668 (home-page "https://github.com/mirage/alcotest")
1669 (synopsis "Lightweight OCaml test framework")
1670 (description "Alcotest exposes simple interface to perform unit tests. It
1671 exposes a simple TESTABLE module type, a check function to assert test
1672 predicates and a run function to perform a list of unit -> unit test callbacks.
1673 Alcotest provides a quiet and colorful output where only faulty runs are fully
1674 displayed at the end of the run (with the full logs ready to inspect), with a
1675 simple (yet expressive) query language to select the tests to run.")
1676 (license license:isc)))
1677
1678 (define-public ocaml4.07-ppx-tools
1679 (package
1680 (name "ocaml4.07-ppx-tools")
1681 (version "5.1+4.06.0")
1682 (source
1683 (origin
1684 (method git-fetch)
1685 (uri (git-reference
1686 (url "https://github.com/alainfrisch/ppx_tools.git")
1687 (commit version)))
1688 (file-name (git-file-name name version))
1689 (sha256 (base32
1690 "1ww4cspdpgjjsgiv71s0im5yjkr3544x96wsq1vpdacq7dr7zwiw"))))
1691 (build-system ocaml-build-system)
1692 (arguments
1693 `(#:phases (modify-phases %standard-phases (delete 'configure))
1694 #:tests? #f
1695 #:ocaml ,ocaml-4.07
1696 #:findlib ,ocaml4.07-findlib))
1697 (properties `((upstream-name . "ppx_tools")))
1698 (home-page "https://github.com/alainfrisch/ppx_tools")
1699 (synopsis "Tools for authors of ppx rewriters and other syntactic tools")
1700 (description "Tools for authors of ppx rewriters and other syntactic tools.")
1701 (license license:expat)))
1702
1703 (define-public ocaml-react
1704 (package
1705 (name "ocaml-react")
1706 (version "1.2.1")
1707 (source
1708 (origin
1709 (method url-fetch)
1710 (uri (string-append "http://erratique.ch/software/react/releases/react-"
1711 version ".tbz"))
1712 (sha256 (base32
1713 "1aj8w79gdd9xnrbz7s5p8glcb4pmimi8jp9f439dqnf6ih3mqb3v"))))
1714 (build-system ocaml-build-system)
1715 (native-inputs
1716 `(("ocamlbuild" ,ocamlbuild)
1717 ("opam" ,opam)
1718 ("ocaml-topkg" ,ocaml-topkg)))
1719 (arguments
1720 `(#:tests? #f
1721 #:build-flags (list "build")
1722 #:phases
1723 (modify-phases %standard-phases
1724 (delete 'configure))))
1725 (home-page "http://erratique.ch/software/react")
1726 (synopsis "Declarative events and signals for OCaml")
1727 (description "React is an OCaml module for functional reactive programming
1728 (FRP). It provides support to program with time varying values: declarative
1729 events and signals. React doesn't define any primitive event or signal, it
1730 lets the client choose the concrete timeline.")
1731 (license license:bsd-3)))
1732
1733 (define-public ocaml-ssl
1734 (package
1735 (name "ocaml-ssl")
1736 (version "0.5.9")
1737 (source
1738 (origin
1739 (method git-fetch)
1740 (uri (git-reference
1741 (url "https://github.com/savonet/ocaml-ssl.git")
1742 (commit version)))
1743 (file-name (git-file-name name version))
1744 (sha256 (base32
1745 "04h02rvzrwp886n5hsx84rnc9b150iggy38g5v1x1rwz3pkdnmf0"))))
1746 (build-system dune-build-system)
1747 (arguments
1748 `(#:test-target "."))
1749 (native-inputs
1750 `(("autoconf" ,autoconf)
1751 ("automake" ,automake)
1752 ("which" ,which)))
1753 (propagated-inputs `(("openssl" ,openssl)))
1754 (home-page "https://github.com/savonet/ocaml-ssl/")
1755 (synopsis "OCaml bindings for OpenSSL")
1756 (description
1757 "OCaml-SSL is a set of bindings for OpenSSL, a library for communicating
1758 through Transport Layer Security (@dfn{TLS}) encrypted connections.")
1759 (license license:lgpl2.1)))
1760
1761 (define-public ocaml-mmap
1762 (package
1763 (name "ocaml-mmap")
1764 (version "1.1.0")
1765 (source (origin
1766 (method git-fetch)
1767 (uri (git-reference
1768 (url "https://github.com/mirage/mmap")
1769 (commit (string-append "v" version))))
1770 (file-name (git-file-name name version))
1771 (sha256
1772 (base32
1773 "1jaismy5d1bhbbanysmr2k79px0yv6ya265dri3949nha1l23i60"))))
1774 (build-system dune-build-system)
1775 (home-page "https://github.com/mirage/mmap")
1776 (synopsis "File mapping for OCaml")
1777 (description "This project provides a @command{Mmap.map_file} function
1778 for mapping files in memory. This function is the same as the
1779 @command{Unix.map_file} function added in OCaml >= 4.06.")
1780 (license (list license:qpl license:lgpl2.0))))
1781
1782 (define-public ocaml-lwt
1783 (package
1784 (name "ocaml-lwt")
1785 (version "5.1.1")
1786 (source
1787 (origin
1788 (method git-fetch)
1789 (uri (git-reference
1790 (url "https://github.com/ocsigen/lwt")
1791 (commit version)))
1792 (file-name (git-file-name name version))
1793 (sha256 (base32
1794 "1nl7rdnwfdhwcsm5zpay1nr9y5cbapd9x1qzily7zk9ab4v52m8g"))))
1795 (build-system dune-build-system)
1796 (arguments
1797 `(#:package "lwt"))
1798 (native-inputs
1799 `(("ocaml-bisect-ppx" ,ocaml-bisect-ppx)
1800 ("ocaml-cppo" ,ocaml-cppo)
1801 ("pkg-config" ,pkg-config)))
1802 (inputs
1803 `(("libev" ,libev)
1804 ("glib" ,glib)))
1805 (propagated-inputs
1806 `(("ocaml-mmap" ,ocaml-mmap)
1807 ("ocaml-ocplib-endian" ,ocaml-ocplib-endian)
1808 ("ocaml-result" ,ocaml-result)
1809 ("ocaml-seq" ,ocaml-seq)))
1810 (home-page "https://github.com/ocsigen/lwt")
1811 (synopsis "Cooperative threads and I/O in monadic style")
1812 (description "Lwt provides typed, composable cooperative threads. These
1813 make it easy to run normally-blocking I/O operations concurrently in a single
1814 process. Also, in many cases, Lwt threads can interact without the need for
1815 locks or other synchronization primitives.")
1816 (license license:lgpl2.1)))
1817
1818 (define-public ocaml-lwt-react
1819 (package
1820 (inherit ocaml-lwt)
1821 (name "ocaml-lwt-react")
1822 (version "1.1.3")
1823 (source (origin
1824 (method git-fetch)
1825 (uri (git-reference
1826 (url "https://github.com/ocsigen/lwt")
1827 ;; Version from opam
1828 (commit "4.3.0")))
1829 (file-name (git-file-name name version))
1830 (sha256
1831 (base32
1832 "0f7036srqz7zmnz0n164734smgkrqz78r1i35cg30x31kkr3pnn4"))))
1833 (arguments
1834 `(#:package "lwt_react"))
1835 (properties `((upstream-name . "lwt_react")))
1836 (propagated-inputs
1837 `(("ocaml-lwt" ,ocaml-lwt)
1838 ("ocaml-react" ,ocaml-react)))))
1839
1840 (define-public ocaml-lwt-log
1841 (package
1842 (name "ocaml-lwt-log")
1843 (version "1.1.1")
1844 (source (origin
1845 (method git-fetch)
1846 (uri (git-reference
1847 (url "https://github.com/aantron/lwt_log")
1848 (commit version)))
1849 (file-name (git-file-name name version))
1850 (sha256
1851 (base32
1852 "1n12i1rmn9cjn6p8yr6qn5dwbrwvym7ckr7bla04a1xnq8qlcyj7"))))
1853 (build-system dune-build-system)
1854 (arguments
1855 `(#:tests? #f; require lwt_ppx
1856 #:jbuild? #t))
1857 (propagated-inputs
1858 `(("lwt" ,ocaml-lwt)))
1859 (properties `((upstream-name . "lwt_log")))
1860 (home-page "https://github.com/aantron/lwt_log")
1861 (synopsis "Logging library")
1862 (description "This package provides a deprecated logging component for
1863 ocaml lwt.")
1864 (license license:lgpl2.1)))
1865
1866 (define-public ocaml-logs
1867 (package
1868 (name "ocaml-logs")
1869 (version "0.6.2")
1870 (source (origin
1871 (method url-fetch)
1872 (uri (string-append "http://erratique.ch/software/logs/releases/"
1873 "logs-" version ".tbz"))
1874 (sha256
1875 (base32
1876 "1khbn7jqpid83zn8rvyh1x1sirls7zc878zj4fz985m5xlsfy853"))))
1877 (build-system ocaml-build-system)
1878 (arguments
1879 `(#:tests? #f
1880 #:build-flags (list "build" "--with-js_of_ocaml" "false")
1881 #:phases
1882 (modify-phases %standard-phases
1883 (delete 'configure))))
1884 (native-inputs
1885 `(("ocamlbuild" ,ocamlbuild)
1886 ("opam" ,opam)))
1887 (propagated-inputs
1888 `(("fmt" ,ocaml-fmt)
1889 ("lwt" ,ocaml-lwt)
1890 ("mtime" ,ocaml-mtime)
1891 ("result" ,ocaml-result)
1892 ("cmdliner" ,ocaml-cmdliner)
1893 ("topkg" ,ocaml-topkg)))
1894 (home-page "http://erratique.ch/software/logs")
1895 (synopsis "Logging infrastructure for OCaml")
1896 (description "Logs provides a logging infrastructure for OCaml. Logging is
1897 performed on sources whose reporting level can be set independently. Log
1898 message report is decoupled from logging and is handled by a reporter.")
1899 (license license:isc)))
1900
1901 (define-public ocaml-fpath
1902 (package
1903 (name "ocaml-fpath")
1904 (version "0.7.2")
1905 (source (origin
1906 (method url-fetch)
1907 (uri (string-append "http://erratique.ch/software/fpath/releases/"
1908 "fpath-" version ".tbz"))
1909 (sha256
1910 (base32
1911 "1hr05d8bpqmqcfdavn4rjk9rxr7v2zl84866f5knjifrm60sxqic"))))
1912 (build-system ocaml-build-system)
1913 (arguments
1914 `(#:tests? #f
1915 #:build-flags (list "build")
1916 #:phases
1917 (modify-phases %standard-phases
1918 (delete 'configure))))
1919 (native-inputs
1920 `(("ocamlbuild" ,ocamlbuild)
1921 ("opam" ,opam)))
1922 (propagated-inputs
1923 `(("topkg" ,ocaml-topkg)
1924 ("astring" ,ocaml-astring)))
1925 (home-page "http://erratique.ch/software/fpath")
1926 (synopsis "File system paths for OCaml")
1927 (description "Fpath is an OCaml module for handling file system paths with
1928 POSIX or Windows conventions. Fpath processes paths without accessing the
1929 file system and is independent from any system library.")
1930 (license license:isc)))
1931
1932 (define-public ocaml-bos
1933 (package
1934 (name "ocaml-bos")
1935 (version "0.2.0")
1936 (source (origin
1937 (method url-fetch)
1938 (uri (string-append "http://erratique.ch/software/bos/releases/"
1939 "bos-" version ".tbz"))
1940 (sha256
1941 (base32
1942 "1s10iqx8rgnxr5n93lf4blwirjf8nlm272yg5sipr7lsr35v49wc"))))
1943 (build-system ocaml-build-system)
1944 (arguments
1945 `(#:tests? #f
1946 #:build-flags (list "build")
1947 #:phases
1948 (modify-phases %standard-phases
1949 (delete 'configure))))
1950 (native-inputs
1951 `(("ocamlbuild" ,ocamlbuild)
1952 ("opam" ,opam)))
1953 (propagated-inputs
1954 `(("topkg" ,ocaml-topkg)
1955 ("astring" ,ocaml-astring)
1956 ("fmt" ,ocaml-fmt)
1957 ("fpath" ,ocaml-fpath)
1958 ("logs" ,ocaml-logs)
1959 ("rresult" ,ocaml-rresult)))
1960 (home-page "http://erratique.ch/software/bos")
1961 (synopsis "Basic OS interaction for OCaml")
1962 (description "Bos provides support for basic and robust interaction with
1963 the operating system in OCaml. It has functions to access the process
1964 environment, parse command line arguments, interact with the file system and
1965 run command line programs.")
1966 (license license:isc)))
1967
1968 (define-public ocaml-xmlm
1969 (package
1970 (name "ocaml-xmlm")
1971 (version "1.3.0")
1972 (source (origin
1973 (method url-fetch)
1974 (uri (string-append "http://erratique.ch/software/xmlm/releases/"
1975 "xmlm-" version ".tbz"))
1976 (sha256
1977 (base32
1978 "1rrdxg5kh9zaqmgapy9bhdqyxbbvxxib3bdfg1vhw4rrkp1z0x8n"))))
1979 (build-system ocaml-build-system)
1980 (arguments
1981 `(#:tests? #f
1982 #:build-flags (list "build")
1983 #:phases
1984 (modify-phases %standard-phases
1985 (delete 'configure))))
1986 (native-inputs
1987 `(("ocamlbuild" ,ocamlbuild)
1988 ("ocaml-topkg" ,ocaml-topkg)
1989 ("opam" ,opam)))
1990 (home-page "http://erratique.ch/software/xmlm")
1991 (synopsis "Streaming XML codec for OCaml")
1992 (description "Xmlm is a streaming codec to decode and encode the XML data
1993 format. It can process XML documents without a complete in-memory
1994 representation of the data.")
1995 (license license:isc)))
1996
1997 (define-public ocaml4.07-gen
1998 (package
1999 (name "ocaml4.07-gen")
2000 (version "0.5.2")
2001 (source (origin
2002 (method git-fetch)
2003 (uri (git-reference
2004 (url "https://github.com/c-cube/gen")
2005 (commit version)))
2006 (file-name (git-file-name name version))
2007 (sha256
2008 (base32
2009 "1h9g508rnj2j8va5nvhamzscp954vrkh0hdf4pn3d10pcfyslfg2"))))
2010 (build-system dune-build-system)
2011 (arguments
2012 `(#:tests? #f; no tests
2013 #:package "gen"
2014 #:ocaml ,ocaml-4.07
2015 #:findlib ,ocaml4.07-findlib))
2016 (propagated-inputs
2017 `(("ocaml-odoc" ,ocaml4.07-odoc)))
2018 (native-inputs
2019 `(("ocaml-qtest" ,(package-with-ocaml4.07 ocaml-qtest))
2020 ("ocaml-qcheck" ,(package-with-ocaml4.07 ocaml-qcheck))))
2021 (home-page "https://github.com/c-cube/gen/")
2022 (synopsis "Iterators for OCaml, both restartable and consumable")
2023 (description "Gen implements iterators of OCaml, that are both restartable
2024 and consumable.")
2025 (license license:bsd-2)))
2026
2027 (define-public ocaml4.07-sedlex
2028 (package
2029 (name "ocaml4.07-sedlex")
2030 (version "2.1")
2031 (source (origin
2032 (method git-fetch)
2033 (uri (git-reference
2034 (url "https://github.com/ocaml-community/sedlex")
2035 (commit (string-append "v" version))))
2036 (file-name (git-file-name name version))
2037 (sha256
2038 (base32
2039 "05f6qa8x3vhpdz1fcnpqk37fpnyyq13icqsk2gww5idjnh6kng26"))))
2040 (build-system dune-build-system)
2041 (arguments
2042 `(#:tests? #f; no tests
2043 #:package "sedlex"
2044 #:phases
2045 (modify-phases %standard-phases
2046 (add-before 'build 'copy-resources
2047 (lambda* (#:key inputs #:allow-other-keys)
2048 (with-directory-excursion "src/generator/data"
2049 (for-each
2050 (lambda (file)
2051 (copy-file (assoc-ref inputs file) file))
2052 '("DerivedCoreProperties.txt" "DerivedGeneralCategory.txt"
2053 "PropList.txt")))
2054 #t))
2055 (add-before 'build 'chmod
2056 (lambda _
2057 (for-each (lambda (file) (chmod file #o644)) (find-files "." ".*"))
2058 #t)))
2059 #:ocaml ,ocaml-4.07
2060 #:findlib ,ocaml4.07-findlib))
2061 (native-inputs
2062 `(("ocamlbuild" ,(package-with-ocaml4.07 ocamlbuild))))
2063 (propagated-inputs
2064 `(("ocaml-gen" ,ocaml4.07-gen)
2065 ("ocaml-ppx-tools-versioned"
2066 ,(package-with-ocaml4.07 ocaml-ppx-tools-versioned))
2067 ("ocaml-uchar" ,(package-with-ocaml4.07 ocaml-uchar))))
2068 ;; These three files are needed by src/generator/data/dune, but would be
2069 ;; downloaded using curl at build time.
2070 (inputs
2071 `(("DerivedCoreProperties.txt"
2072 ,(origin
2073 (method url-fetch)
2074 (uri "https://www.unicode.org/Public/12.1.0/ucd/DerivedCoreProperties.txt")
2075 (sha256
2076 (base32
2077 "0s6sn1yr9qmb2i6gf8dir2zpsbjv1frdfzy3i2yjylzvf637msx6"))))
2078 ("DerivedGeneralCategory.txt"
2079 ,(origin
2080 (method url-fetch)
2081 (uri "https://www.unicode.org/Public/12.1.0/ucd/extracted/DerivedGeneralCategory.txt")
2082 (sha256
2083 (base32
2084 "1rifzq9ba6c58dn0lrmcb5l5k4ksx3zsdkira3m5p6h4i2wriy3q"))))
2085 ("PropList.txt"
2086 ,(origin
2087 (method url-fetch)
2088 (uri "https://www.unicode.org/Public/12.1.0/ucd/PropList.txt")
2089 (sha256
2090 (base32
2091 "0gsb1jpj3mnqbjgbavi4l95gl6g4agq58j82km22fdfg63j3w3fk"))))))
2092 (home-page "https://www.cduce.org/download.html#side")
2093 (synopsis "Lexer generator for Unicode and OCaml")
2094 (description "Lexer generator for Unicode and OCaml.")
2095 (license license:expat)))
2096
2097 (define-public ocaml-uchar
2098 (package
2099 (name "ocaml-uchar")
2100 (version "0.0.2")
2101 (source
2102 (origin
2103 (method url-fetch)
2104 (uri (string-append "https://github.com/ocaml/uchar/releases/download/v"
2105 version "/uchar-" version ".tbz"))
2106 (sha256 (base32
2107 "1w2saw7zanf9m9ffvz2lvcxvlm118pws2x1wym526xmydhqpyfa7"))))
2108 (build-system ocaml-build-system)
2109 (arguments
2110 `(#:tests? #f
2111 #:build-flags (list "native=true" "native-dynlink=true")
2112 #:phases
2113 (modify-phases %standard-phases
2114 (delete 'configure))))
2115 (native-inputs
2116 `(("ocamlbuild" ,ocamlbuild)
2117 ("opam" ,opam)))
2118 (home-page "https://github.com/ocaml/uchar")
2119 (synopsis "Compatibility library for OCaml's Uchar module")
2120 (description "The uchar package provides a compatibility library for the
2121 `Uchar` module introduced in OCaml 4.03.")
2122 (license license:lgpl2.1)))
2123
2124 (define-public ocaml-uutf
2125 (package
2126 (name "ocaml-uutf")
2127 (version "1.0.1")
2128 (source (origin
2129 (method url-fetch)
2130 (uri (string-append "http://erratique.ch/software/uutf/releases/"
2131 "uutf-" version ".tbz"))
2132 (sha256
2133 (base32
2134 "1gp96dcggq7s84934vimxh89caaxa77lqiff1yywbwkilkkjcfqj"))))
2135 (build-system ocaml-build-system)
2136 (arguments
2137 `(#:tests? #f
2138 #:build-flags (list "build")
2139 #:phases
2140 (modify-phases %standard-phases
2141 (delete 'configure))))
2142 (native-inputs
2143 `(("ocamlbuild" ,ocamlbuild)
2144 ("opam" ,opam)
2145 ("topkg" ,ocaml-topkg)))
2146 (propagated-inputs
2147 `(("uchar" ,ocaml-uchar)
2148 ("cmdliner" ,ocaml-cmdliner)))
2149 (home-page "http://erratique.ch/software/uutf")
2150 (synopsis "Non-blocking streaming Unicode codec for OCaml")
2151 (description "Uutf is a non-blocking streaming codec to decode and encode
2152 the UTF-8, UTF-16, UTF-16LE and UTF-16BE encoding schemes. It can efficiently
2153 work character by character without blocking on IO. Decoders perform character
2154 position tracking and support newline normalization.
2155
2156 Functions are also provided to fold over the characters of UTF encoded OCaml
2157 string values and to directly encode characters in OCaml Buffer.t values.")
2158 (license license:isc)))
2159
2160 (define-public ocaml-jsonm
2161 (package
2162 (name "ocaml-jsonm")
2163 (version "1.0.1")
2164 (source (origin
2165 (method url-fetch)
2166 (uri (string-append "http://erratique.ch/software/jsonm/releases/"
2167 "jsonm-" version ".tbz"))
2168 (sha256
2169 (base32
2170 "1176dcmxb11fnw49b7yysvkjh0kpzx4s48lmdn5psq9vshp5c29w"))))
2171 (build-system ocaml-build-system)
2172 (arguments
2173 `(#:tests? #f
2174 #:build-flags (list "build")
2175 #:phases
2176 (modify-phases %standard-phases
2177 (delete 'configure))))
2178 (native-inputs
2179 `(("ocamlbuild" ,ocamlbuild)
2180 ("opam" ,opam)
2181 ("topkg" ,ocaml-topkg)))
2182 (propagated-inputs
2183 `(("uutf" ,ocaml-uutf)
2184 ("cmdliner" ,ocaml-cmdliner)))
2185 (home-page "http://erratique.ch/software/jsonm")
2186 (synopsis "Non-blocking streaming JSON codec for OCaml")
2187 (description "Jsonm is a non-blocking streaming codec to decode and encode
2188 the JSON data format. It can process JSON text without blocking on IO and
2189 without a complete in-memory representation of the data.")
2190 (license license:isc)))
2191
2192 (define-public ocaml-ocurl
2193 (package
2194 (name "ocaml-ocurl")
2195 (version "0.8.2")
2196 (source (origin
2197 (method url-fetch)
2198 (uri (string-append "http://ygrek.org.ua/p/release/ocurl/ocurl-"
2199 version ".tar.gz"))
2200 (sha256
2201 (base32
2202 "1ax3xdlzgb1zg7d0wr9nwgmh6a45a764m0wk8p6mx07ad94hz0q9"))))
2203 (build-system ocaml-build-system)
2204 (arguments
2205 `(#:phases
2206 (modify-phases %standard-phases
2207 (add-before 'configure 'fix-/bin/sh
2208 (lambda* (#:key inputs #:allow-other-keys)
2209 (substitute* "configure"
2210 (("-/bin/sh") (string-append "-" (which "bash")))))))))
2211 (native-inputs
2212 `(("pkg-config" ,pkg-config)))
2213 (inputs `(("curl" ,curl)))
2214 (home-page "http://ocurl.forge.ocamlcore.org/")
2215 (synopsis "OCaml bindings for libcurl")
2216 (description "Client-side URL transfer library, supporting HTTP and a
2217 multitude of other network protocols (FTP/SMTP/RTSP/etc).")
2218 (license license:isc)))
2219
2220 (define-public ocaml-base64
2221 (package
2222 (name "ocaml-base64")
2223 (version "3.2.0")
2224 (source (origin
2225 (method git-fetch)
2226 (uri (git-reference
2227 (url "https://github.com/mirage/ocaml-base64")
2228 (commit (string-append "v" version))))
2229 (file-name (git-file-name name version))
2230 (sha256
2231 (base32
2232 "1ilw3zj0w6cq7i4pvr8m2kv5l5f2y9aldmv72drlwwns013b1gwy"))))
2233 (build-system dune-build-system)
2234 (native-inputs
2235 `(("ocaml-alcotest" ,ocaml-alcotest)
2236 ("ocaml-bos" ,ocaml-bos)
2237 ("ocaml-rresult" ,ocaml-rresult)))
2238 (home-page "https://github.com/mirage/ocaml-base64")
2239 (synopsis "Base64 encoding for OCaml")
2240 (description "Base64 is a group of similar binary-to-text encoding schemes
2241 that represent binary data in an ASCII string format by translating it into a
2242 radix-64 representation. It is specified in RFC 4648.")
2243 (license license:isc)))
2244
2245 (define-public ocamlify
2246 (package
2247 (name "ocamlify")
2248 (version "0.0.1")
2249 (source (origin
2250 (method url-fetch)
2251 (uri "https://download.ocamlcore.org/ocamlify/ocamlify/0.0.1/ocamlify-0.0.1.tar.gz")
2252 (sha256
2253 (base32
2254 "1j9nb3vjqbdsx3d6jazixgrh776051zkrc06nsc5q5ilp1jhrwkm"))))
2255 (build-system ocaml-build-system)
2256 ; tests are done during build
2257 (arguments
2258 `(#:phases
2259 (modify-phases %standard-phases
2260 (delete 'check)
2261 (replace 'configure
2262 (lambda* (#:key outputs #:allow-other-keys)
2263 (invoke "ocaml" "setup.ml" "-configure" "--prefix"
2264 (assoc-ref outputs "out")))))))
2265 (native-inputs
2266 `(("ocamlbuild" ,ocamlbuild)))
2267 (home-page "https://forge.ocamlcore.org/projects/ocamlify")
2268 (synopsis "Include files in OCaml code")
2269 (description "OCamlify creates OCaml source code by including
2270 whole files into OCaml string or string list. The code generated can be
2271 compiled as a standard OCaml file. It allows embedding external resources as
2272 OCaml code.")
2273 (license license:lgpl2.1+))); with the OCaml static compilation exception
2274
2275 (define-public omake
2276 (package
2277 (name "omake")
2278 (version "0.10.3")
2279 (source (origin
2280 (method url-fetch)
2281 (uri (string-append "http://download.camlcity.org/download/"
2282 "omake-" version ".tar.gz"))
2283 (sha256
2284 (base32
2285 "07bdg1h5i7qnlv9xq81ad5hfypl10hxm771h4rjyl5cn8plhfcgz"))
2286 (patches (search-patches "omake-fix-non-determinism.patch"))))
2287 (build-system ocaml-build-system)
2288 (arguments
2289 `(#:make-flags
2290 (list (string-append "PREFIX=" (assoc-ref %outputs "out")))
2291 #:tests? #f ; no test target
2292 #:phases
2293 (modify-phases %standard-phases
2294 (add-before 'configure 'fix-makefile
2295 (lambda* (#:key outputs #:allow-other-keys)
2296 (substitute* "mk/osconfig_unix.mk"
2297 (("CC = cc") "CC = gcc")))))))
2298 (native-inputs `(("hevea" ,hevea)))
2299 (home-page "http://projects.camlcity.org/projects/omake.html")
2300 (synopsis "Build system designed for scalability and portability")
2301 (description "Similar to make utilities you may have used, but it features
2302 many additional enhancements, including:
2303
2304 @enumerate
2305 @item Support for projects spanning several directories or directory hierarchies.
2306 @item Fast, reliable, automated, scriptable dependency analysis using MD5 digests,
2307 with full support for incremental builds.
2308 @item Dependency analysis takes the command lines into account — whenever the
2309 command line used to build a target changes, the target is considered
2310 out-of-date.
2311 @item Fully scriptable, includes a library that providing support for standard
2312 tasks in C, C++, OCaml, and LaTeX projects, or a mixture thereof.
2313 @end enumerate")
2314 (license (list license:lgpl2.1 ; libmojave
2315 license:expat ; OMake scripts
2316 license:gpl2)))) ; OMake itself, with ocaml linking exception
2317 ; see LICENSE.OMake
2318
2319 (define-public ocaml-batteries
2320 (package
2321 (name "ocaml-batteries")
2322 (version "2.10.0")
2323 (source (origin
2324 (method url-fetch)
2325 (uri (string-append "https://github.com/ocaml-batteries-team/"
2326 "batteries-included/releases/download/v"
2327 version "/batteries-" version ".tar.gz"))
2328 (sha256
2329 (base32
2330 "08ghw87d56h1a6y1nnh3x2wy9xj25jqfk5sp6ma9nsyd37babb0h"))))
2331 (build-system ocaml-build-system)
2332 (native-inputs
2333 `(("ocamlbuild" ,ocamlbuild)
2334 ("qtest" ,ocaml-qtest)))
2335 (propagated-inputs
2336 `(("ocaml-num" ,ocaml-num)))
2337 (arguments
2338 `(#:phases
2339 (modify-phases %standard-phases
2340 (delete 'check) ; tests are run by the build phase
2341 (add-before 'build 'fix-nondeterminism
2342 (lambda _
2343 (substitute* "setup.ml"
2344 (("Sys.readdir dirname")
2345 "let a = Sys.readdir dirname in Array.sort String.compare a; a"))
2346 #t))
2347 (replace 'build
2348 (lambda* (#:key inputs outputs #:allow-other-keys)
2349 (let ((files
2350 (map (lambda (str)
2351 (substring str 0 (- (string-length str) 1)))
2352 (append
2353 (find-files "src" ".*.mliv")
2354 (find-files "src" ".*.mlv")
2355 (find-files "src" ".*.mlp")))))
2356 (apply invoke "ocamlbuild" "-no-links" "-use-ocamlfind" "-I" "num"
2357 "-lflag" "-dllpath-all" files)
2358 (for-each (lambda (file)
2359 (copy-file (string-append "_build/" file) file))
2360 files))
2361 (invoke "ocamlbuild" "-no-links" "-use-ocamlfind" "-I" "num"
2362 "-lflag" "-dllpath-all" "build/mkconf.byte")
2363 (copy-file "_build/build/mkconf.byte" "build/mkconf.byte")
2364 (invoke "make" "all")
2365 #t)))))
2366 (home-page "http://batteries.forge.ocamlcore.org/")
2367 (synopsis "Development platform for the OCaml programming language")
2368 (description "Define a standard set of libraries which may be expected on
2369 every compliant installation of OCaml and organize these libraries into a
2370 hierarchy of modules.")
2371 (license license:lgpl2.1+)))
2372
2373 (define-public ocaml4.07-pcre
2374 (package
2375 (name "ocaml4.07-pcre")
2376 (version "7.4.1")
2377 (source (origin
2378 (method git-fetch)
2379 (uri (git-reference
2380 (url "https://github.com/mmottl/pcre-ocaml")
2381 (commit version)))
2382 (file-name (git-file-name name version))
2383 (sha256
2384 (base32
2385 "11sd8g668h48790lamz0riw9jgnfkaif5qdfa0akcndwa6aj07jf"))))
2386 (build-system dune-build-system)
2387 (arguments
2388 `(#:test-target "."
2389 #:ocaml ,ocaml-4.07
2390 #:findlib ,ocaml4.07-findlib
2391 #:dune ,ocaml4.07-dune))
2392 (native-inputs
2393 `(("ocaml-base" ,ocaml4.07-base)
2394 ("pcre:bin" ,pcre "bin")))
2395 (propagated-inputs `(("pcre" ,pcre)))
2396 (home-page "https://mmottl.github.io/pcre-ocaml")
2397 (synopsis "Bindings to the Perl Compatibility Regular Expressions library")
2398 (description "Pcre-ocaml offers library functions for string pattern
2399 matching and substitution, similar to the functionality offered by the Perl
2400 language.")
2401 (license license:lgpl2.1+))); with the OCaml link exception
2402
2403 (define-public ocaml4.07-expect
2404 (package
2405 (name "ocaml4.07-expect")
2406 (version "0.0.6")
2407 (source (origin
2408 (method url-fetch)
2409 (uri (ocaml-forge-uri name version 1736))
2410 (sha256
2411 (base32
2412 "098qvg9d4yrqzr5ax291y3whrpax0m3sx4gi6is0mblc96r9yqk0"))))
2413 (arguments
2414 `(#:tests? #f
2415 #:ocaml ,ocaml-4.07
2416 #:findlib ,ocaml4.07-findlib))
2417 (build-system ocaml-build-system)
2418 (native-inputs
2419 `(("ocamlbuild" ,(package-with-ocaml4.07 ocamlbuild))
2420 ("ocaml-num" ,(package-with-ocaml4.07 ocaml-num))
2421 ("ocaml-pcre" ,ocaml4.07-pcre)
2422 ("ounit" ,(package-with-ocaml4.07 ocaml-ounit))))
2423 (propagated-inputs
2424 `(("batteries" ,(package-with-ocaml4.07 ocaml-batteries))))
2425 (home-page "https://forge.ocamlcore.org/projects/ocaml-expect/")
2426 (synopsis "Simple implementation of expect")
2427 (description "Help building unitary testing of interactive program. You
2428 can match the question using a regular expression or a timeout.")
2429 (license license:lgpl2.1+))) ; with the OCaml static compilation exception
2430
2431 (define-public ocaml-stdlib-shims
2432 (package
2433 (name "ocaml-stdlib-shims")
2434 (version "0.1.0")
2435 (source (origin
2436 (method git-fetch)
2437 (uri (git-reference
2438 (url "https://github.com/ocaml/stdlib-shims")
2439 (commit version)))
2440 (file-name (git-file-name name version))
2441 (sha256
2442 (base32
2443 "007dwywsr5285z0np6a9nr0h8iqmyzfrlx6s5xaqcwj69zabsrjm"))))
2444 (build-system dune-build-system)
2445 (home-page "https://github.com/ocaml/stdlib-shims")
2446 (synopsis "OCaml stdlib features backport to older OCaml compilers")
2447 (description "This package backports some of the new stdlib features to
2448 older compilers, such as the Stdlib module. This allows projects that require
2449 compatibility with older compiler to use these new features in their code.")
2450 ;; with ocaml-linking exception
2451 (license license:lgpl2.1+)))
2452
2453 (define-public ocaml-fileutils
2454 (package
2455 (name "ocaml-fileutils")
2456 (version "0.6.0")
2457 (source (origin
2458 (method git-fetch)
2459 (uri (git-reference
2460 (url "https://github.com/gildor478/ocaml-fileutils")
2461 (commit (string-append "v" version))))
2462 (file-name (git-file-name name version))
2463 (sha256
2464 (base32
2465 "06gxbqfssl16xc8y4d34wpm0mwfr0jgph4lmlwfmgazyggnmvc7m"))))
2466 (build-system ocaml-build-system)
2467 (arguments
2468 '(#:phases
2469 (modify-phases %standard-phases
2470 (add-before 'configure 'set-topfind
2471 (lambda* (#:key inputs #:allow-other-keys)
2472 ;; add the line #directory ".." at the top of each file
2473 ;; using #use "topfind";; to be able to find topfind
2474 (let* ((findlib-path (assoc-ref inputs "findlib"))
2475 (findlib-libdir
2476 (string-append findlib-path "/lib/ocaml/site-lib")))
2477 (substitute* "setup.ml"
2478 (("#use \"topfind\";;" all)
2479 (string-append "#directory \"" findlib-libdir "\"\n"
2480 all))))
2481 #t)))))
2482 (propagated-inputs
2483 `(("ocaml-stdlib-shims" ,ocaml-stdlib-shims)))
2484 (native-inputs
2485 `(("ocamlbuild" ,ocamlbuild)
2486 ("ocaml-oasis" ,ocaml-oasis)
2487 ("ocaml-ounit" ,ocaml-ounit)))
2488 (home-page "http://ocaml-fileutils.forge.ocamlcore.org")
2489 (synopsis "Pure OCaml functions to manipulate real file and filename")
2490 (description "Library to provide pure OCaml functions to manipulate real
2491 file (POSIX like) and filename.")
2492 (license license:lgpl2.1+))) ; with the OCaml static compilation exception
2493
2494 (define-public ocaml-oasis
2495 (package
2496 (name "ocaml-oasis")
2497 (version "0.4.11")
2498 (source (origin
2499 (method url-fetch)
2500 (uri (ocaml-forge-uri name version 1757))
2501 (sha256
2502 (base32
2503 "0bn13mzfa98dq3y0jwzzndl55mnywaxv693z6f1rlvpdykp3vdqq"))
2504 (modules '((guix build utils)))
2505 (snippet
2506 '(begin
2507 (substitute* "test/test-main/Test.ml"
2508 ;; most of these tests fail because ld cannot find crti.o, but according
2509 ;; to the log file, the environment variables {LD_,}LIBRARY_PATH
2510 ;; are set correctly when LD_LIBRARY_PATH is defined beforhand.
2511 (("TestBaseCompat.tests;") "")
2512 (("TestExamples.tests;") "")
2513 (("TestFull.tests;") "")
2514 (("TestPluginDevFiles.tests;") "")
2515 (("TestPluginInternal.tests;") "")
2516 (("TestPluginOCamlbuild.tests;") "")
2517 (("TestPluginOMake.tests;") ""))
2518 #t))))
2519 (build-system ocaml-build-system)
2520 (arguments
2521 `(#:tests? #f))
2522 (native-inputs
2523 `(("ocamlbuild" ,ocamlbuild)
2524 ("ocamlify" ,ocamlify)
2525 ("ocamlmod" ,ocamlmod)))
2526 (home-page "https://oasis.forge.ocamlcore.org")
2527 (synopsis "Integrates a configure, build, install system in OCaml projects")
2528 (description "OASIS is a tool to integrate a configure, build and install
2529 system in your OCaml projects. It helps to create standard entry points in your
2530 build system and allows external tools to analyse your project easily.")
2531 (license license:lgpl2.1+))) ; with ocaml static compilation exception
2532
2533 (define-public ocaml-js-build-tools
2534 (package
2535 (name "ocaml-js-build-tools")
2536 (version "113.33.06")
2537 (source (janestreet-origin "js-build-tools" version
2538 "0r8z4fz8iy5y6hkdlkpwf6rk4qigcr3dzyv35585xgg2ahf12zy6"))
2539 (native-inputs
2540 `(("oasis" ,ocaml-oasis)
2541 ("ocamlbuild" ,ocamlbuild)
2542 ("opam" ,opam)))
2543 (build-system ocaml-build-system)
2544 (arguments janestreet-arguments)
2545 (home-page "https://github.com/janestreet/js-build-tools")
2546 (synopsis "Collection of tools to help building Jane Street Packages")
2547 (description "This package contains tools to help building Jane Street
2548 packages, but can be used for other purposes. It contains:
2549 @enumerate
2550 @item an @command{oasis2opam-install} tool to produce a @file{.install} file
2551 from the oasis build log
2552 @item a @code{js_build_tools} ocamlbuild plugin with various goodies.
2553 @end enumerate")
2554 (license license:asl2.0)))
2555
2556 (define-public ocaml-cppo
2557 (package
2558 (name "ocaml-cppo")
2559 (version "1.6.6")
2560 (source
2561 (origin
2562 (method git-fetch)
2563 (uri (git-reference
2564 (url "https://github.com/mjambon/cppo")
2565 (commit (string-append "v" version))))
2566 (file-name (git-file-name name version))
2567 (sha256 (base32
2568 "1smcc0l6fh2n0y6bp96c69j5nw755jja99w0b206wx3yb2m4w2hs"))))
2569 (build-system dune-build-system)
2570 (arguments
2571 `(#:tests? #f
2572 #:build-flags (list "--profile" "release")))
2573 (native-inputs
2574 `(("ocamlbuild" ,ocamlbuild)))
2575 (home-page "https://github.com/mjambon/cppo")
2576 (synopsis "Equivalent of the C preprocessor for OCaml programs")
2577 (description "Cppo is an equivalent of the C preprocessor for OCaml
2578 programs. It allows the definition of simple macros and file inclusion. Cpp ois:
2579 @enumerate
2580 @item more OCaml-friendly than cpp
2581 @item easy to learn without consulting a manual
2582 @item reasonably fast
2583 @item simple to install and to maintain.
2584 @end enumerate")
2585 (license license:bsd-3)))
2586
2587 (define-public ocaml-seq
2588 (package
2589 (name "ocaml-seq")
2590 (version "0.1")
2591 (source
2592 (origin
2593 (method git-fetch)
2594 (uri (git-reference
2595 (url "https://github.com/c-cube/seq.git")
2596 (commit version)))
2597 (file-name (git-file-name name version))
2598 (sha256
2599 (base32 "1cjpsc7q76yfgq9iyvswxgic4kfq2vcqdlmxjdjgd4lx87zvcwrv"))))
2600 (build-system ocaml-build-system)
2601 (arguments
2602 `(#:tests? #f
2603 #:phases
2604 (modify-phases %standard-phases
2605 (delete 'configure)
2606 (delete 'build)
2607 (replace 'install
2608 (lambda* (#:key outputs #:allow-other-keys)
2609 (let ((install-dir (string-append (assoc-ref outputs "out")
2610 "/lib/ocaml/site-lib/seq")))
2611 (mkdir-p install-dir)
2612 (with-output-to-file (string-append install-dir "/META")
2613 (lambda _
2614 (display "name=\"seq\"
2615 version=\"[distributed with ocaml]\"
2616 description=\"dummy package for compatibility\"
2617 requires=\"\"")))
2618 #t))))))
2619 (home-page "https://github.com/c-cube/seq")
2620 (synopsis "OCaml's standard iterator type")
2621 (description "This package is a compatibility package for OCaml's
2622 standard iterator type starting from 4.07.")
2623 (license license:lgpl2.1+)))
2624
2625 (define-public ocaml-re
2626 (package
2627 (name "ocaml-re")
2628 (version "1.9.0")
2629 (source
2630 (origin
2631 (method git-fetch)
2632 (uri (git-reference
2633 (url "https://github.com/ocaml/ocaml-re.git")
2634 (commit version)))
2635 (file-name (git-file-name name version))
2636 (sha256
2637 (base32 "07ycb103mr4mrkxfd63cwlsn023xvcjp0ra0k7n2gwrg0mwxmfss"))))
2638 (build-system dune-build-system)
2639 (arguments
2640 `(#:tests? #f
2641 #:build-flags (list "--profile" "release")))
2642 (propagated-inputs
2643 `(("ocaml-seq" ,ocaml-seq)))
2644 (native-inputs
2645 `(("ounit" ,ocaml-ounit)))
2646 (home-page "https://github.com/ocaml/ocaml-re/")
2647 (synopsis "Regular expression library for OCaml")
2648 (description "Pure OCaml regular expressions with:
2649 @enumerate
2650 @item Perl-style regular expressions (module Re_perl)
2651 @item Posix extended regular expressions (module Re_posix)
2652 @item Emacs-style regular expressions (module Re_emacs)
2653 @item Shell-style file globbing (module Re_glob)
2654 @item Compatibility layer for OCaml's built-in Str module (module Re_str)
2655 @end enumerate")
2656 (license license:expat)))
2657
2658 (define-public ocaml-ocplib-endian
2659 (package
2660 (name "ocaml-ocplib-endian")
2661 (version "1.0")
2662 (source (origin
2663 (method git-fetch)
2664 (uri (git-reference
2665 (url "https://github.com/OCamlPro/ocplib-endian/")
2666 (commit version)))
2667 (sha256
2668 (base32
2669 "0s1ld3kavz892b8awyxyg1mr98h2g61gy9ci5v6yb49bsii6wicw"))
2670 (file-name (git-file-name name version))))
2671 (build-system ocaml-build-system)
2672 (native-inputs
2673 `(("cppo" ,ocaml-cppo)
2674 ("ocamlbuild" ,ocamlbuild)))
2675 (home-page "https://github.com/OCamlPro/ocplib-endian")
2676 (synopsis "Optimised functions to read and write int16/32/64 from strings
2677 and bigarrays")
2678 (description "Optimised functions to read and write int16/32/64 from strings
2679 and bigarrays, based on new primitives added in version 4.01. It works on
2680 strings, bytes and bigstring (Bigarrys of chars), and provides submodules for
2681 big- and little-endian, with their unsafe counter-parts.")
2682 (license license:lgpl2.1)))
2683
2684 (define-public ocaml-cstruct
2685 (package
2686 (name "ocaml-cstruct")
2687 (version "4.0.0")
2688 (source (origin
2689 (method git-fetch)
2690 (uri (git-reference
2691 (url "https://github.com/mirage/ocaml-cstruct")
2692 (commit (string-append "v" version))))
2693 (file-name (git-file-name name version))
2694 (sha256
2695 (base32
2696 "0m4bz0digcsc8l2msfikwcbi1y371kccx6xnkwrz212mf5mp98bv"))))
2697 (build-system dune-build-system)
2698 (arguments
2699 `(#:package "cstruct"
2700 #:test-target "."))
2701 (native-inputs
2702 `(("ocaml-alcotest" ,ocaml-alcotest)))
2703 (home-page "https://github.com/mirage/ocaml-cstruct")
2704 (synopsis "Access C structures via a camlp4 extension")
2705 (description "Cstruct is a library and syntax extension to make it easier
2706 to access C-like structures directly from OCaml. It supports both reading and
2707 writing to these structures, and they are accessed via the Bigarray module.")
2708 (license license:isc)))
2709
2710 (define-public ocaml-hex
2711 (package
2712 (name "ocaml-hex")
2713 (version "1.4.0")
2714 (source (origin
2715 (method git-fetch)
2716 (uri (git-reference
2717 (url "https://github.com/mirage/ocaml-hex")
2718 (commit (string-append "v" version))))
2719 (file-name (git-file-name name version))
2720 (sha256
2721 (base32
2722 "0c8nhibcwy0ykzca4jn3gqb8ylq21ff88y82gl60wyzijr64rn0q"))))
2723 (build-system dune-build-system)
2724 (arguments
2725 `(#:test-target "."))
2726 (propagated-inputs
2727 `(("ocaml-bigarray-compat" ,ocaml-bigarray-compat)
2728 ("cstruct" ,ocaml-cstruct)))
2729 (home-page "https://github.com/mirage/ocaml-hex/")
2730 (synopsis "Minimal library providing hexadecimal converters")
2731 (description "Hex is a minimal library providing hexadecimal converters.")
2732 (license license:isc)))
2733
2734 (define-public ocaml4.07-ezjsonm
2735 (package
2736 (name "ocaml4.07-ezjsonm")
2737 (version "1.1.0")
2738 (source
2739 (origin
2740 (method git-fetch)
2741 (uri (git-reference
2742 (url "https://github.com/mirage/ezjsonm.git")
2743 (commit (string-append "v" version))))
2744 (file-name (git-file-name name version))
2745 (sha256
2746 (base32 "064j9pzy01p3dv947khqyn7fkjbs3jmrqsg8limb4abnlaqxxs2s"))))
2747 (build-system dune-build-system)
2748 (arguments
2749 `(#:package "ezjsonm"
2750 #:test-target "."
2751 #:ocaml ,ocaml-4.07
2752 #:findlib ,ocaml4.07-findlib))
2753 (native-inputs
2754 `(("ocaml-alcotest" ,(package-with-ocaml4.07 ocaml-alcotest))))
2755 (propagated-inputs
2756 `(("ocaml-hex" ,(package-with-ocaml4.07 ocaml-hex))
2757 ("ocaml-jsonm" ,(package-with-ocaml4.07 ocaml-jsonm))
2758 ("ocaml-sexplib" ,ocaml4.07-sexplib)))
2759 (home-page "https://github.com/mirage/ezjsonm/")
2760 (synopsis "Read and write JSON data")
2761 (description "Ezjsonm provides more convenient (but far less flexible) input
2762 and output functions that go to and from [string] values than jsonm. This avoids
2763 the need to write signal code, which is useful for quick scripts that manipulate
2764 JSON.")
2765 (license license:isc)))
2766
2767 (define-public ocaml4.07-uri
2768 (package
2769 (name "ocaml4.07-uri")
2770 (version "2.2.0")
2771 (source
2772 (origin
2773 (method git-fetch)
2774 (uri (git-reference
2775 (url "https://github.com/mirage/ocaml-uri.git")
2776 (commit (string-append "v" version))))
2777 (file-name (git-file-name name version))
2778 (sha256
2779 (base32 "1ppbav41mszpjcl0zi3fyg958cxyfs57i7kvha4ds9ydn89bjmrh"))))
2780 (build-system dune-build-system)
2781 (arguments
2782 `(#:test-target "."
2783 #:phases
2784 (modify-phases %standard-phases
2785 (add-before 'build 'update-deprecated
2786 (lambda _
2787 (substitute* "lib/uri.ml"
2788 (("Re.get") "Re.Group.get")))))
2789 #:ocaml ,ocaml-4.07
2790 #:findlib ,ocaml4.07-findlib))
2791 (native-inputs
2792 `(("ocaml-ounit" ,(package-with-ocaml4.07 ocaml-ounit))
2793 ("ocaml-ppx-sexp-conv" ,ocaml4.07-ppx-sexp-conv)))
2794 (propagated-inputs
2795 `(("ocaml-re" ,(package-with-ocaml4.07 ocaml-re))
2796 ("ocaml-sexplib0" ,ocaml4.07-sexplib0)
2797 ("ocaml-stringext" ,(package-with-ocaml4.07 ocaml-stringext))))
2798 (home-page "https://github.com/mirage/ocaml-uri")
2799 (synopsis "RFC3986 URI/URL parsing library")
2800 (description "OCaml-uri is a library for parsing URI/URL in the RFC3986 format.")
2801 (license license:isc)))
2802
2803 (define-public ocaml-easy-format
2804 (package
2805 (name "ocaml-easy-format")
2806 (version "1.3.2")
2807 (source (origin
2808 (method git-fetch)
2809 (uri (git-reference
2810 (url "https://github.com/mjambon/easy-format")
2811 (commit version)))
2812 (file-name (git-file-name name version))
2813 (sha256
2814 (base32
2815 "1fc95q2ypck6m6rv3kiawwilh5ac93v2hcp823mj608d5kj79xkb"))))
2816 (build-system dune-build-system)
2817 (arguments
2818 `(#:jbuild? #t
2819 #:phases
2820 (modify-phases %standard-phases
2821 (add-before 'build 'make-writable
2822 (lambda _
2823 (for-each
2824 (lambda (file)
2825 (chmod file #o644))
2826 (find-files "." "."))
2827 #t)))))
2828 (home-page "https://github.com/mjambon/easy-format")
2829 (synopsis "Interface to the Format module")
2830 (description "Easy-format is a high-level and functional interface to the
2831 Format module of the OCaml standard library.")
2832 (license license:bsd-3)))
2833
2834 (define-public ocaml4.07-piqilib
2835 (package
2836 (name "ocaml4.07-piqilib")
2837 (version "0.6.15")
2838 (source
2839 (origin
2840 (method git-fetch)
2841 (uri (git-reference
2842 (url "https://github.com/alavrik/piqi.git")
2843 (commit (string-append "v" version))))
2844 (file-name (git-file-name name version))
2845 (sha256
2846 (base32 "0v04hs85xv6d4ysqxyv1dik34dx49yab9shpi4x7iv19qlzl7csb"))))
2847 (build-system ocaml-build-system)
2848 (arguments
2849 `(#:phases
2850 (modify-phases %standard-phases
2851 (add-before 'configure 'fix-ocamlpath
2852 (lambda _
2853 (substitute* '("Makefile" "make/Makefile.ocaml")
2854 (("OCAMLPATH := ") "OCAMLPATH := $(OCAMLPATH):"))
2855 #t))
2856 (replace 'configure
2857 (lambda* (#:key outputs #:allow-other-keys)
2858 (let ((out (assoc-ref outputs "out")))
2859 (substitute* "make/OCamlMakefile"
2860 (("/bin/sh") (which "bash")))
2861 (invoke "./configure" "--prefix" out "--ocaml-libdir"
2862 (string-append out "/lib/ocaml/site-lib")))
2863 #t))
2864 (add-after 'build 'build-ocaml
2865 (lambda* (#:key outputs #:allow-other-keys)
2866 (invoke "make" "ocaml")
2867 #t))
2868 (add-after 'install 'install-ocaml
2869 (lambda* (#:key outputs #:allow-other-keys)
2870 (invoke "make" "ocaml-install")
2871 #t))
2872 (add-after 'install-ocaml 'link-stubs
2873 (lambda* (#:key outputs #:allow-other-keys)
2874 (let* ((out (assoc-ref outputs "out"))
2875 (stubs (string-append out "/lib/ocaml/site-lib/stubslibs"))
2876 (lib (string-append out "/lib/ocaml/site-lib/piqilib")))
2877 (mkdir-p stubs)
2878 (symlink (string-append lib "/dllpiqilib_stubs.so")
2879 (string-append stubs "/dllpiqilib_stubs.so"))
2880 #t))))
2881 #:ocaml ,ocaml-4.07
2882 #:findlib ,ocaml4.07-findlib))
2883 (native-inputs
2884 `(("which" ,which)))
2885 (propagated-inputs
2886 `(("ocaml-xmlm" ,(package-with-ocaml4.07 ocaml-xmlm))
2887 ("ocaml-sedlex" ,ocaml4.07-sedlex)
2888 ("ocaml-easy-format" ,(package-with-ocaml4.07 ocaml-easy-format))
2889 ("ocaml-base64" ,(package-with-ocaml4.07 ocaml-base64))))
2890 (home-page "http://piqi.org")
2891 (synopsis "Data serialization and conversion library")
2892 (description "Piqilib is the common library used by the piqi command-line
2893 tool and piqi-ocaml.")
2894 (license license:asl2.0)))
2895
2896 (define-public ocaml-uuidm
2897 (package
2898 (name "ocaml-uuidm")
2899 (version "0.9.6")
2900 (source (origin
2901 (method url-fetch)
2902 (uri (string-append "http://erratique.ch/software/uuidm/"
2903 "releases/uuidm-" version ".tbz"))
2904 (sha256
2905 (base32
2906 "0hz4fdx0x16k0pw9995vkz5d1hmzz6b16wck9li399rcbfnv5jlc"))))
2907 (build-system ocaml-build-system)
2908 (arguments
2909 `(#:build-flags
2910 (list "build" "--tests" "true" "--with-cmdliner" "true")
2911 #:phases
2912 (modify-phases %standard-phases
2913 (delete 'configure))))
2914 (native-inputs
2915 `(("ocamlbuild" ,ocamlbuild)
2916 ("opam" ,opam)))
2917 (propagated-inputs
2918 `(("cmdliner" ,ocaml-cmdliner)
2919 ("topkg" ,ocaml-topkg)))
2920 (home-page "http://erratique.ch/software/uuidm")
2921 (synopsis "Universally unique identifiers for OCaml")
2922 (description "Uuidm is an OCaml module implementing 128 bits universally
2923 unique identifiers (UUIDs) version 3, 5 (named based with MD5, SHA-1 hashing)
2924 and 4 (random based) according to RFC 4122.")
2925 (license license:isc)))
2926
2927 (define-public ocaml-graph
2928 (package
2929 (name "ocaml-graph")
2930 (version "1.8.8")
2931 (source (origin
2932 (method url-fetch)
2933 (uri (string-append "http://ocamlgraph.lri.fr/download/"
2934 "ocamlgraph-" version ".tar.gz"))
2935 (sha256
2936 (base32
2937 "0m9g16wrrr86gw4fz2fazrh8nkqms0n863w7ndcvrmyafgxvxsnr"))))
2938 (build-system ocaml-build-system)
2939 (arguments
2940 `(#:install-target "install-findlib"
2941 #:tests? #f
2942 #:phases
2943 (modify-phases %standard-phases
2944 (add-before 'configure 'set-shell
2945 (lambda* (#:key inputs #:allow-other-keys)
2946 (setenv "CONFIG_SHELL" (string-append (assoc-ref inputs "bash")
2947 "/bin/sh")))))))
2948 (inputs `(("lablgtk" ,lablgtk)))
2949 (properties `((upstream-name . "ocamlgraph")))
2950 (home-page "http://ocamlgraph.lri.fr/")
2951 (synopsis "Graph library for OCaml")
2952 (description "OCamlgraph is a generic graph library for OCaml.")
2953 (license license:lgpl2.1)))
2954
2955 (define-public ocaml4.07-piqi
2956 (package
2957 (name "ocaml4.07-piqi")
2958 (version "0.7.7")
2959 (source (origin
2960 (method url-fetch)
2961 (uri (string-append "https://github.com/alavrik/piqi-ocaml/"
2962 "archive/v" version ".tar.gz"))
2963 (file-name (string-append name "-" version ".tar.gz"))
2964 (sha256
2965 (base32
2966 "1l0b4saxmwqgw9mb10mwrz31lvpj3l0abh3cwarqp0x4vdrzshbh"))))
2967 (build-system ocaml-build-system)
2968 (arguments
2969 `(#:make-flags
2970 (list (string-append "DESTDIR=" (assoc-ref %outputs "out"))
2971 (string-append "SHELL=" (assoc-ref %build-inputs "bash")
2972 "/bin/sh"))
2973 #:phases
2974 (modify-phases %standard-phases
2975 (delete 'configure))
2976 #:ocaml ,ocaml-4.07
2977 #:findlib ,ocaml4.07-findlib))
2978 (native-inputs
2979 `(("which" ,which)
2980 ("protobuf" ,protobuf))) ; for tests
2981 (propagated-inputs
2982 `(("ocaml-num" ,(package-with-ocaml4.07 ocaml-num))
2983 ("ocaml-piqilib" ,ocaml4.07-piqilib)
2984 ("ocaml-stdlib-shims" ,(package-with-ocaml4.07 ocaml-stdlib-shims))))
2985 (home-page "https://github.com/alavrik/piqi-ocaml")
2986 (synopsis "Protocol serialization system for OCaml")
2987 (description "Piqi is a multi-format data serialization system for OCaml.
2988 It provides a uniform interface for serializing OCaml data structures to JSON,
2989 XML and Protocol Buffers formats.")
2990 (license license:asl2.0)))
2991
2992 (define-public bap
2993 (package
2994 (name "bap")
2995 (version "1.6.0")
2996 (home-page "https://github.com/BinaryAnalysisPlatform/bap")
2997 (source (origin
2998 (method git-fetch)
2999 (uri (git-reference
3000 (url home-page)
3001 (commit (string-append "v" version))))
3002 (file-name (git-file-name name version))
3003 (sha256
3004 (base32
3005 "0ryf2xb37pj2f9mc3p5prqgqrylph9qgq7q9jnbx8b03nzzpa6h6"))))
3006 (build-system ocaml-build-system)
3007 (native-inputs
3008 `(("ocaml-oasis" ,(package-with-ocaml4.07 ocaml-oasis))
3009 ("clang" ,clang-3.8)
3010 ("ocaml-ounit" ,(package-with-ocaml4.07 ocaml-ounit))))
3011 (propagated-inputs
3012 `(("camlzip" ,(package-with-ocaml4.07 camlzip))
3013 ("ocaml-bitstring" ,(package-with-ocaml4.07 ocaml-bitstring))
3014 ("ocaml-cmdliner" ,(package-with-ocaml4.07 ocaml-cmdliner))
3015 ("ocaml-core-kernel" ,ocaml4.07-core-kernel)
3016 ("ocaml-ezjsonm" ,ocaml4.07-ezjsonm)
3017 ("ocaml-fileutils" ,(package-with-ocaml4.07 ocaml-fileutils))
3018 ("ocaml-frontc" ,(package-with-ocaml4.07 ocaml-frontc))
3019 ("ocaml-graph" ,(package-with-ocaml4.07 ocaml-graph))
3020 ("ocaml-ocurl" ,(package-with-ocaml4.07 ocaml-ocurl))
3021 ("ocaml-piqi" ,ocaml4.07-piqi)
3022 ("ocaml-ppx-jane" ,ocaml4.07-ppx-jane)
3023 ("ocaml-uuidm" ,(package-with-ocaml4.07 ocaml-uuidm))
3024 ("ocaml-uri" ,ocaml4.07-uri)
3025 ("ocaml-zarith" ,(package-with-ocaml4.07 ocaml-zarith))))
3026 (inputs
3027 `(("llvm" ,llvm-3.8)
3028 ("gmp" ,gmp)))
3029 (arguments
3030 `(#:use-make? #t
3031 #:phases
3032 (modify-phases %standard-phases
3033 (replace 'configure
3034 (lambda* (#:key outputs inputs #:allow-other-keys)
3035 ;; add write for user, to prevent a failure in the install phase
3036 (for-each
3037 (lambda (file)
3038 (let ((stat (stat file)))
3039 (chmod file (+ #o200 (stat:mode stat)))))
3040 (find-files "." "."))
3041 (invoke "./configure" "--prefix"
3042 (assoc-ref outputs "out")
3043 "--libdir"
3044 (string-append
3045 (assoc-ref outputs "out")
3046 "/lib/ocaml/site-lib")
3047 "--with-llvm-version=3.8"
3048 "--with-llvm-config=llvm-config"
3049 "--enable-everything"))))
3050 #:ocaml ,ocaml-4.07
3051 #:findlib ,ocaml4.07-findlib))
3052 (synopsis "Binary Analysis Platform")
3053 (description "Binary Analysis Platform is a framework for writing program
3054 analysis tools, that target binary files. The framework consists of a plethora
3055 of libraries, plugins, and frontends. The libraries provide code reusability,
3056 the plugins facilitate extensibility, and the frontends serve as entry points.")
3057 (license license:expat)))
3058
3059 (define-public ocaml-camomile
3060 (package
3061 (name "ocaml-camomile")
3062 (version "1.0.2")
3063 (home-page "https://github.com/yoriyuki/Camomile")
3064 (source (origin
3065 (method url-fetch)
3066 (uri (string-append home-page "/releases/download/" version
3067 "/camomile-" version ".tbz"))
3068 (sha256
3069 (base32
3070 "0chn7ldqb3wyf95yhmsxxq65cif56smgz1mhhc7m0dpwmyq1k97h"))))
3071 (build-system dune-build-system)
3072 (arguments
3073 `(#:build-flags (list "--profile" "release")
3074 #:test-target "camomile-test"
3075 #:tests? #f; Tests fail, see https://github.com/yoriyuki/Camomile/issues/82
3076 #:phases
3077 (modify-phases %standard-phases
3078 (add-before 'build 'fix-usr-share
3079 (lambda* (#:key outputs #:allow-other-keys)
3080 (substitute* '("Camomile/dune" "configure.ml")
3081 (("/usr/share") (string-append (assoc-ref outputs "out") "/share")))
3082 #t)))))
3083 (synopsis "Comprehensive Unicode library")
3084 (description "Camomile is a Unicode library for OCaml. Camomile provides
3085 Unicode character type, UTF-8, UTF-16, UTF-32 strings, conversion to/from about
3086 200 encodings, collation and locale-sensitive case mappings, and more. The
3087 library is currently designed for Unicode Standard 3.2.")
3088 ;; with an exception for linked libraries to use a different license
3089 (license license:lgpl2.0+)))
3090
3091 (define-public ocaml4.07-charinfo-width
3092 (package
3093 (name "ocaml4.07-charinfo-width")
3094 (version "1.1.0")
3095 (source (origin
3096 (method url-fetch)
3097 (uri (string-append "https://bitbucket.org/zandoye/charinfo_width"
3098 "/get/" version ".tar.gz"))
3099 (file-name (string-append name "-" version ".tar.gz"))
3100 (sha256
3101 (base32
3102 "00bv4p1yqs8y0z4z07wd9w9yyv669dikp9b04dcjbwpiy2wy0086"))))
3103 (build-system dune-build-system)
3104 (arguments
3105 `(#:ocaml ,ocaml-4.07
3106 #:findlib ,ocaml4.07-findlib))
3107 (propagated-inputs
3108 `(("ocaml-result" ,(package-with-ocaml4.07 ocaml-result))
3109 ("ocaml-camomile" ,(package-with-ocaml4.07 ocaml-camomile))))
3110 (native-inputs
3111 `(("ocaml-ppx-expect" ,ocaml4.07-ppx-expect)))
3112 (properties
3113 `((upstream-name . "charInfo_width")))
3114 (home-page "https://bitbucket.org/zandoye/charinfo_width/")
3115 (synopsis "Determine column width for a character")
3116 (description "This module is implements purely in OCaml a character width
3117 function that follows the prototype of POSIX's wcwidth.")
3118 (license license:expat)))
3119
3120 (define-public ocaml4.07-zed
3121 (package
3122 (name "ocaml4.07-zed")
3123 (version "2.0.3")
3124 (source
3125 (origin
3126 (method git-fetch)
3127 (uri (git-reference
3128 (url "https://github.com/diml/zed.git")
3129 (commit version)))
3130 (file-name (git-file-name name version))
3131 (sha256
3132 (base32 "0pa9awinqr0plp4b2az78dwpvh01pwaljnn5ydg8mc6hi7rmir55"))))
3133 (build-system dune-build-system)
3134 (arguments
3135 `(#:jbuild? #t
3136 #:test-target "."
3137 #:ocaml ,ocaml-4.07
3138 #:findlib ,ocaml4.07-findlib))
3139 (propagated-inputs
3140 `(("ocaml-camomile" ,(package-with-ocaml4.07 ocaml-camomile))
3141 ("ocaml-charinfo-width" ,ocaml4.07-charinfo-width)
3142 ("ocaml-react" ,(package-with-ocaml4.07 ocaml-react))))
3143 (home-page "https://github.com/diml/zed")
3144 (synopsis "Abstract engine for text editing in OCaml")
3145 (description "Zed is an abstract engine for text edition. It can be used
3146 to write text editors, edition widgets, readlines, etc. You just have to
3147 connect an engine to your inputs and rendering functions to get an editor.")
3148 (license license:bsd-3)))
3149
3150 (define-public ocaml4.07-lambda-term
3151 (package
3152 (name "ocaml4.07-lambda-term")
3153 (version "2.0.2")
3154 (source
3155 (origin
3156 (method git-fetch)
3157 (uri (git-reference
3158 (url "https://github.com/diml/lambda-term.git")
3159 (commit version)))
3160 (file-name (git-file-name name version))
3161 (sha256
3162 (base32 "0zcjy6fvf0d3i2ssz96asl889n3r6bplyzk7xvb2s3dkxbgcisyy"))))
3163 (build-system dune-build-system)
3164 (arguments
3165 `(#:build-flags (list "--profile" "release")
3166 #:tests? #f
3167 #:ocaml ,ocaml-4.07
3168 #:findlib ,ocaml4.07-findlib))
3169 (propagated-inputs
3170 `(("ocaml-lwt" ,(package-with-ocaml4.07 ocaml-lwt))
3171 ("ocaml-lwt-log" ,(package-with-ocaml4.07 ocaml-lwt-log))
3172 ("ocaml-lwt-react" ,(package-with-ocaml4.07 ocaml-lwt-react))
3173 ("ocaml-zed" ,ocaml4.07-zed)))
3174 (inputs
3175 `(("libev" ,libev)))
3176 (home-page "https://github.com/diml/lambda-term")
3177 (synopsis "Terminal manipulation library for OCaml")
3178 (description "Lambda-Term is a cross-platform library for manipulating the
3179 terminal. It provides an abstraction for keys, mouse events, colors, as well as
3180 a set of widgets to write curses-like applications. The main objective of
3181 Lambda-Term is to provide a higher level functional interface to terminal
3182 manipulation than, for example, ncurses, by providing a native OCaml interface
3183 instead of bindings to a C library.")
3184 (license license:bsd-3)))
3185
3186 (define-public ocaml4.07-utop
3187 (package
3188 (name "ocaml4.07-utop")
3189 (version "2.4.3")
3190 (source
3191 (origin
3192 (method git-fetch)
3193 (uri (git-reference
3194 (url "https://github.com/ocaml-community/utop.git")
3195 (commit version)))
3196 (file-name (git-file-name name version))
3197 (sha256
3198 (base32 "1bl4943qpi3qy152dbdm5glhx19zsiylmn4rcxi8l66g58hikyjp"))))
3199 (build-system dune-build-system)
3200 (arguments
3201 `(#:jbuild? #t
3202 #:test-target "."
3203 #:ocaml ,ocaml-4.07
3204 #:findlib ,ocaml4.07-findlib))
3205 (native-inputs
3206 `(("cppo" ,(package-with-ocaml4.07 ocaml-cppo))))
3207 (propagated-inputs
3208 `(("lambda-term" ,ocaml4.07-lambda-term)
3209 ("lwt" ,(package-with-ocaml4.07 ocaml-lwt))
3210 ("react" ,(package-with-ocaml4.07 ocaml-react))
3211 ("camomile" ,(package-with-ocaml4.07 ocaml-camomile))
3212 ("zed" ,ocaml4.07-zed)))
3213 (home-page "https://github.com/ocaml-community/utop")
3214 (synopsis "Improved interface to the OCaml toplevel")
3215 (description "UTop is an improved toplevel for OCaml. It can run in a
3216 terminal or in Emacs. It supports line editing, history, real-time and context
3217 sensitive completion, colors, and more.")
3218 (license license:bsd-3)))
3219
3220 (define-public ocaml-integers
3221 (package
3222 (name "ocaml-integers")
3223 (version "0.3.0")
3224 (home-page "https://github.com/ocamllabs/ocaml-integers")
3225 (source (origin
3226 (method url-fetch)
3227 (uri (string-append home-page
3228 "/releases/download/v0.2.2/integers-"
3229 version ".tbz"))
3230 (file-name (string-append name "-" version ".tbz"))
3231 (sha256
3232 (base32
3233 "08b1ljw88ny3l0mdq6xmffjk8anfc77igryva5jz1p6f4f746ywk"))))
3234 (build-system ocaml-build-system)
3235 (arguments
3236 `(#:tests? #f; no tests
3237 #:build-flags (list "build")
3238 #:phases
3239 (modify-phases %standard-phases
3240 (delete 'configure))))
3241 (native-inputs
3242 `(("ocamlbuild" ,ocamlbuild)))
3243 (inputs
3244 `(("topkg" ,ocaml-topkg)
3245 ("opam" ,opam)))
3246 (synopsis "Various signed and unsigned integer types for OCaml")
3247 (description "The ocaml-integers library provides a number of 8-, 16-, 32-
3248 and 64-bit signed and unsigned integer types, together with aliases such as
3249 long and size_t whose sizes depend on the host platform.")
3250 (license license:expat)))
3251
3252 (define-public ocaml-ctypes
3253 (package
3254 (name "ocaml-ctypes")
3255 (version "0.14.0")
3256 (home-page "https://github.com/ocamllabs/ocaml-ctypes")
3257 (source (origin
3258 (method git-fetch)
3259 (uri (git-reference
3260 (url home-page)
3261 (commit version)))
3262 (file-name (git-file-name name version))
3263 (sha256
3264 (base32
3265 "1b2q3h63ngf4x9qp65qwapf2dg9q0mcdah6qjm2q0c7v2p5vysv9"))))
3266 (build-system ocaml-build-system)
3267 (arguments
3268 `(#:tests? #f; require an old lwt
3269 #:make-flags
3270 (list (string-append "INSTALL_HEADERS = $(wildcard $($(PROJECT).dir)/*.h)"))
3271 #:phases
3272 (modify-phases %standard-phases
3273 (add-after 'unpack 'make-writable
3274 (lambda _
3275 (for-each
3276 (lambda (file)
3277 (let ((stat (stat file)))
3278 (chmod file (+ #o200 (stat:mode stat)))))
3279 (find-files "." "."))
3280 #t))
3281 (delete 'configure))))
3282 (native-inputs
3283 `(("pkg-config" ,pkg-config)))
3284 (inputs
3285 `(("libffi" ,libffi)
3286 ("ounit" ,ocaml-ounit)
3287 ("integers" ,ocaml-integers)
3288 ("lwt" ,ocaml-lwt)
3289 ("topkg" ,ocaml-topkg)
3290 ("opam" ,opam)))
3291 (synopsis "Library for binding to C libraries using pure OCaml")
3292 (description "Ctypes is a library for binding to C libraries using pure
3293 OCaml. The primary aim is to make writing C extensions as straightforward as
3294 possible. The core of ctypes is a set of combinators for describing the
3295 structure of C types -- numeric types, arrays, pointers, structs, unions and
3296 functions. You can use these combinators to describe the types of the
3297 functions that you want to call, then bind directly to those functions -- all
3298 without writing or generating any C!")
3299 (license license:expat)))
3300
3301 (define-public ocaml-ocb-stubblr
3302 (package
3303 (name "ocaml-ocb-stubblr")
3304 (version "0.1.1")
3305 (home-page "https://github.com/pqwy/ocb-stubblr")
3306 (source (origin
3307 (method url-fetch)
3308 (uri (string-append
3309 home-page "/releases/download/v0.1.1/ocb-stubblr-"
3310 version ".tbz"))
3311 (file-name (string-append name "-" version ".tbz"))
3312 (sha256
3313 (base32
3314 "167b7x1j21mkviq8dbaa0nmk4rps2ilvzwx02igsc2706784z72f"))))
3315 (build-system ocaml-build-system)
3316 (arguments
3317 `(#:build-flags (list "build" "--tests" "true")
3318 #:phases
3319 (modify-phases %standard-phases
3320 (delete 'configure)
3321 (add-before 'build 'fix-for-guix
3322 (lambda _
3323 (substitute* "src/ocb_stubblr.ml"
3324 ;; Do not fail when opam is not present or initialized
3325 (("error_msgf \"error running opam\"") "\"\"")
3326 ;; Guix doesn't have cc, but it has gcc
3327 (("\"cc\"") "\"gcc\""))
3328 #t)))))
3329 (inputs
3330 `(("topkg" ,ocaml-topkg)
3331 ("opam" ,opam)))
3332 (native-inputs
3333 `(("astring" ,ocaml-astring)
3334 ("ocamlbuild" ,ocamlbuild)))
3335 (synopsis "OCamlbuild plugin for C stubs")
3336 (description "Ocb-stubblr is about ten lines of code that you need to
3337 repeat over, over, over and over again if you are using ocamlbuild to build
3338 OCaml projects that contain C stubs.")
3339 (license license:isc)))
3340
3341 (define-public ocaml-tsdl
3342 (package
3343 (name "ocaml-tsdl")
3344 (version "0.9.7")
3345 (home-page "https://erratique.ch/software/tsdl")
3346 (source (origin
3347 (method url-fetch)
3348 (uri (string-append home-page "/releases/tsdl-"
3349 version ".tbz"))
3350 (file-name (string-append name "-" version ".tar.gz"))
3351 (sha256
3352 (base32
3353 "1zwv0ixkigh1gzk5n49rwvz2f2m62jdkkqg40j7dclg4gri7691f"))))
3354 (build-system ocaml-build-system)
3355 (arguments
3356 `(#:build-flags '("build")
3357 #:tests? #f; tests require a display device
3358 #:phases
3359 (modify-phases %standard-phases
3360 (delete 'configure))))
3361 (native-inputs
3362 `(("ocamlbuild" ,ocamlbuild)
3363 ("ocaml-astring" ,ocaml-astring)
3364 ("opam" ,opam)
3365 ("pkg-config" ,pkg-config)))
3366 (inputs
3367 `(("topkg" ,ocaml-topkg)
3368 ("sdl2" ,sdl2)
3369 ("integers" ,ocaml-integers)
3370 ("ctypes" ,ocaml-ctypes)))
3371 (synopsis "Thin bindings to SDL for OCaml")
3372 (description "Tsdl is an OCaml library providing thin bindings to the
3373 cross-platform SDL C library.")
3374 (license license:isc)))
3375
3376 (define-public dedukti
3377 (package
3378 (name "dedukti")
3379 (version "2.6.0")
3380 (home-page "https://deducteam.github.io/")
3381 (source
3382 (origin
3383 (method git-fetch)
3384 (uri (git-reference
3385 (url "https://github.com/deducteam/dedukti.git")
3386 (commit (string-append "v" version))))
3387 (file-name (git-file-name name version))
3388 (sha256
3389 (base32
3390 "0frl3diff033i4fmq304b8wbsdnc9mvlhmwd7a3zd699ng2lzbxb"))))
3391 (inputs
3392 `(("menhir" ,ocaml-menhir)))
3393 (native-inputs
3394 `(("ocamlbuild" ,ocamlbuild)))
3395 (build-system ocaml-build-system)
3396 (arguments
3397 `(#:phases
3398 (modify-phases %standard-phases
3399 (delete 'configure)
3400 (replace 'build
3401 (lambda _
3402 (invoke "make")
3403 #t))
3404 (replace 'check
3405 (lambda _
3406 (invoke "make" "tests")
3407 #t))
3408 (add-before 'install 'set-binpath
3409 ;; Change binary path in the makefile
3410 (lambda _
3411 (let ((out (assoc-ref %outputs "out")))
3412 (substitute* "GNUmakefile"
3413 (("BINDIR = (.*)$")
3414 (string-append "BINDIR = " out "/bin"))))
3415 #t))
3416 (replace 'install
3417 (lambda _
3418 (invoke "make" "install")
3419 #t)))))
3420 (synopsis "Proof-checker for the λΠ-calculus modulo theory, an extension of
3421 the λ-calculus")
3422 (description "Dedukti is a proof-checker for the λΠ-calculus modulo
3423 theory. The λΠ-calculus is an extension of the simply typed λ-calculus with
3424 dependent types. The λΠ-calculus modulo theory is itself an extension of the
3425 λΠ-calculus where the context contains variable declaration as well as rewrite
3426 rules. This system is not designed to develop proofs, but to check proofs
3427 developed in other systems. In particular, it enjoys a minimalistic syntax.")
3428 (license license:cecill-c)))
3429
3430 (define-public emacs-dedukti-mode
3431 (let ((commit "d7c3505a1046187de3c3aeb144455078d514594e"))
3432 (package
3433 (name "emacs-dedukti-mode")
3434 (version (git-version "0" "0" commit))
3435 (home-page "https://github.com/rafoo/dedukti-mode")
3436 (source (origin
3437 (method git-fetch)
3438 (uri (git-reference
3439 (url home-page)
3440 (commit commit)))
3441 (sha256
3442 (base32
3443 "1842wikq24c8rg0ac84vb1qby9ng1nssxswyyni4kq85lng5lcrp"))
3444 (file-name (git-file-name name version))))
3445 (inputs
3446 `(("dedukti" ,dedukti)))
3447 (build-system emacs-build-system)
3448 (arguments
3449 '(#:phases
3450 (modify-phases %standard-phases
3451 (add-before 'install 'patch-dkpath
3452 (lambda _
3453 (let ((dkcheck-path (which "dkcheck")))
3454 (substitute* "dedukti-mode.el"
3455 (("dedukti-path \"(.*)\"")
3456 (string-append "dedukti-path \"" dkcheck-path "\"")))))))))
3457 (synopsis "Emacs major mode for Dedukti files")
3458 (description "This package provides an Emacs major mode for editing
3459 Dedukti files.")
3460 (license license:cecill-b))))
3461
3462 (define-public emacs-flycheck-dedukti
3463 (let ((commit "3dbff5646355f39d57a3ec514f560a6b0082a1cd"))
3464 (package
3465 (name "emacs-flycheck-dedukti")
3466 (version (git-version "0" "0" commit))
3467 (home-page "https://github.com/rafoo/flycheck-dedukti")
3468 (source (origin
3469 (method git-fetch)
3470 (uri (git-reference
3471 (url home-page)
3472 (commit commit)))
3473 (sha256
3474 (base32
3475 "1ffpxnwl3wx244n44mbw81g00nhnykd0lnid29f4aw1av7w6nw8l"))
3476 (file-name (git-file-name name version))))
3477 (build-system emacs-build-system)
3478 (inputs
3479 `(("dedukti-mode" ,emacs-dedukti-mode)
3480 ("flycheck-mode" ,emacs-flycheck)))
3481 (synopsis "Flycheck integration for the dedukti language")
3482 (description "This package provides a frontend for Flycheck to perform
3483 syntax checking on dedukti files.")
3484 (license license:cecill-b))))
3485
3486 (define-public ocaml4.07-ppx-inline-test
3487 (package
3488 (name "ocaml4.07-ppx-inline-test")
3489 (version "0.12.0")
3490 (home-page "https://github.com/janestreet/ppx_inline_test")
3491 (source
3492 (origin
3493 (method git-fetch)
3494 (uri (git-reference
3495 (url (string-append home-page ".git"))
3496 (commit (string-append "v" version))))
3497 (file-name (git-file-name name version))
3498 (sha256
3499 (base32
3500 "0nyz411zim94pzbxm2l2v2l9jishcxwvxhh142792g2s18r4vn50"))))
3501 (build-system dune-build-system)
3502 (arguments
3503 ;see home page README for further information
3504 `(#:tests? #f
3505 #:ocaml ,ocaml-4.07
3506 #:findlib ,ocaml4.07-findlib))
3507 (inputs
3508 `(("ocaml-base" ,ocaml4.07-base)
3509 ("ocaml-migrate-parsetree"
3510 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
3511 ("ocaml-compiler-libs" ,(package-with-ocaml4.07 ocaml-compiler-libs))
3512 ("ocaml-sexplib0" ,ocaml4.07-sexplib0)
3513 ("ocaml-stdio" ,ocaml4.07-stdio)
3514 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
3515 (properties `((upstream-name . "ppx_inline_test")))
3516 (synopsis "Syntax extension for writing in-line tests in ocaml code")
3517 (description "This package contains a syntax extension for writing
3518 in-line tests in ocaml code. It is part of Jane Street's PPX rewriters
3519 collection.")
3520 (license license:expat)))
3521
3522 (define-public ocaml-bindlib
3523 (package
3524 (name "ocaml-bindlib")
3525 (version "5.0.1")
3526 (source
3527 (origin
3528 (method git-fetch)
3529 (uri (git-reference
3530 (url "https://github.com/rlepigre/ocaml-bindlib.git")
3531 (commit (string-append "ocaml-bindlib_" version))))
3532 (file-name (git-file-name name version))
3533 (sha256
3534 (base32
3535 "1f8kr81w8vsi4gv61xn1qbc6zrzkjp8l9ix0942vjh4gjxc74v75"))))
3536 (build-system ocaml-build-system)
3537 (arguments
3538 `(#:tests? #f ;no tests
3539 #:use-make? #t
3540 #:phases
3541 (modify-phases %standard-phases
3542 (delete 'configure)
3543 (replace 'build
3544 (lambda _
3545 (invoke "make")))
3546 (replace 'install
3547 (lambda _
3548 (invoke "make" "install"))))))
3549 (native-inputs
3550 `(("ocamlbuild" ,ocamlbuild)
3551 ("ocaml-findlib" ,ocaml-findlib)))
3552 (home-page "https://rlepigre.github.io/ocaml-bindlib/")
3553 (synopsis "OCaml Bindlib library for bound variables")
3554 (description "Bindlib is a library allowing the manipulation of data
3555 structures with bound variables. It is particularly useful when writing ASTs
3556 for programming languages, but also for manipulating terms of the λ-calculus
3557 or quantified formulas.")
3558 (license license:gpl3+)))
3559
3560 (define-public ocaml4.07-earley
3561 (package
3562 (name "ocaml4.07-earley")
3563 (version "2.0.0")
3564 (home-page "https://github.com/rlepigre/ocaml-earley")
3565 (source
3566 (origin
3567 (method git-fetch)
3568 (uri (git-reference
3569 (url (string-append home-page ".git"))
3570 (commit version)))
3571 (file-name (git-file-name name version))
3572 (sha256
3573 (base32
3574 "18k7bi7krc4bvqnhijz1q0pfr0nfahghfjifci8rh1q4i5zd0xz5"))))
3575 (build-system dune-build-system)
3576 (arguments
3577 `(#:test-target "."
3578 #:ocaml ,ocaml-4.07
3579 #:findlib ,ocaml4.07-findlib))
3580 (synopsis "Parsing library based on Earley Algorithm")
3581 (description "Earley is a parser combinator library base on Earley's
3582 algorithm. It is intended to be used in conjunction with an OCaml syntax
3583 extension which allows the definition of parsers inside the language. There
3584 is also support for writing OCaml syntax extensions in a camlp4 style.")
3585 (license license:cecill-b)))
3586
3587 (define-public ocaml-timed
3588 (package
3589 (name "ocaml-timed")
3590 (version "1.0")
3591 (home-page "https://github.com/rlepigre/ocaml-timed")
3592 (source (origin
3593 (method git-fetch)
3594 (uri (git-reference
3595 (url (string-append home-page ".git"))
3596 (commit (string-append name "_" version))))
3597 (sha256
3598 (base32
3599 "0hfxz710faxy5yk97bkfnw87r732jcxxhmjppwrbfdb6pd0wks96"))
3600 (file-name (git-file-name name version))))
3601 (build-system ocaml-build-system)
3602 (arguments
3603 '(#:phases
3604 (modify-phases %standard-phases
3605 (delete 'configure)
3606 (replace 'build
3607 (lambda _
3608 (invoke "make")))
3609 (replace 'install
3610 (lambda _
3611 (invoke "make" "install")))
3612 (replace 'check
3613 (lambda _
3614 (invoke "make" "tests"))))))
3615 (synopsis "Timed references for imperative state")
3616 (description "Timed references for imperative state. This module provides
3617 an alternative type for references (or mutable cells) supporting undo/redo
3618 operations. In particular, an abstract notion of time is used to capture the
3619 state of the references at any given point, so that it can be restored. Note
3620 that usual reference operations only have a constant time / memory overhead
3621 (compared to those of the standard library).
3622
3623 Moreover, we provide an alternative implementation based on the references
3624 of the standard library (Pervasives module). However, it is less efficient
3625 than the first one.")
3626 (license license:expat)))
3627
3628 (define-public ocaml-biniou
3629 (package
3630 (name "ocaml-biniou")
3631 (version "1.2.1")
3632 (home-page "https://github.com/mjambon/biniou")
3633 (source
3634 (origin
3635 (method git-fetch)
3636 (uri (git-reference
3637 (url (string-append home-page ".git"))
3638 (commit version)))
3639 (file-name (git-file-name name version))
3640 (sha256
3641 (base32
3642 "0x2kiy809n1j0yf32l7hj102y628jp5jdrkbi3z7ld8jq04h1790"))))
3643 (build-system dune-build-system)
3644 (arguments
3645 `(#:phases
3646 (modify-phases %standard-phases
3647 (add-before 'build 'make-writable
3648 (lambda _
3649 (for-each
3650 (lambda (file)
3651 (chmod file #o644))
3652 (find-files "." "."))
3653 #t)))))
3654 (inputs
3655 `(("ocaml-easy-format" ,ocaml-easy-format)))
3656 (native-inputs
3657 `(("which" ,which)))
3658 (synopsis "Data format designed for speed, safety, ease of use and backward
3659 compatibility")
3660 (description "Biniou (pronounced \"be new\" is a binary data format
3661 designed for speed, safety, ease of use and backward compatibility as
3662 protocols evolve. Biniou is vastly equivalent to JSON in terms of
3663 functionality but allows implementations several times faster (4 times faster
3664 than yojson), with 25-35% space savings.")
3665 (license license:bsd-3)))
3666
3667 (define-public ocaml-yojson
3668 (package
3669 (name "ocaml-yojson")
3670 (version "1.7.0")
3671 (home-page "https://github.com/ocaml-community/yojson")
3672 (source
3673 (origin
3674 (method git-fetch)
3675 (uri (git-reference
3676 (url (string-append home-page ".git"))
3677 (commit version)))
3678 (file-name (git-file-name name version))
3679 (sha256
3680 (base32
3681 "0zncsw8bgbkh1pfvfc7nh628hfj84lgx6jwhp9ashj3z1z0w3xjn"))))
3682 (build-system dune-build-system)
3683 (arguments
3684 `(#:test-target "."))
3685 (inputs
3686 `(("ocaml-biniou" ,ocaml-biniou)
3687 ("ocaml-easy-format" ,ocaml-easy-format)))
3688 (native-inputs
3689 `(("ocaml-alcotest" ,ocaml-alcotest)
3690 ("ocaml-cppo" ,ocaml-cppo)))
3691 (synopsis "Low-level JSON library for OCaml")
3692 (description "Yojson is an optimized parsing and printing library for the
3693 JSON format. It addresses a few shortcomings of json-wheel including 2x
3694 speedup, polymorphic variants and optional syntax for tuples and variants.
3695 @code{ydump} is a pretty printing command-line program provided with the
3696 yojson package. The program @code{atdgen} can be used to derive OCaml-JSON
3697 serializers and deserializers from type definitions.")
3698 (license license:bsd-3)))
3699
3700 (define-public ocaml-craml
3701 (package
3702 (name "ocaml-craml")
3703 (version "1.0.0")
3704 (home-page "https://github.com/realworldocaml/craml")
3705 (source
3706 (origin
3707 (method git-fetch)
3708 (uri (git-reference
3709 (url (string-append home-page ".git"))
3710 (commit version)))
3711 (file-name (git-file-name name version))
3712 (sha256
3713 (base32
3714 "197xjp4vmzdymf2ndinw271ihpf45h04mx8gqj8ypspxdr5fj1a5"))))
3715 (build-system dune-build-system)
3716 (inputs
3717 `(("ocaml-fmt" ,ocaml-fmt)
3718 ("ocaml-astring" ,ocaml-astring)
3719 ("ocaml-logs" ,ocaml-logs)
3720 ("ocaml-cmdliner" ,ocaml-cmdliner)))
3721 (synopsis
3722 "CRAM-testing framework for testing command line applications")
3723 (description "CRAM is a is functional testing framework for command line
3724 applications. @code{craml} is freely inspired by the
3725 Mercurial's @code{https://www.selenic.com/blog/?p=663, unified test
3726 format}. @code{craml} is released as a single binary (called @code{craml}).")
3727 (license license:isc)))
3728
3729 (define-public ocaml4.07-merlin
3730 (package
3731 (name "ocaml4.07-merlin")
3732 (version "3.2.2")
3733 (home-page "https://ocaml.github.io/merlin/")
3734 (source
3735 (origin
3736 (method git-fetch)
3737 (uri (git-reference
3738 (url "https://github.com/ocaml/merlin.git")
3739 (commit (string-append "v" version))))
3740 (file-name (git-file-name name version))
3741 (sha256
3742 (base32
3743 "15ssgmwdxylbwhld9p1cq8x6kadxyhll5bfyf11dddj6cldna3hb"))))
3744 (build-system dune-build-system)
3745 (inputs
3746 `(("ocaml-biniou" ,(package-with-ocaml4.07 ocaml-biniou))
3747 ("ocaml-yojson" ,(package-with-ocaml4.07 ocaml-yojson))
3748 ("ocaml-easy-format" ,(package-with-ocaml4.07 ocaml-easy-format))))
3749 (native-inputs
3750 `(("ocaml-findlib" ,ocaml-findlib)))
3751 (arguments
3752 `(#:jbuild? #t
3753 #:tests? #f ;; Errors in tests in version 3.2.2
3754 #:ocaml ,ocaml-4.07
3755 #:findlib ,ocaml4.07-findlib))
3756 (synopsis "Context sensitive completion for OCaml in Vim and Emacs")
3757 (description "Merlin is an editor service that provides modern IDE
3758 features for OCaml. Emacs and Vim support is provided out-of-the-box.
3759 External contributors added support for Visual Studio Code, Sublime Text and
3760 Atom.")
3761 (license license:expat)))
3762
3763 (define-public ocaml4.07-gsl
3764 (package
3765 (name "ocaml4.07-gsl")
3766 (version "1.24.0")
3767 (source
3768 (origin
3769 (method url-fetch)
3770 (uri
3771 (string-append
3772 "https://github.com/mmottl/gsl-ocaml/releases/download/"
3773 version "/gsl-" version ".tbz"))
3774 (sha256
3775 (base32
3776 "1l5zkkkg8sglsihrbf10ivq9s8xzl1y6ag89i4jqpnmi4m43fy34"))))
3777 (build-system dune-build-system)
3778 (arguments
3779 `(#:test-target "."
3780 #:phases
3781 (modify-phases %standard-phases
3782 (add-after 'unpack 'fix-gsl-directory
3783 (lambda* (#:key inputs #:allow-other-keys)
3784 (substitute* "src/config/discover.ml"
3785 (("/usr") (assoc-ref inputs "gsl")))
3786 #t)))
3787 #:ocaml ,ocaml-4.07
3788 #:findlib ,ocaml4.07-findlib
3789 #:dune ,ocaml4.07-dune))
3790 (inputs
3791 `(("gsl" ,gsl)))
3792 (propagated-inputs
3793 `(("ocaml-base" ,ocaml4.07-base)
3794 ("ocaml-stdio" ,ocaml4.07-stdio)))
3795 (home-page "https://mmottl.github.io/gsl-ocaml")
3796 (synopsis "Bindings to the GNU Scientific Library")
3797 (description
3798 "GSL-OCaml is an interface to the @dfn{GNU scientific library} (GSL) for
3799 the OCaml language.")
3800 (license license:gpl3+)))
3801
3802 (define-public ocaml4.07-gsl-1
3803 (package
3804 (inherit ocaml4.07-gsl)
3805 (version "1.19.3")
3806 (source (origin
3807 (method url-fetch)
3808 (uri (string-append "https://github.com/mmottl/gsl-ocaml"
3809 "/releases/download/v"
3810 version "/gsl-ocaml-" version ".tar.gz"))
3811 (sha256
3812 (base32
3813 "0nzp43hp8pbjqkrxnwp5lgjrabxayf61h18fjaydi0s5faq6f3xh"))))
3814 (build-system ocaml-build-system)
3815 (inputs
3816 `(("gsl" ,gsl)))
3817 (native-inputs
3818 `(("ocamlbuild" ,(package-with-ocaml4.07 ocamlbuild))))
3819 (arguments
3820 `(#:ocaml ,ocaml-4.07
3821 #:findlib ,ocaml4.07-findlib))
3822 (propagated-inputs '())))
3823
3824 (define-public cubicle
3825 (package
3826 (name "cubicle")
3827 (version "1.1.2")
3828 (source (origin
3829 (method url-fetch)
3830 (uri (string-append "http://cubicle.lri.fr/cubicle-"
3831 version ".tar.gz"))
3832 (sha256
3833 (base32
3834 "10kk80jdmpdvql88sdjsh7vqzlpaphd8vip2lp47aarxjkwjlz1q"))))
3835 (build-system gnu-build-system)
3836 (native-inputs
3837 `(("automake" ,automake)
3838 ("ocaml" ,ocaml)
3839 ("which" ,(@@ (gnu packages base) which))))
3840 (propagated-inputs
3841 `(("ocaml-num" ,ocaml-num)
3842 ("z3" ,z3)))
3843 (arguments
3844 `(#:configure-flags (list "--with-z3")
3845 #:make-flags (list "QUIET=")
3846 #:tests? #f
3847 #:phases
3848 (modify-phases %standard-phases
3849 (add-before 'configure 'configure-for-release
3850 (lambda _
3851 (substitute* "Makefile.in"
3852 (("SVNREV=") "#SVNREV="))
3853 #t))
3854 (add-before 'configure 'fix-/bin/sh
3855 (lambda _
3856 (substitute* "configure"
3857 (("-/bin/sh") (string-append "-" (which "sh"))))
3858 #t))
3859 (add-before 'configure 'fix-smt-z3wrapper.ml
3860 (lambda _
3861 (substitute* "Makefile.in"
3862 (("\\\\n") ""))
3863 #t))
3864 (add-before 'configure 'fix-ocaml-num
3865 (lambda* (#:key inputs #:allow-other-keys)
3866 (substitute* "Makefile.in"
3867 (("= \\$\\(FUNCTORYLIB\\)")
3868 (string-append "= -I "
3869 (assoc-ref inputs "ocaml-num")
3870 "/lib/ocaml/site-lib"
3871 " $(FUNCTORYLIB)")))
3872 #t)))))
3873 (home-page "http://cubicle.lri.fr/")
3874 (synopsis "Model checker for array-based systems")
3875 (description "Cubicle is a model checker for verifying safety properties
3876 of array-based systems. This is a syntactically restricted class of
3877 parametrized transition systems with states represented as arrays indexed by
3878 an arbitrary number of processes. Cache coherence protocols and mutual
3879 exclusion algorithms are typical examples of such systems.")
3880 (license license:asl2.0)))
3881
3882 (define-public ocaml4.07-sexplib0
3883 (package
3884 (name "ocaml4.07-sexplib0")
3885 (version "0.11.0")
3886 (home-page "https://github.com/janestreet/sexplib0")
3887 (source
3888 (origin
3889 (method git-fetch)
3890 (uri (git-reference
3891 (url (string-append home-page ".git"))
3892 (commit (string-append "v" version))))
3893 (file-name (git-file-name name version))
3894 (sha256
3895 (base32
3896 "07v3ggyss7xhfv14bjk1n87sr42iqwj4cgjiv2lcdfkqk49i2bmi"))))
3897 (build-system dune-build-system)
3898 (arguments
3899 `(#:tests? #f ;no tests
3900 #:ocaml ,ocaml-4.07
3901 #:findlib ,ocaml4.07-findlib))
3902 (synopsis "Library containing the definition of S-expressions and some
3903 base converters")
3904 (description "Part of Jane Street's Core library The Core suite of
3905 libraries is an industrial strength alternative to OCaml's standard library
3906 that was developed by Jane Street, the largest industrial user of OCaml.")
3907 (license license:expat)))
3908
3909 (define-public ocaml4.07-parsexp
3910 (package
3911 (name "ocaml4.07-parsexp")
3912 (version "0.11.0")
3913 (home-page "https://github.com/janestreet/parsexp")
3914 (source
3915 (origin
3916 (method git-fetch)
3917 (uri (git-reference
3918 (url (string-append home-page ".git"))
3919 (commit (string-append "v" version))))
3920 (file-name (git-file-name name version))
3921 (sha256
3922 (base32
3923 "1nyq23s5igd8cf3n4qxprjvhbmb6ighb3fy5mw7hxl0mdgsw5fvz"))))
3924 (build-system dune-build-system)
3925 (arguments
3926 `(#:ocaml ,ocaml-4.07
3927 #:findlib ,ocaml4.07-findlib))
3928 (inputs
3929 `(("ocaml-sexplib0" ,ocaml4.07-sexplib0)))
3930 (synopsis "S-expression parsing library")
3931 (description
3932 "This library provides generic parsers for parsing S-expressions from
3933 strings or other medium.
3934
3935 The library is focused on performances but still provide full generic
3936 parsers that can be used with strings, bigstrings, lexing buffers,
3937 character streams or any other sources effortlessly.
3938
3939 It provides three different class of parsers:
3940 @itemize
3941 @item
3942 the normal parsers, producing [Sexp.t] or [Sexp.t list] values
3943 @item
3944 the parsers with positions, building compact position sequences so
3945 that one can recover original positions in order to report properly
3946 located errors at little cost
3947 @item
3948 the Concrete Syntax Tree parsers, produce values of type
3949 @code{Parsexp.Cst.t} which record the concrete layout of the s-expression
3950 syntax, including comments
3951 @end itemize
3952
3953 This library is portable and doesn't provide IO functions. To read
3954 s-expressions from files or other external sources, you should use
3955 parsexp_io.")
3956 (license license:expat)))
3957
3958 (define-public ocaml4.07-sexplib
3959 (package
3960 (name "ocaml4.07-sexplib")
3961 (version "0.11.0")
3962 (home-page "https://github.com/janestreet/sexplib")
3963 (source
3964 (origin
3965 (method git-fetch)
3966 (uri (git-reference
3967 (url (string-append home-page ".git"))
3968 (commit (string-append "v" version))))
3969 (file-name (git-file-name name version))
3970 (sha256
3971 (base32
3972 "1qfl0m04rpcjvc4yw1hzh6r16jpwmap0sa9ax6zjji67dz4szpyb"))))
3973 (build-system dune-build-system)
3974 (arguments
3975 `(#:ocaml ,ocaml-4.07
3976 #:findlib ,ocaml4.07-findlib))
3977 (propagated-inputs
3978 `(("ocaml-num" ,(package-with-ocaml4.07 ocaml-num))
3979 ("ocaml-parsexp" ,ocaml4.07-parsexp)
3980 ("ocaml-sexplib0" ,ocaml4.07-sexplib0)))
3981 (synopsis
3982 "Library for serializing OCaml values to and from S-expressions")
3983 (description
3984 "This package is part of Jane Street's Core library. Sexplib contains
3985 functionality for parsing and pretty-printing s-expressions.")
3986 (license license:expat)))
3987
3988 (define-public ocaml4.07-base
3989 (package
3990 (name "ocaml4.07-base")
3991 (version "0.11.1")
3992 (home-page "https://github.com/janestreet/base")
3993 (source
3994 (origin
3995 (method git-fetch)
3996 (uri (git-reference
3997 (url (string-append home-page ".git"))
3998 (commit (string-append "v" version))))
3999 (file-name (git-file-name name version))
4000 (sha256
4001 (base32
4002 "0j6xb4265jr41vw4fjzak6yr8s30qrnzapnc6rl1dxy8bjai0nir"))))
4003 (build-system dune-build-system)
4004 (propagated-inputs
4005 `(("ocaml-sexplib0" ,ocaml4.07-sexplib0)))
4006 (arguments
4007 `(#:phases
4008 (modify-phases %standard-phases
4009 (replace 'build
4010 ;; make warnings non fatal (jbuilder behaviour)
4011 (lambda _
4012 (invoke "dune" "build" "@install" "--profile=release"))))
4013 #:ocaml ,ocaml-4.07
4014 #:findlib ,ocaml4.07-findlib))
4015 (synopsis
4016 "Full standard library replacement for OCaml")
4017 (description
4018 "Base is a complete and portable alternative to the OCaml standard
4019 library. It provides all standard functionalities one would expect
4020 from a language standard library. It uses consistent conventions
4021 across all of its module.
4022
4023 Base aims to be usable in any context. As a result system dependent
4024 features such as I/O are not offered by Base. They are instead
4025 provided by companion libraries such as
4026 @url{https://github.com/janestreet/stdio, ocaml-stdio}.")
4027 (license license:expat)))
4028
4029 (define-public ocaml-compiler-libs
4030 (package
4031 (name "ocaml-compiler-libs")
4032 (version "0.11.0")
4033 (home-page "https://github.com/janestreet/ocaml-compiler-libs")
4034 (source
4035 (origin
4036 (method git-fetch)
4037 (uri (git-reference
4038 (url (string-append home-page ".git"))
4039 (commit (string-append "v" version))))
4040 (file-name (git-file-name name version))
4041 (sha256
4042 (base32
4043 "03jds7bszh8wwpfwxb3dg0gyr1j1872wxwx1xqhry5ir0i84bg0s"))))
4044 (build-system dune-build-system)
4045 (arguments
4046 '(#:tests? #f)) ;no tests
4047 (properties `((upstream-name . "ocaml-compiler-libs")))
4048 (synopsis "Compiler libraries repackaged")
4049 (description "This package simply repackages the OCaml compiler libraries
4050 so they don't expose everything at toplevel. For instance, @code{Ast_helper}
4051 is now @code{Ocaml_common.Ast_helper}.")
4052 (license license:expat)))
4053
4054 (define-public ocaml4.07-stdio
4055 (package
4056 (name "ocaml4.07-stdio")
4057 (version "0.11.0")
4058 (home-page "https://github.com/janestreet/stdio")
4059 (source
4060 (origin
4061 (method git-fetch)
4062 (uri (git-reference
4063 (url (string-append home-page ".git"))
4064 (commit (string-append "v" version))))
4065 (file-name (git-file-name name version))
4066 (sha256
4067 (base32
4068 "1facajqhvq34g2wrg368y0ajxd6lrj5b3lyzyj0jhdmraxajjcwn"))))
4069 (build-system dune-build-system)
4070 (propagated-inputs
4071 `(("ocaml-base" ,ocaml4.07-base)
4072 ("ocaml-sexplib0" ,ocaml4.07-sexplib0)))
4073 (arguments
4074 `(#:tests? #f ;no tests
4075 #:ocaml ,ocaml-4.07
4076 #:findlib ,ocaml4.07-findlib))
4077 (synopsis "Standard IO library for OCaml")
4078 (description
4079 "Stdio implements simple input/output functionalities for OCaml. It
4080 re-exports the input/output functions of the OCaml standard libraries using
4081 a more consistent API.")
4082 (license license:expat)))
4083
4084 (define-public ocaml-ppx-derivers
4085 (package
4086 (name "ocaml-ppx-derivers")
4087 (version "1.2.1")
4088 (home-page
4089 "https://github.com/ocaml-ppx/ppx_derivers")
4090 (source
4091 (origin
4092 (method git-fetch)
4093 (uri (git-reference
4094 (url (string-append home-page ".git"))
4095 (commit version)))
4096 (file-name (git-file-name name version))
4097 (sha256
4098 (base32
4099 "0yqvqw58hbx1a61wcpbnl9j30n495k23qmyy2xwczqs63mn2nkpn"))))
4100 (build-system dune-build-system)
4101 (arguments
4102 '(#:tests? #f)) ;no tests
4103 (properties `((upstream-name . "ppx_derivers")))
4104 (synopsis "Shared @code{@@deriving} plugin registry")
4105 (description
4106 "Ppx_derivers is a tiny package whose sole purpose is to allow
4107 ppx_deriving and ppx_type_conv to inter-operate gracefully when linked
4108 as part of the same ocaml-migrate-parsetree driver.")
4109 (license license:bsd-3)))
4110
4111 (define-public ocaml4.07-ppxlib
4112 (package
4113 (name "ocaml4.07-ppxlib")
4114 (version "0.6.0")
4115 (home-page "https://github.com/ocaml-ppx/ppxlib")
4116 (source
4117 (origin
4118 (method git-fetch)
4119 (uri (git-reference
4120 (url (string-append home-page ".git"))
4121 (commit version)))
4122 (file-name (git-file-name name version))
4123 (sha256
4124 (base32
4125 "0my9x7sxb329h0lzshppdaawiyfbaw6g5f41yiy7bhl071rnlvbv"))))
4126 (build-system dune-build-system)
4127 (propagated-inputs
4128 `(("ocaml-base" ,ocaml4.07-base)
4129 ("ocaml-compiler-libs" ,(package-with-ocaml4.07 ocaml-compiler-libs))
4130 ("ocaml-migrate-parsetree"
4131 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4132 ("ocaml-ppx-derivers" ,(package-with-ocaml4.07 ocaml-ppx-derivers))
4133 ("ocaml-stdio" ,ocaml4.07-stdio)
4134 ("ocaml-result" ,(package-with-ocaml4.07 ocaml-result))
4135 ("ocaml-sexplib0" ,ocaml4.07-sexplib0)))
4136 (arguments
4137 `(#:phases
4138 (modify-phases %standard-phases
4139 (add-before 'check 'set-topfind
4140 (lambda* (#:key inputs #:allow-other-keys)
4141 ;; add the line #directory ".." at the top of each file
4142 ;; using #use "topfind";; to be able to find topfind
4143 (let* ((findlib-path (assoc-ref inputs "findlib"))
4144 (findlib-libdir
4145 (string-append findlib-path "/lib/ocaml/site-lib")))
4146 (substitute* '("test/base/test.ml"
4147 "test/code_path/test.ml"
4148 "test/deriving/test.ml"
4149 "test/driver/attributes/test.ml"
4150 "test/driver/non-compressible-suffix/test.ml"
4151 "test/driver/transformations/test.ml")
4152 (("#use \"topfind\";;" all)
4153 (string-append "#directory \"" findlib-libdir "\"\n"
4154 all))))
4155 #t)))
4156 #:ocaml ,ocaml-4.07
4157 #:findlib ,ocaml4.07-findlib))
4158 (synopsis
4159 "Base library and tools for ppx rewriters")
4160 (description
4161 "A comprehensive toolbox for ppx development. It features:
4162 @itemize
4163 @item an OCaml AST / parser / pretty-printer snapshot, to create a full frontend
4164 independent of the version of OCaml;
4165 @item a library for library for ppx rewriters in general, and type-driven code
4166 generators in particular;
4167 @item
4168 a feature-full driver for OCaml AST transformers;
4169 @item a quotation mechanism allowing to write values representing the
4170 OCaml AST in the OCaml syntax;
4171 @item a generator of open recursion classes from type definitions.
4172 @end itemize")
4173 (license license:expat)))
4174
4175 (define-public ocaml4.07-ppx-compare
4176 (package
4177 (name "ocaml4.07-ppx-compare")
4178 (version "0.11.1")
4179 (source (origin
4180 (method git-fetch)
4181 (uri (git-reference
4182 (url "https://github.com/janestreet/ppx_compare.git")
4183 (commit (string-append "v" version))))
4184 (file-name (git-file-name name version))
4185 (sha256
4186 (base32
4187 "06bq4m1bsm4jlx4g7wh5m99qky7xm4c2g52kaz6pv25hdn5agi2m"))))
4188 (build-system dune-build-system)
4189 (propagated-inputs
4190 `(("ocaml-base" ,ocaml4.07-base)
4191 ("ocaml-migrate-parsetree"
4192 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4193 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4194 (arguments
4195 `(#:ocaml ,ocaml-4.07
4196 #:findlib ,ocaml4.07-findlib))
4197 (properties `((upstream-name . "ppx_compare")))
4198 (home-page "https://github.com/janestreet/ppx_compare")
4199 (synopsis "Generation of comparison functions from types")
4200 (description "Generation of fast comparison functions from type expressions
4201 and definitions. Ppx_compare is a ppx rewriter that derives comparison functions
4202 from type representations. The scaffolded functions are usually much faster
4203 than ocaml's Pervasives.compare. Scaffolding functions also gives you more
4204 flexibility by allowing you to override them for a specific type and more safety
4205 by making sure that you only compare comparable values.")
4206 (license license:asl2.0)))
4207
4208 (define-public ocaml4.07-fieldslib
4209 (package
4210 (name "ocaml4.07-fieldslib")
4211 (version "0.11.0")
4212 (source (origin
4213 (method url-fetch)
4214 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
4215 (version-major+minor version) "/files/"
4216 "fieldslib-v" version ".tar.gz"))
4217 (sha256
4218 (base32
4219 "12948pzxrl360lybm9fzyvplgcl87zjbn4m3sk1aw75zk85p1388"))))
4220 (build-system dune-build-system)
4221 (arguments
4222 ;; No tests
4223 `(#:tests? #f
4224 #:ocaml ,ocaml-4.07
4225 #:findlib ,ocaml4.07-findlib))
4226 (propagated-inputs
4227 `(("ocaml-base" ,ocaml4.07-base)
4228 ("ocaml-migrate-parsetree"
4229 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4230 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4231 (properties `((upstream-name . "fieldslib")))
4232 (home-page "https://github.com/janestreet/fieldslib")
4233 (synopsis "Syntax extension to record fields")
4234 (description "Syntax extension to define first class values representing
4235 record fields, to get and set record fields, iterate and fold over all fields
4236 of a record and create new record values.")
4237 (license license:asl2.0)))
4238
4239 (define-public ocaml4.07-variantslib
4240 (package
4241 (name "ocaml4.07-variantslib")
4242 (version "0.11.0")
4243 (source (origin
4244 (method url-fetch)
4245 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
4246 (version-major+minor version)
4247 "/files/variantslib-v" version ".tar.gz"))
4248 (sha256
4249 (base32
4250 "1hsdwmkslvk4cznqr4lyyiy7vvk5spil226k0z2in26fxq6y0hf3"))))
4251 (build-system dune-build-system)
4252 (arguments
4253 ;; No tests
4254 `(#:tests? #f
4255 #:ocaml ,ocaml-4.07
4256 #:findlib ,ocaml4.07-findlib))
4257 (propagated-inputs
4258 `(("ocaml-base" ,ocaml4.07-base)
4259 ("ocaml-migrate-parsetree"
4260 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4261 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4262 (properties `((upstream-name . "variantslib")))
4263 (home-page "https://github.com/janestreet/variantslib")
4264 (synopsis "OCaml variants as first class values")
4265 (description "The Core suite of libraries is an alternative to OCaml's
4266 standard library.")
4267 (license license:asl2.0)))
4268
4269 (define-public ocaml4.07-ppx-fields-conv
4270 (package
4271 (name "ocaml4.07-ppx-fields-conv")
4272 (version "0.11.0")
4273 (source (origin
4274 (method url-fetch)
4275 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
4276 (version-major+minor version)
4277 "/files/ppx_fields_conv-v" version ".tar.gz"))
4278 (sha256
4279 (base32
4280 "07zrd3qky2ppbfl55gpm90rvqa5860xgwcsvihrjmkrw6d0jirkc"))))
4281 (build-system dune-build-system)
4282 (propagated-inputs
4283 `(("ocaml-base" ,ocaml4.07-base)
4284 ("ocaml-fieldslib" ,ocaml4.07-fieldslib)
4285 ("ocaml-migrate-parsetree"
4286 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4287 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4288 (arguments
4289 `(#:ocaml ,ocaml-4.07
4290 #:findlib ,ocaml4.07-findlib))
4291 (properties `((upstream-name . "ppx_fields_conv")))
4292 (home-page "https://github.com/janestreet/ppx_fields_conv")
4293 (synopsis "Generation of accessor and iteration functions for ocaml records")
4294 (description "Ppx_fields_conv is a ppx rewriter that can be used to define
4295 first class values representing record fields, and additional routines, to get
4296 and set record fields, iterate and fold over all fields of a record and create
4297 new record values.")
4298 (license license:asl2.0)))
4299
4300 (define-public ocaml4.07-ppx-sexp-conv
4301 (package
4302 (name "ocaml4.07-ppx-sexp-conv")
4303 (version "0.11.2")
4304 (source (origin
4305 (method git-fetch)
4306 (uri (git-reference
4307 (url "https://github.com/janestreet/ppx_sexp_conv.git")
4308 (commit (string-append "v" version))))
4309 (file-name (git-file-name name version))
4310 (sha256
4311 (base32
4312 "0pqwnqy1xp309wvdcaax4lg02yk64lq2w03mbgfvf6ps5ry4gis9"))))
4313 (build-system dune-build-system)
4314 (propagated-inputs
4315 `(("ocaml-base" ,ocaml4.07-base)
4316 ("ocaml-migrate-parsetree"
4317 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4318 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4319 (arguments
4320 `(#:ocaml ,ocaml-4.07
4321 #:findlib ,ocaml4.07-findlib))
4322 (properties `((upstream-name . "ppx_sexp_conv")))
4323 (home-page "https://github.com/janestreet/ppx_sexp_conv")
4324 (synopsis "Generation of S-expression conversion functions from type definitions")
4325 (description "This package generates S-expression conversion functions from type
4326 definitions.")
4327 (license license:asl2.0)))
4328
4329 (define-public ocaml4.07-ppx-variants-conv
4330 (package
4331 (name "ocaml4.07-ppx-variants-conv")
4332 (version "0.11.1")
4333 (source (origin
4334 (method git-fetch)
4335 (uri (git-reference
4336 (url "https://github.com/janestreet/ppx_variants_conv.git")
4337 (commit (string-append "v" version))))
4338 (file-name (git-file-name name version))
4339 (sha256
4340 (base32
4341 "1yc0gsds5m2nv39zga8nnrca2n75rkqy5dz4xj1635ybz20hhbjd"))))
4342 (build-system dune-build-system)
4343 (propagated-inputs
4344 `(("ocaml-base" ,ocaml4.07-base)
4345 ("ocaml-variantslib" ,ocaml4.07-variantslib)
4346 ("ocaml-migrate-parsetree"
4347 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4348 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4349 (arguments
4350 `(#:ocaml ,ocaml-4.07
4351 #:findlib ,ocaml4.07-findlib))
4352 (properties
4353 `((upstream-name . "ppx_variants_conv")))
4354 (home-page
4355 "https://github.com/janestreet/ppx_variants_conv")
4356 (synopsis "Generation of accessor and iteration functions for OCaml variant types")
4357 (description
4358 "This package generates accessors and interation functions for OCaml
4359 variant types.")
4360 (license license:asl2.0)))
4361
4362 (define-public ocaml4.07-ppx-custom-printf
4363 (package
4364 (name "ocaml4.07-ppx-custom-printf")
4365 (version "0.11.0")
4366 (source (origin
4367 (method url-fetch)
4368 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
4369 (version-major+minor version)
4370 "/files/ppx_custom_printf-v" version ".tar.gz"))
4371 (sha256
4372 (base32
4373 "11b73smf3g3bpd9lg014pr4rx285nk9mnk6g6464ph51jv0sqzhj"))))
4374 (build-system dune-build-system)
4375 (propagated-inputs
4376 `(("ocaml-base" ,ocaml4.07-base)
4377 ("ocaml-ppx-sexp-conv" ,ocaml4.07-ppx-sexp-conv)
4378 ("ocaml-migrate-parsetree"
4379 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4380 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4381 (arguments
4382 `(#:ocaml ,ocaml-4.07
4383 #:findlib ,ocaml4.07-findlib))
4384 (properties `((upstream-name . "ppx_custom_printf")))
4385 (home-page "https://github.com/janestreet/ppx_custom_printf")
4386 (synopsis "Printf-style format-strings for user-defined string conversion")
4387 (description "Extensions to printf-style format-strings for user-defined
4388 string conversion.")
4389 (license license:asl2.0)))
4390
4391 (define-public ocaml4.07-bin-prot
4392 (package
4393 (name "ocaml4.07-bin-prot")
4394 (version "0.11.0")
4395 (source (origin
4396 (method url-fetch)
4397 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
4398 (version-major+minor version)
4399 "/files/bin_prot-v" version ".tar.gz"))
4400 (sha256
4401 (base32
4402 "1rsd91gx36prj4whi76nsiz1bzpgal9nzyw3pxdz1alv4ilk2il6"))))
4403 (build-system dune-build-system)
4404 (inputs
4405 `(("ocaml-base" ,ocaml4.07-base)
4406 ("ocaml-ppx-compare" ,ocaml4.07-ppx-compare)
4407 ("ocaml-ppx-custom-printf" ,ocaml4.07-ppx-custom-printf)
4408 ("ocaml-ppx-fields-conv" ,ocaml4.07-ppx-fields-conv)
4409 ("ocaml-ppx-sexp-conv" ,ocaml4.07-ppx-sexp-conv)
4410 ("ocaml-ppx-variants-conv" ,ocaml4.07-ppx-variants-conv)
4411 ("ocaml-migrate-parsetree"
4412 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))))
4413 (arguments
4414 `(#:ocaml ,ocaml-4.07
4415 #:findlib ,ocaml4.07-findlib))
4416 (properties `((upstream-name . "bin_prot")))
4417 (home-page "https://github.com/janestreet/bin_prot")
4418 (synopsis "Binary protocol generator")
4419 (description "This library contains functionality for reading and writing
4420 OCaml-values in a type-safe binary protocol. It is extremely efficient,
4421 typically supporting type-safe marshalling and unmarshalling of even highly
4422 structured values at speeds sufficient to saturate a gigabit connection. The
4423 protocol is also heavily optimized for size, making it ideal for long-term
4424 storage of large amounts of data.")
4425 (license (list
4426 license:asl2.0
4427 license:bsd-3))))
4428
4429 (define-public ocaml-octavius
4430 (package
4431 (name "ocaml-octavius")
4432 (version "1.2.1")
4433 (source (origin
4434 (method git-fetch)
4435 (uri (git-reference
4436 (url "https://github.com/ocaml-doc/octavius")
4437 (commit (string-append "v" version))))
4438 (file-name (git-file-name name version))
4439 (sha256
4440 (base32
4441 "1ck6yj6z5rvqyl39rz87ca1bnk0f1dpgvlk115631hjh8bwpfvfq"))))
4442 (build-system dune-build-system)
4443 (properties `((upstream-name . "octavius")))
4444 (home-page "https://github.com/ocaml-doc/octavius")
4445 (synopsis "Ocamldoc comment syntax parser")
4446 (description "Octavius is a library to parse the `ocamldoc` comment syntax.")
4447 (license license:isc)))
4448
4449 (define-public ocaml4.07-ppx-hash
4450 (package
4451 (name "ocaml4.07-ppx-hash")
4452 (version "0.11.1")
4453 (source (origin
4454 (method git-fetch)
4455 (uri (git-reference
4456 (url "https://github.com/janestreet/ppx_hash.git")
4457 (commit (string-append "v" version))))
4458 (file-name (git-file-name name version))
4459 (sha256
4460 (base32
4461 "1p0ic6aijxlrdggpmycj12q3cy9xksbq2vq727215maz4snvlf5p"))))
4462 (build-system dune-build-system)
4463 (propagated-inputs
4464 `(("ocaml-base" ,ocaml4.07-base)
4465 ("ocaml-ppx-compare" ,ocaml4.07-ppx-compare)
4466 ("ocaml-ppx-sexp-conv" ,ocaml4.07-ppx-sexp-conv)
4467 ("ocaml-migrate-parsetree"
4468 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4469 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4470 (arguments
4471 `(#:ocaml ,ocaml-4.07
4472 #:findlib ,ocaml4.07-findlib))
4473 (properties `((upstream-name . "ppx_hash")))
4474 (home-page "https://github.com/janestreet/ppx_hash")
4475 (synopsis "Generation of hash functions from type expressions and definitions")
4476 (description "This package is a collection of ppx rewriters that generate
4477 hash functions from type exrpessions and definitions.")
4478 (license license:asl2.0)))
4479
4480 (define-public ocaml4.07-ppx-enumerate
4481 (package
4482 (name "ocaml4.07-ppx-enumerate")
4483 (version "0.11.1")
4484 (source (origin
4485 (method git-fetch)
4486 (uri (git-reference
4487 (url "https://github.com/janestreet/ppx_enumerate.git")
4488 (commit (string-append "v" version))))
4489 (file-name (git-file-name name version))
4490 (sha256
4491 (base32
4492 "0spx9k1v7vjjb6sigbfs69yndgq76v114jhxvzjmffw7q989cyhr"))))
4493 (build-system dune-build-system)
4494 (arguments
4495 `(#:tests? #f; no test suite
4496 #:ocaml ,ocaml-4.07
4497 #:findlib ,ocaml4.07-findlib))
4498 (propagated-inputs
4499 `(("ocaml-base" ,ocaml4.07-base)
4500 ("ocaml-migrate-parsetree"
4501 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4502 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4503 (properties `((upstream-name . "ppx_enumerate")))
4504 (home-page "https://github.com/janestreet/ppx_enumerate")
4505 (synopsis "Generate a list containing all values of a finite type")
4506 (description "Ppx_enumerate is a ppx rewriter which generates a definition
4507 for the list of all values of a type (for a type which only has finitely
4508 many values).")
4509 (license license:asl2.0)))
4510
4511 (define-public ocaml4.07-ppx-bench
4512 (package
4513 (name "ocaml4.07-ppx-bench")
4514 (version "0.11.0")
4515 (source (origin
4516 (method url-fetch)
4517 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
4518 (version-major+minor version)
4519 "/files/ppx_bench-v" version ".tar.gz"))
4520 (sha256
4521 (base32
4522 "0ys4pblbcjbk9dn073rqiwm7r6rc7fah03j7riklkwnb5n44andl"))))
4523 (build-system dune-build-system)
4524 (arguments
4525 ;; No tests
4526 `(#:tests? #f
4527 #:ocaml ,ocaml-4.07
4528 #:findlib ,ocaml4.07-findlib))
4529 (propagated-inputs
4530 `(("ocaml-ppx-inline-test" ,ocaml4.07-ppx-inline-test)
4531 ("ocaml-migrate-parsetree"
4532 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4533 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4534 (properties `((upstream-name . "ppx_bench")))
4535 (home-page "https://github.com/janestreet/ppx_bench")
4536 (synopsis "Syntax extension for writing in-line benchmarks in ocaml code")
4537 (description "Syntax extension for writing in-line benchmarks in ocaml code.")
4538 (license license:asl2.0)))
4539
4540 (define-public ocaml4.07-ppx-here
4541 (package
4542 (name "ocaml4.07-ppx-here")
4543 (version "0.11.0")
4544 (source (origin
4545 (method url-fetch)
4546 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
4547 (version-major+minor version)
4548 "/files/ppx_here-v" version ".tar.gz"))
4549 (sha256
4550 (base32
4551 "0wxcak3ay4jpigm3pfdcpr65qw4hxfa8whhkryhcd8gy71x056z5"))))
4552 (build-system dune-build-system)
4553 (arguments
4554 ;; broken tests
4555 `(#:tests? #f
4556 #:ocaml ,ocaml-4.07
4557 #:findlib ,ocaml4.07-findlib))
4558 (propagated-inputs
4559 `(("ocaml-base" ,ocaml4.07-base)
4560 ("ocaml-migrate-parsetree"
4561 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4562 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4563 (properties `((upstream-name . "ppx_here")))
4564 (home-page "https://github.com/janestreet/ppx_here")
4565 (synopsis "Expands [%here] into its location")
4566 (description
4567 "Part of the Jane Street's PPX rewriters collection.")
4568 (license license:asl2.0)))
4569
4570 (define-public ocaml4.07-typerep
4571 (package
4572 (name "ocaml4.07-typerep")
4573 (version "0.11.0")
4574 (source (origin
4575 (method url-fetch)
4576 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
4577 (version-major+minor version)
4578 "/files/typerep-v" version ".tar.gz"))
4579 (sha256
4580 (base32
4581 "1zi7hy0prpgzqhr4lkacr04wvlvbp21jfbdfvffhrm6cd400rb5v"))))
4582 (build-system dune-build-system)
4583 (arguments
4584 `(#:tests? #f
4585 #:ocaml ,ocaml-4.07
4586 #:findlib ,ocaml4.07-findlib))
4587 (propagated-inputs `(("ocaml-base" ,ocaml4.07-base)))
4588 (home-page "https://github.com/janestreet/typerep")
4589 (synopsis "Typerep is a library for runtime types")
4590 (description "Typerep is a library for runtime types.")
4591 (license license:asl2.0)))
4592
4593 (define-public ocaml4.07-ppx-sexp-value
4594 (package
4595 (name "ocaml4.07-ppx-sexp-value")
4596 (version "0.11.0")
4597 (source (origin
4598 (method url-fetch)
4599 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
4600 (version-major+minor version)
4601 "/files/ppx_sexp_value-v" version ".tar.gz"))
4602 (sha256
4603 (base32
4604 "1xnalfrln6k5khsyxvxkg6v32q8fpr4cqamsjqfih29jdv486xrs"))))
4605 (build-system dune-build-system)
4606 (arguments
4607 `(#:ocaml ,ocaml-4.07
4608 #:findlib ,ocaml4.07-findlib))
4609 (propagated-inputs
4610 `(("ocaml-base" ,ocaml4.07-base)
4611 ("ocaml-ppx-here" ,ocaml4.07-ppx-here)
4612 ("ocaml-ppx-sexp-conv" ,ocaml4.07-ppx-sexp-conv)
4613 ("ocaml-migrate-parsetree"
4614 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4615 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4616 (properties `((upstream-name . "ppx_sexp_value")))
4617 (home-page "https://github.com/janestreet/ppx_sexp_value")
4618 (synopsis "Simplify building s-expressions from ocaml values")
4619 (description "A ppx rewriter that simplifies building s-expressions from
4620 ocaml values.")
4621 (license license:asl2.0)))
4622
4623 (define-public ocaml4.07-ppx-sexp-message
4624 (package
4625 (name "ocaml4.07-ppx-sexp-message")
4626 (version "0.11.0")
4627 (source (origin
4628 (method url-fetch)
4629 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
4630 (version-major+minor version)
4631 "/files/ppx_sexp_message-v" version ".tar.gz"))
4632 (sha256
4633 (base32
4634 "1yh440za0w9cvrbxbmqacir8715kdaw6sw24ys9xj80av9nqpiw7"))))
4635 (build-system dune-build-system)
4636 (arguments
4637 `(#:ocaml ,ocaml-4.07
4638 #:findlib ,ocaml4.07-findlib))
4639 (propagated-inputs
4640 `(("ocaml-base" ,ocaml4.07-base)
4641 ("ocaml-ppx-here" ,ocaml4.07-ppx-here)
4642 ("ocaml-ppx-sexp-conv" ,ocaml4.07-ppx-sexp-conv)
4643 ("ocaml-migrate-parsetree"
4644 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4645 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4646 (properties `((upstream-name . "ppx_sexp_message")))
4647 (home-page "https://github.com/janestreet/ppx_sexp_message")
4648 (synopsis "A ppx rewriter for easy construction of s-expressions")
4649 (description "Ppx_sexp_message aims to ease the creation of s-expressions
4650 in OCaml. This is mainly motivated by writing error and debugging messages,
4651 where one needs to construct a s-expression based on various element of the
4652 context such as function arguments.")
4653 (license license:asl2.0)))
4654
4655 (define-public ocaml4.07-ppx-pipebang
4656 (package
4657 (name "ocaml4.07-ppx-pipebang")
4658 (version "0.11.0")
4659 (source (origin
4660 (method url-fetch)
4661 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
4662 (version-major+minor version)
4663 "/files/ppx_pipebang-v" version ".tar.gz"))
4664 (sha256
4665 (base32
4666 "1wrrzlb4kdvkkcmzi01fw25jar38r2jlnyn0i6pn4z0lq4gpm9m0"))))
4667 (build-system dune-build-system)
4668 (arguments
4669 ;; No tests
4670 `(#:tests? #f
4671 #:ocaml ,ocaml-4.07
4672 #:findlib ,ocaml4.07-findlib))
4673 (propagated-inputs
4674 `(("ocaml-migrate-parsetree"
4675 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4676 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4677 (properties `((upstream-name . "ppx_pipebang")))
4678 (home-page "https://github.com/janestreet/ppx_pipebang")
4679 (synopsis "Inline reverse application operators `|>` and `|!`")
4680 (description "A ppx rewriter that inlines reverse application operators
4681 @code{|>} and @code{|!}.")
4682 (license license:asl2.0)))
4683
4684 (define-public ocaml4.07-ppx-optional
4685 (package
4686 (name "ocaml4.07-ppx-optional")
4687 (version "0.11.0")
4688 (source (origin
4689 (method url-fetch)
4690 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
4691 (version-major+minor version)
4692 "/files/ppx_optional-v" version ".tar.gz"))
4693 (sha256
4694 (base32
4695 "1z8z2bga95k2vksljljfglg10vygkjd24kn1b37sk4z3nmp47x0h"))))
4696 (build-system dune-build-system)
4697 (arguments
4698 ;; No tests
4699 `(#:tests? #f
4700 #:ocaml ,ocaml-4.07
4701 #:findlib ,ocaml4.07-findlib))
4702 (propagated-inputs
4703 `(("ocaml-base" ,ocaml4.07-base)
4704 ("ocaml-migrate-parsetree"
4705 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4706 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4707 (properties `((upstream-name . "ppx_optional")))
4708 (home-page "https://github.com/janestreet/ppx_optional")
4709 (synopsis "Pattern matching on flat options")
4710 (description
4711 "A ppx rewriter that rewrites simple match statements with an if then
4712 else expression.")
4713 (license license:asl2.0)))
4714
4715 (define-public ocaml4.07-ppx-optcomp
4716 (package
4717 (name "ocaml4.07-ppx-optcomp")
4718 (version "0.11.0")
4719 (source (origin
4720 (method url-fetch)
4721 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
4722 (version-major+minor version)
4723 "/files/ppx_optcomp-v" version ".tar.gz"))
4724 (sha256
4725 (base32
4726 "1bb52p2j2h4s9f06vrcpla80rj93jinnzq6jzilapyx9q068929i"))))
4727 (build-system dune-build-system)
4728 (arguments
4729 `(#:ocaml ,ocaml-4.07
4730 #:findlib ,ocaml4.07-findlib))
4731 (propagated-inputs
4732 `(("ocaml-base" ,ocaml4.07-base)
4733 ("ocaml-stdio" ,ocaml4.07-stdio)
4734 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4735 (properties `((upstream-name . "ppx_optcomp")))
4736 (home-page "https://github.com/janestreet/ppx_optcomp")
4737 (synopsis "Optional compilation for OCaml")
4738 (description "Ppx_optcomp stands for Optional Compilation. It is a tool
4739 used to handle optional compilations of pieces of code depending of the word
4740 size, the version of the compiler, ...")
4741 (license license:asl2.0)))
4742
4743 (define-public ocaml4.07-ppx-let
4744 (package
4745 (name "ocaml4.07-ppx-let")
4746 (version "0.11.0")
4747 (source (origin
4748 (method url-fetch)
4749 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
4750 (version-major+minor version)
4751 "/files/ppx_let-v" version ".tar.gz"))
4752 (sha256
4753 (base32
4754 "1wdfw6w4xbg97a35yg6bif9gggxniy9ddnrjfw1a0inkl2yamxkj"))))
4755 (build-system dune-build-system)
4756 (arguments
4757 `(#:ocaml ,ocaml-4.07
4758 #:findlib ,ocaml4.07-findlib))
4759 (propagated-inputs
4760 `(("ocaml-base" ,ocaml4.07-base)
4761 ("ocaml-migrate-parsetree"
4762 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4763 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4764 (properties `((upstream-name . "ppx_let")))
4765 (home-page "https://github.com/janestreet/ppx_let")
4766 (synopsis "Monadic let-bindings")
4767 (description "A ppx rewriter for monadic and applicative let bindings,
4768 match expressions, and if expressions.")
4769 (license license:asl2.0)))
4770
4771 (define-public ocaml4.07-ppx-fail
4772 (package
4773 (name "ocaml4.07-ppx-fail")
4774 (version "0.11.0")
4775 (source (origin
4776 (method url-fetch)
4777 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
4778 (version-major+minor version)
4779 "/files/ppx_fail-v" version ".tar.gz"))
4780 (sha256
4781 (base32
4782 "07plqsvljiwvngggfypwq55g46s5my55y45mvlmalrxyppzr03s8"))))
4783 (build-system dune-build-system)
4784 (arguments
4785 `(#:ocaml ,ocaml-4.07
4786 #:findlib ,ocaml4.07-findlib))
4787 (propagated-inputs
4788 `(("ocaml-base" ,ocaml4.07-base)
4789 ("ocaml-ppx-here" ,ocaml4.07-ppx-here)
4790 ("ocaml-migrate-parsetree"
4791 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4792 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4793 (properties `((upstream-name . "ppx_fail")))
4794 (home-page "https://github.com/janestreet/ppx_fail")
4795 (synopsis "Add location to calls to failwiths")
4796 (description "Syntax extension that makes [failwiths] always include a
4797 position.")
4798 (license license:asl2.0)))
4799
4800 (define-public ocaml4.07-ppx-assert
4801 (package
4802 (name "ocaml4.07-ppx-assert")
4803 (version "0.11.0")
4804 (source (origin
4805 (method url-fetch)
4806 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
4807 (version-major+minor version)
4808 "/files/ppx_assert-v" version ".tar.gz"))
4809 (sha256
4810 (base32
4811 "17kd311n0l9f72gblf9kv8i5rghr106w37x4f0m5qwh6nlgl0j9k"))))
4812 (build-system dune-build-system)
4813 (arguments
4814 `(#:ocaml ,ocaml-4.07
4815 #:findlib ,ocaml4.07-findlib))
4816 (propagated-inputs
4817 `(("ocaml-base" ,ocaml4.07-base)
4818 ("ocaml-ppx-compare" ,ocaml4.07-ppx-compare)
4819 ("ocaml-ppx-here" ,ocaml4.07-ppx-here)
4820 ("ocaml-ppx-sexp-conv" ,ocaml4.07-ppx-sexp-conv)
4821 ("ocaml-migrate-parsetree"
4822 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4823 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4824 (properties `((upstream-name . "ppx_assert")))
4825 (home-page "https://github.com/janestreet/ppx_assert")
4826 (synopsis "Assert-like extension nodes that raise useful errors on failure")
4827 (description "This package contains assert-like extension nodes that raise
4828 useful errors on failure.")
4829 (license license:asl2.0)))
4830
4831 (define-public ocaml4.07-ppx-expect
4832 (package
4833 (name "ocaml4.07-ppx-expect")
4834 (version "0.12.0")
4835 (source (origin
4836 (method git-fetch)
4837 (uri (git-reference
4838 (url "https://github.com/janestreet/ppx_expect.git")
4839 (commit (string-append "v" version))))
4840 (file-name (git-file-name name version))
4841 (sha256
4842 (base32
4843 "1wawsbjfkri4sw52n8xqrzihxc3xfpdicv3ahz83a1rsn4lb8j5q"))))
4844 (build-system dune-build-system)
4845 (arguments
4846 `(#:jbuild? #t
4847 #:ocaml ,ocaml-4.07
4848 #:findlib ,ocaml4.07-findlib))
4849 (propagated-inputs
4850 `(("ocaml-base" ,ocaml4.07-base)
4851 ("ocaml-ppx-assert" ,ocaml4.07-ppx-assert)
4852 ("ocaml-ppx-compare" ,ocaml4.07-ppx-compare)
4853 ("ocaml-ppx-custom-printf" ,ocaml4.07-ppx-custom-printf)
4854 ("ocaml-ppx-fields-conv" ,ocaml4.07-ppx-fields-conv)
4855 ("ocaml-ppx-here" ,ocaml4.07-ppx-here)
4856 ("ocaml-ppx-inline-test" ,ocaml4.07-ppx-inline-test)
4857 ("ocaml-ppx-sexp-conv" ,ocaml4.07-ppx-sexp-conv)
4858 ("ocaml-ppx-variants-conv" ,ocaml4.07-ppx-variants-conv)
4859 ("ocaml-stdio" ,ocaml4.07-stdio)
4860 ("ocaml-migrate-parsetree"
4861 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4862 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)
4863 ("ocaml-re" ,(package-with-ocaml4.07 ocaml-re))))
4864 (properties `((upstream-name . "ppx_expect")))
4865 (home-page "https://github.com/janestreet/ppx_expect")
4866 (synopsis "Cram like framework for OCaml")
4867 (description "Expect-test is a framework for writing tests in OCaml, similar
4868 to Cram. Expect-tests mimics the existing inline tests framework with the
4869 @code{let%expect_test} construct. The body of an expect-test can contain
4870 output-generating code, interleaved with @code{%expect} extension expressions
4871 to denote the expected output.")
4872 (license license:asl2.0)))
4873
4874 (define-public ocaml4.07-ppx-js-style
4875 (package
4876 (name "ocaml4.07-ppx-js-style")
4877 (version "0.11.0")
4878 (source (origin
4879 (method url-fetch)
4880 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
4881 (version-major+minor version)
4882 "/files/ppx_js_style-v" version ".tar.gz"))
4883 (sha256
4884 (base32
4885 "0z3fc55jdjhhsblla6z4fqc13kljpcz29q79rvs5h2vsraqrldr2"))))
4886 (build-system dune-build-system)
4887 (arguments
4888 ;; No tests
4889 `(#:tests? #f
4890 #:ocaml ,ocaml-4.07
4891 #:findlib ,ocaml4.07-findlib))
4892 (propagated-inputs
4893 `(("ocaml-base" ,ocaml4.07-base)
4894 ("ocaml-migrate-parsetree"
4895 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4896 ("ocaml-octavius" ,(package-with-ocaml4.07 ocaml-octavius))
4897 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4898 (properties `((upstream-name . "ppx_js_style")))
4899 (home-page "https://github.com/janestreet/ppx_js_style")
4900 (synopsis "Code style checker for Jane Street Packages")
4901 (description "This package is a no-op ppx rewriter. It is used as a
4902 @code{lint} tool to enforce some coding conventions across all Jane Street
4903 packages.")
4904 (license license:asl2.0)))
4905
4906 (define-public ocaml4.07-ppx-typerep-conv
4907 (package
4908 (name "ocaml4.07-ppx-typerep-conv")
4909 (version "0.11.1")
4910 (source (origin
4911 (method git-fetch)
4912 (uri (git-reference
4913 (url "https://github.com/janestreet/ppx_typerep_conv.git")
4914 (commit (string-append "v" version))))
4915 (file-name (git-file-name name version))
4916 (sha256
4917 (base32
4918 "0a13dpfrrg0rsm8qni1bh7pqcda30l70z8r6yzi5a64bmwk7g5ah"))))
4919 (build-system dune-build-system)
4920 (arguments
4921 `(#:test-target "."
4922 #:ocaml ,ocaml-4.07
4923 #:findlib ,ocaml4.07-findlib))
4924 (propagated-inputs
4925 `(("ocaml-base" ,ocaml4.07-base)
4926 ("ocaml-typerep" ,ocaml4.07-typerep)
4927 ("ocaml-migrate-parsetree"
4928 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4929 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4930 (properties `((upstream-name . "ppx_typerep_conv")))
4931 (home-page "https://github.com/janestreet/ppx_typerep_conv")
4932 (synopsis "Generation of runtime types from type declarations")
4933 (description "This package can automatically generate runtime types
4934 from type definitions.")
4935 (license license:asl2.0)))
4936
4937 (define-public ocaml4.07-ppx-base
4938 (package
4939 (name "ocaml4.07-ppx-base")
4940 (version "0.11.0")
4941 (source (origin
4942 (method url-fetch)
4943 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
4944 (version-major+minor version)
4945 "/files/ppx_base-v" version ".tar.gz"))
4946 (sha256
4947 (base32
4948 "0aq206pg330jmj7lhcagiiwm3a0b3gsqm801m8ajd4ysyw7idkym"))))
4949 (build-system dune-build-system)
4950 (arguments
4951 `(#:test-target "."
4952 #:ocaml ,ocaml-4.07
4953 #:findlib ,ocaml4.07-findlib))
4954 (propagated-inputs
4955 `(("ocaml-ppx-compare" ,ocaml4.07-ppx-compare)
4956 ("ocaml-ppx-enumerate" ,ocaml4.07-ppx-enumerate)
4957 ("ocaml-ppx-hash" ,ocaml4.07-ppx-hash)
4958 ("ocaml-ppx-js-style" ,ocaml4.07-ppx-js-style)
4959 ("ocaml-ppx-sexp-conv" ,ocaml4.07-ppx-sexp-conv)
4960 ("ocaml-migrate-parsetree"
4961 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4962 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4963 (properties `((upstream-name . "ppx_base")))
4964 (home-page "https://github.com/janestreet/ppx_base")
4965 (synopsis "Base set of ppx rewriters")
4966 (description "Ppx_base is the set of ppx rewriters used for Base.
4967
4968 Note that Base doesn't need ppx to build, it is only used as a
4969 verification tool.")
4970 (license license:asl2.0)))
4971
4972 (define-public ocaml4.07-ppx-bin-prot
4973 (package
4974 (name "ocaml4.07-ppx-bin-prot")
4975 (version "0.11.1")
4976 (source (origin
4977 (method git-fetch)
4978 (uri (git-reference
4979 (url "https://github.com/janestreet/ppx_bin_prot.git")
4980 (commit (string-append "v" version))))
4981 (file-name (git-file-name name version))
4982 (sha256
4983 (base32
4984 "1h60i75bzvhna1axyn662gyrzhh441l79vl142d235i5x31dmnkz"))))
4985 (build-system dune-build-system)
4986 (arguments
4987 ;; Cyclic dependency with ocaml-ppx-jane
4988 `(#:tests? #f
4989 #:ocaml ,ocaml-4.07
4990 #:findlib ,ocaml4.07-findlib))
4991 (propagated-inputs
4992 `(("ocaml-base" ,ocaml4.07-base)
4993 ("ocaml-bin-prot" ,ocaml4.07-bin-prot)
4994 ("ocaml-ppx-here" ,ocaml4.07-ppx-here)
4995 ("ocaml-migrate-parsetree"
4996 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
4997 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
4998 (properties `((upstream-name . "ppx_bin_prot")))
4999 (home-page "https://github.com/janestreet/ppx_bin_prot")
5000 (synopsis "Generation of bin_prot readers and writers from types")
5001 (description "Generation of binary serialization and deserialization
5002 functions from type definitions.")
5003 (license license:asl2.0)))
5004
5005 (define-public ocaml4.07-ppx-jane
5006 (package
5007 (name "ocaml4.07-ppx-jane")
5008 (version "0.11.0")
5009 (source (origin
5010 (method url-fetch)
5011 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
5012 (version-major+minor version)
5013 "/files/ppx_jane-v" version ".tar.gz"))
5014 (sha256
5015 (base32
5016 "0lgppkw3aixrfnixihrsz2ipafv8fpvkdpy3pw8n0r615gg8x8la"))))
5017 (build-system dune-build-system)
5018 (arguments
5019 `(#:test-target "."
5020 #:ocaml ,ocaml-4.07
5021 #:findlib ,ocaml4.07-findlib))
5022 (propagated-inputs
5023 `(("ocaml-ppx-assert" ,ocaml4.07-ppx-assert)
5024 ("ocaml-ppx-base" ,ocaml4.07-ppx-base)
5025 ("ocaml-ppx-bench" ,ocaml4.07-ppx-bench)
5026 ("ocaml-ppx-bin-prot" ,ocaml4.07-ppx-bin-prot)
5027 ("ocaml-ppx-custom-printf" ,ocaml4.07-ppx-custom-printf)
5028 ("ocaml-ppx-expect" ,ocaml4.07-ppx-expect)
5029 ("ocaml-ppx-fail" ,ocaml4.07-ppx-fail)
5030 ("ocaml-ppx-fields-conv" ,ocaml4.07-ppx-fields-conv)
5031 ("ocaml-ppx-here" ,ocaml4.07-ppx-here)
5032 ("ocaml-ppx-inline-test" ,ocaml4.07-ppx-inline-test)
5033 ("ocaml-ppx-let" ,ocaml4.07-ppx-let)
5034 ("ocaml-ppx-optcomp" ,ocaml4.07-ppx-optcomp)
5035 ("ocaml-ppx-optional" ,ocaml4.07-ppx-optional)
5036 ("ocaml-ppx-pipebang" ,ocaml4.07-ppx-pipebang)
5037 ("ocaml-ppx-sexp-message" ,ocaml4.07-ppx-sexp-message)
5038 ("ocaml-ppx-sexp-value" ,ocaml4.07-ppx-sexp-value)
5039 ("ocaml-ppx-typerep-conv" ,ocaml4.07-ppx-typerep-conv)
5040 ("ocaml-ppx-variants-conv" ,ocaml4.07-ppx-variants-conv)
5041 ("ocaml-migrate-parsetree"
5042 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
5043 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
5044 (properties `((upstream-name . "ppx_jane")))
5045 (home-page "https://github.com/janestreet/ppx_jane")
5046 (synopsis "Standard Jane Street ppx rewriters")
5047 (description "This package installs a ppx-jane executable, which is a ppx
5048 driver including all standard Jane Street ppx rewriters.")
5049 (license license:asl2.0)))
5050
5051 (define-public ocaml4.07-splittable-random
5052 (package
5053 (name "ocaml4.07-splittable-random")
5054 (version "0.11.0")
5055 (source (origin
5056 (method url-fetch)
5057 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
5058 (version-major+minor version)
5059 "/files/splittable_random-v" version ".tar.gz"))
5060 (sha256
5061 (base32
5062 "0l1wbd881mymlnpzlq5q53mmdz3g5d7qjhyc7lfaq1x0iaccn5lc"))))
5063 (build-system dune-build-system)
5064 (arguments
5065 `(#:ocaml ,ocaml-4.07
5066 #:findlib ,ocaml4.07-findlib))
5067 (propagated-inputs
5068 `(("ocaml-base" ,ocaml4.07-base)
5069 ("ocaml-ppx-jane" ,ocaml4.07-ppx-jane)
5070 ("ocaml-migrate-parsetree"
5071 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))))
5072 (properties `((upstream-name . "splittable_random")))
5073 (home-page "https://github.com/janestreet/splittable_random")
5074 (synopsis "PRNG that can be split into independent streams")
5075 (description "This package provides a splittable
5076 @acronym{PRNG,pseudo-random number generator} functions like a PRNG that can
5077 be used as a stream of random values; it can also be split to produce a
5078 second, independent stream of random values.
5079
5080 This library implements a splittable pseudo-random number generator that sacrifices
5081 cryptographic-quality randomness in favor of performance.")
5082 (license license:asl2.0)))
5083
5084 (define-public ocaml-jane-street-headers
5085 (package
5086 (name "ocaml-jane-street-headers")
5087 (version "0.11.0")
5088 (source (origin
5089 (method url-fetch)
5090 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
5091 (version-major+minor version)
5092 "/files/jane-street-headers-v" version ".tar.gz"))
5093 (sha256
5094 (base32
5095 "0afhzm08l9v883fhpqqh2lmy7az609pxif40bp7x1sk8c0yszqsh"))))
5096 (build-system dune-build-system)
5097 (arguments
5098 `(#:test-target "."))
5099 (home-page "https://github.com/janestreet/jane-street-headers")
5100 (synopsis "Jane Street C header files")
5101 (description "This package provides C header files shared between the
5102 various Jane Street packages.")
5103 (license license:asl2.0)))
5104
5105 (define-public ocaml4.07-configurator
5106 (package
5107 (name "ocaml4.07-configurator")
5108 (version "0.11.0")
5109 (source (origin
5110 (method url-fetch)
5111 (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
5112 (version-major+minor version)
5113 "/files/configurator-v" version ".tar.gz"))
5114 (sha256
5115 (base32
5116 "0kwgi3sh92v4n242dk5hgpwd85zzgnczgbkqi0q0kr6m93zgbf7p"))))
5117 (build-system dune-build-system)
5118 (arguments
5119 ;; No tests
5120 `(#:tests? #f
5121 #:ocaml ,ocaml-4.07
5122 #:findlib ,ocaml4.07-findlib))
5123 (propagated-inputs
5124 `(("ocaml-base" ,ocaml4.07-base)
5125 ("ocaml-stdio" ,ocaml4.07-stdio)))
5126 (home-page "https://github.com/janestreet/configurator")
5127 (synopsis "Helper library for gathering system configuration")
5128 (description "Configurator is a small library that helps writing OCaml
5129 scripts that test features available on the system, in order to generate config.h
5130 files for instance.
5131
5132 Configurator allows one to:
5133 @itemize
5134 @item test if a C program compiles
5135 @item query pkg-config
5136 @item import #define from OCaml header files
5137 @item generate config.h file
5138 @end itemize")
5139 (license license:asl2.0)))
5140
5141 (define-public ocaml4.07-spawn
5142 (package
5143 (name "ocaml4.07-spawn")
5144 (version "0.13.0")
5145 (source (origin
5146 (method git-fetch)
5147 (uri (git-reference
5148 (url "https://github.com/janestreet/spawn.git")
5149 (commit (string-append "v" version))))
5150 (file-name (git-file-name name version))
5151 (sha256
5152 (base32
5153 "1w003k1kw1lmyiqlk58gkxx8rac7dchiqlz6ah7aj7bh49b36ppf"))))
5154 (build-system dune-build-system)
5155 (arguments
5156 `(#:phases
5157 (modify-phases %standard-phases
5158 (add-before 'check 'fix-tests
5159 (lambda _
5160 (substitute* "test/tests.ml"
5161 (("/bin/pwd") (which "pwd"))
5162 (("/bin/echo") (which "echo")))
5163 #t)))
5164 #:ocaml ,ocaml-4.07
5165 #:findlib ,ocaml4.07-findlib))
5166 (native-inputs
5167 `(("ocaml-ppx-expect" ,ocaml4.07-ppx-expect)))
5168 (home-page "https://github.com/janestreet/spawn")
5169 (synopsis "Spawning sub-processes")
5170 (description
5171 "Spawn is a small library exposing only one functionality: spawning sub-process.
5172
5173 It has three main goals:
5174
5175 @itemize
5176 @item provide missing features of Unix.create_process such as providing a
5177 working directory,
5178 @item provide better errors when a system call fails in the
5179 sub-process. For instance if a command is not found, you get a proper
5180 @code{Unix.Unix_error} exception,
5181 @item improve performances by using vfork when available. It is often
5182 claimed that nowadays fork is as fast as vfork, however in practice
5183 fork takes time proportional to the process memory while vfork is
5184 constant time. In application using a lot of memory, vfork can be
5185 thousands of times faster than fork.
5186 @end itemize")
5187 (license license:asl2.0)))
5188
5189 (define-public ocaml4.07-core
5190 (package
5191 (name "ocaml4.07-core")
5192 (version "0.11.3")
5193 (source (origin
5194 (method git-fetch)
5195 (uri (git-reference
5196 (url "https://github.com/janestreet/core.git")
5197 (commit (string-append "v" version))))
5198 (file-name (git-file-name name version))
5199 (sha256
5200 (base32
5201 "0pzl8n09z4f3i7z2wq4cjxfqrr8mj6xcdp7rbg0nxap2zdhjgvrq"))))
5202 (build-system dune-build-system)
5203 (arguments
5204 `(#:jbuild? #t
5205 ;; Require a cyclic dependency: core_extended
5206 #:tests? #f
5207 #:ocaml ,ocaml-4.07
5208 #:findlib ,ocaml4.07-findlib))
5209 (propagated-inputs
5210 `(("ocaml-base" ,ocaml4.07-base)
5211 ("ocaml-configurator" ,ocaml4.07-configurator)
5212 ("ocaml-core-kernel" ,ocaml4.07-core-kernel)
5213 ("ocaml-ppx-assert" ,ocaml4.07-ppx-assert)
5214 ("ocaml-ppx-jane" ,ocaml4.07-ppx-jane)
5215 ("ocaml-sexplib" ,ocaml4.07-sexplib)
5216 ("ocaml-spawn" ,ocaml4.07-spawn)
5217 ("ocaml-stdio" ,ocaml4.07-stdio)
5218 ("ocaml-migrate-parsetree"
5219 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))
5220 ("ocaml-ppxlib" ,ocaml4.07-ppxlib)))
5221 (home-page "https://github.com/janestreet/core")
5222 (synopsis "Alternative to OCaml's standard library")
5223 (description "The Core suite of libraries is an alternative to OCaml's
5224 standard library that was developed by Jane Street.")
5225 ;; Also contains parts of OCaml, relicensed to asl2.0, as permitted
5226 ;; by OCaml's license for consortium members (see THIRD-PARTY.txt).
5227 (license license:asl2.0)))
5228
5229 (define-public ocaml4.07-core-kernel
5230 (package
5231 (name "ocaml4.07-core-kernel")
5232 (version "0.11.1")
5233 (source (origin
5234 (method git-fetch)
5235 (uri (git-reference
5236 (url "https://github.com/janestreet/core_kernel.git")
5237 (commit (string-append "v" version))))
5238 (file-name (git-file-name name version))
5239 (sha256
5240 (base32
5241 "1dg7ygy7i64c5gaakb1cp1b26p9ks81vbxmb8fd7jff2q60j2z2g"))))
5242 (build-system dune-build-system)
5243 (arguments
5244 ;; Cyclic dependency with ocaml-core
5245 `(#:tests? #f
5246 #:ocaml ,ocaml-4.07
5247 #:findlib ,ocaml4.07-findlib))
5248 (propagated-inputs
5249 `(("ocaml-base" ,ocaml4.07-base)
5250 ("ocaml-bin-prot" ,ocaml4.07-bin-prot)
5251 ("ocaml-configurator" ,ocaml4.07-configurator)
5252 ("ocaml-fieldslib" ,ocaml4.07-fieldslib)
5253 ("ocaml-jane-street-headers"
5254 ,(package-with-ocaml4.07 ocaml-jane-street-headers))
5255 ("ocaml-ppx-assert" ,ocaml4.07-ppx-assert)
5256 ("ocaml-ppx-base" ,ocaml4.07-ppx-base)
5257 ("ocaml-ppx-hash" ,ocaml4.07-ppx-hash)
5258 ("ocaml-ppx-inline-test" ,ocaml4.07-ppx-inline-test)
5259 ("ocaml-ppx-jane" ,ocaml4.07-ppx-jane)
5260 ("ocaml-ppx-sexp-conv" ,ocaml4.07-ppx-sexp-conv)
5261 ("ocaml-ppx-sexp-message" ,ocaml4.07-ppx-sexp-message)
5262 ("ocaml-sexplib" ,ocaml4.07-sexplib)
5263 ("ocaml-splittable-random" ,ocaml4.07-splittable-random)
5264 ("ocaml-stdio" ,ocaml4.07-stdio)
5265 ("ocaml-typerep" ,ocaml4.07-typerep)
5266 ("ocaml-variantslib" ,ocaml4.07-variantslib)
5267 ("ocaml-migrate-parsetree"
5268 ,(package-with-ocaml4.07 ocaml-migrate-parsetree))))
5269 (properties `((upstream-name . "core_kernel")))
5270 (home-page "https://github.com/janestreet/core_kernel")
5271 (synopsis "Portable standard library for OCaml")
5272 (description "Core is an alternative to the OCaml standard library.
5273
5274 Core_kernel is the system-independent part of Core. It is aimed for cases when
5275 the full Core is not available, such as in Javascript.")
5276 (license (list
5277 ;; this package and parts of OCaml, relicensed by janestreet
5278 license:asl2.0
5279 ;; MLton and sjs
5280 license:expat))))
5281
5282 (define-public ocaml-markup
5283 (package
5284 (name "ocaml-markup")
5285 (version "0.8.2")
5286 (home-page "https://github.com/aantron/markup.ml")
5287 (source
5288 (origin
5289 (method git-fetch)
5290 (uri (git-reference
5291 (url (string-append home-page ".git"))
5292 (commit version)))
5293 (file-name (git-file-name name version))
5294 (sha256
5295 (base32
5296 "13zcrwzjmifniv3bvjbkd2ah8wwa3ld75bxh1d8hrzdvfxzh9szn"))))
5297 (build-system dune-build-system)
5298 (arguments
5299 `(#:package "markup"))
5300 (inputs
5301 `(("libev" ,libev)))
5302 (propagated-inputs
5303 `(("ocaml-bisect-ppx" ,ocaml-bisect-ppx)
5304 ("ocaml-uchar" ,ocaml-uchar)
5305 ("ocaml-uutf" ,ocaml-uutf)
5306 ("ocaml-lwt" ,ocaml-lwt)))
5307 (native-inputs
5308 `(("ocaml-ounit" ,ocaml-ounit)
5309 ("pkg-config" ,pkg-config)))
5310 (synopsis "Error-recovering functional HTML5 and XML parsers and writers")
5311 (description "Markup.ml provides an HTML parser and an XML parser. The
5312 parsers are wrapped in a simple interface: they are functions that transform
5313 byte streams to parsing signal streams. Streams can be manipulated in various
5314 ways, such as processing by fold, filter, and map, assembly into DOM tree
5315 structures, or serialization back to HTML or XML.
5316
5317 Both parsers are based on their respective standards. The HTML parser, in
5318 particular, is based on the state machines defined in HTML5.
5319
5320 The parsers are error-recovering by default, and accept fragments. This makes
5321 it very easy to get a best-effort parse of some input. The parsers can,
5322 however, be easily configured to be strict, and to accept only full documents.
5323
5324 Apart from this, the parsers are streaming (do not build up a document in
5325 memory), non-blocking (can be used with threading libraries), lazy (do not
5326 consume input unless the signal stream is being read), and process the input in
5327 a single pass. They automatically detect the character encoding of the input
5328 stream, and convert everything to UTF-8.")
5329 (license license:bsd-3)))
5330
5331 (define-public ocaml-tyxml
5332 (package
5333 (name "ocaml-tyxml")
5334 (version "4.3.0")
5335 (source
5336 (origin
5337 (method git-fetch)
5338 (uri (git-reference
5339 (url "https://github.com/ocsigen/tyxml.git")
5340 (commit version)))
5341 (file-name (git-file-name name version))
5342 (sha256
5343 (base32
5344 "0wv19xipkj8l2sks1h53105ywbjwk7q93fb7b8al4a2g9wr109c0"))))
5345 (build-system dune-build-system)
5346 (inputs
5347 `(("ocaml-re" ,ocaml-re)
5348 ("ocaml-seq" ,ocaml-seq)
5349 ("ocaml-uutf" ,ocaml-uutf)
5350 ("ocaml-ppx-tools-versioned" ,ocaml-ppx-tools-versioned)
5351 ("ocaml-markup" ,ocaml-markup)))
5352 (native-inputs
5353 `(("ocaml-alcotest" ,ocaml-alcotest)))
5354 (arguments `(#:jbuild? #t))
5355 (home-page "https://github.com/ocsigen/tyxml/")
5356 (synopsis "TyXML is a library for building correct HTML and SVG documents")
5357 (description "TyXML provides a set of convenient combinators that uses the
5358 OCaml type system to ensure the validity of the generated documents. TyXML can
5359 be used with any representation of HTML and SVG: the textual one, provided
5360 directly by this package, or DOM trees (@code{js_of_ocaml-tyxml}) virtual DOM
5361 (@code{virtual-dom}) and reactive or replicated trees (@code{eliom}). You can
5362 also create your own representation and use it to instantiate a new set of
5363 combinators.")
5364 (license license:lgpl2.1)))
5365
5366 (define-public ocaml-bisect-ppx
5367 (package
5368 (name "ocaml-bisect-ppx")
5369 (version "1.4.2")
5370 (source
5371 (origin
5372 (method git-fetch)
5373 (uri (git-reference
5374 (url "https://github.com/aantron/bisect_ppx.git")
5375 (commit version)))
5376 (file-name (git-file-name name version))
5377 (sha256
5378 (base32
5379 "0900vli5kw7s5kdam0n4cqsfsfqb7mdb3azn3i55595gilg1vyn8"))))
5380 (build-system dune-build-system)
5381 (propagated-inputs
5382 `(("ocaml-migrate-parsetree" ,ocaml-migrate-parsetree)
5383 ("ocaml-ppx-tools-versioned" ,ocaml-ppx-tools-versioned)
5384 ("ocaml-ounit" ,ocaml-ounit)))
5385 (arguments
5386 `(#:phases
5387 (modify-phases %standard-phases
5388 (add-before 'build 'fix-deprecated
5389 (lambda _
5390 ;; Fixed upstream in 22dd1ad9a0c9629f60599c22d82c6488394d6d32, but
5391 ;; not in a release yet.
5392 (substitute* "src/ppx/instrument.ml"
5393 (("module Ast = Ast_405")
5394 "module Ast = Migrate_parsetree.Ast_405
5395 module Ast_405 = Ast"))
5396 #t)))))
5397 (home-page "https://github.com/aantron/bisect_ppx")
5398 (synopsis "Code coverage for OCaml")
5399 (description "Bisect_ppx helps you test thoroughly. It is a small
5400 preprocessor that inserts instrumentation at places in your code, such as
5401 if-then-else and match expressions. After you run tests, Bisect_ppx gives a
5402 nice HTML report showing which places were visited and which were missed.
5403
5404 Usage is simple - add package bisect_ppx when building tests, run your tests,
5405 then run the Bisect_ppx report tool on the generated visitation files.")
5406 (license license:mpl2.0)))
5407
5408 (define-public ocaml4.07-odoc
5409 (package
5410 (name "ocaml4.07-odoc")
5411 (version "1.4.2")
5412 (source
5413 (origin
5414 (method git-fetch)
5415 (uri (git-reference
5416 (url "https://github.com/ocaml/odoc")
5417 (commit version)))
5418 (file-name (git-file-name name version))
5419 (sha256
5420 (base32 "0rvhx139jx6wmlfz355mja6mk03x4swq1xxvk5ky6jzhalq3cf5i"))))
5421 (build-system dune-build-system)
5422 (arguments
5423 `(#:ocaml ,ocaml-4.07
5424 #:findlib ,ocaml4.07-findlib
5425 #:dune ,ocaml4.07-dune))
5426 (inputs
5427 `(("ocaml-alcotest" ,(package-with-ocaml4.07 ocaml-alcotest))
5428 ("ocaml-markup" ,(package-with-ocaml4.07 ocaml-markup))
5429 ("ocaml-sexplib" ,ocaml4.07-sexplib)
5430 ("ocaml-re" ,(package-with-ocaml4.07 ocaml-re))
5431 ("ocaml-uutf" ,(package-with-ocaml4.07 ocaml-uutf))))
5432 (native-inputs
5433 `(("ocaml-astring" ,(package-with-ocaml4.07 ocaml-astring))
5434 ("ocaml-cmdliner" ,(package-with-ocaml4.07 ocaml-cmdliner))
5435 ("ocaml-cppo" ,(package-with-ocaml4.07 ocaml-cppo))
5436 ("ocaml-fpath" ,(package-with-ocaml4.07 ocaml-fpath))
5437 ("ocaml-result" ,(package-with-ocaml4.07 ocaml-result))
5438 ("ocaml-tyxml" ,(package-with-ocaml4.07 ocaml-tyxml))
5439 ("ocaml-bisect-ppx" ,(package-with-ocaml4.07 ocaml-bisect-ppx))))
5440 (home-page "https://github.com/ocaml/odoc")
5441 (synopsis "OCaml documentation generator")
5442 (description "Odoc is a documentation generator for OCaml. It reads
5443 @emph{doc comments}, delimited with @code{(** ... *)}, and outputs
5444 @acronym{HTML}.
5445
5446 Text inside doc comments is marked up in ocamldoc syntax. Odoc's main
5447 advantage over ocamldoc is an accurate cross-referencer, which handles the
5448 complexity of the OCaml module system.")
5449 (license license:isc)))
5450
5451 (define-public ocaml4.07-fftw3
5452 (package
5453 (name "ocaml4.07-fftw3")
5454 (version "0.8.4")
5455 (source
5456 (origin
5457 (method git-fetch)
5458 (uri (git-reference
5459 (url "https://github.com/Chris00/fftw-ocaml.git")
5460 (commit version)))
5461 (file-name (git-file-name name version))
5462 (sha256
5463 (base32
5464 "0l66yagjkwdcib6q55wd8wiap50vi23qiahkghlvm28z7nvbclfk"))))
5465 (build-system dune-build-system)
5466 (arguments
5467 `(#:tests? #t
5468 #:test-target "tests"
5469 #:ocaml ,ocaml-4.07
5470 #:findlib ,ocaml4.07-findlib
5471 #:dune ,ocaml4.07-dune))
5472 (propagated-inputs
5473 `(("fftw" ,fftw)
5474 ("fftwf" ,fftwf)))
5475 (native-inputs
5476 `(("ocaml-cppo" ,(package-with-ocaml4.07 ocaml-cppo))
5477 ("ocaml-lacaml" ,ocaml4.07-lacaml)))
5478 (home-page
5479 "https://github.com/Chris00/fftw-ocaml")
5480 (synopsis
5481 "Bindings to FFTW3")
5482 (description
5483 "Bindings providing OCaml support for the seminal Fast Fourier Transform
5484 library FFTW.")
5485 (license license:lgpl2.1))) ; with static linking exception.
5486
5487 (define-public ocaml4.07-lacaml
5488 (package
5489 (name "ocaml4.07-lacaml")
5490 (version "11.0.5")
5491 (source
5492 (origin
5493 (method git-fetch)
5494 (uri (git-reference
5495 (url "https://github.com/mmottl/lacaml.git")
5496 (commit version)))
5497 (file-name (git-file-name name version))
5498 (sha256
5499 (base32
5500 "180yb79a3qgx067qcpm50q12hrimjygf06rgkzbish9d1zfm670c"))))
5501 (build-system dune-build-system)
5502 (arguments
5503 `(#:tests? #f ; No test target.
5504 #:ocaml ,ocaml-4.07
5505 #:findlib ,ocaml4.07-findlib
5506 #:dune ,ocaml4.07-dune))
5507 (native-inputs
5508 `(("openblas" ,openblas)
5509 ("lapack" ,lapack)
5510 ("ocaml-base" ,ocaml4.07-base)
5511 ("ocaml-stdio" ,ocaml4.07-stdio)))
5512 (home-page "https://mmottl.github.io/lacaml/")
5513 (synopsis
5514 "OCaml-bindings to BLAS and LAPACK")
5515 (description
5516 "Lacaml interfaces the BLAS-library (Basic Linear Algebra Subroutines) and
5517 LAPACK-library (Linear Algebra routines). It also contains many additional
5518 convenience functions for vectors and matrices.")
5519 (license license:lgpl2.1)))
5520
5521 (define-public ocaml-cairo2
5522 (package
5523 (name "ocaml-cairo2")
5524 (version "0.6.1")
5525 (source (origin
5526 (method git-fetch)
5527 (uri (git-reference
5528 (url "https://github.com/Chris00/ocaml-cairo.git")
5529 (commit version)))
5530 (file-name (git-file-name name version))
5531 (sha256
5532 (base32
5533 "0wzysis9fa850s68qh8vrvqc6svgllhwra3kzll2ibv0wmdqrich"))))
5534 (build-system dune-build-system)
5535 (arguments
5536 `(#:test-target "tests"))
5537 (inputs
5538 `(("cairo" ,cairo)
5539 ("gtk+-2" ,gtk+-2)
5540 ("lablgtk" ,lablgtk)))
5541 (native-inputs
5542 `(("pkg-config" ,pkg-config)))
5543 (home-page "https://github.com/Chris00/ocaml-cairo")
5544 (synopsis "Binding to Cairo, a 2D Vector Graphics Library")
5545 (description "Ocaml-cairo2 is a binding to Cairo, a 2D graphics library
5546 with support for multiple output devices. Currently supported output targets
5547 include the X Window System, Quartz, Win32, image buffers, PostScript, PDF,
5548 and SVG file output.")
5549 (license license:lgpl3+)))
5550
5551 (define-public lablgtk3
5552 (package
5553 (name "lablgtk")
5554 (version "3.0.beta8")
5555 (source (origin
5556 (method git-fetch)
5557 (uri (git-reference
5558 (url "https://github.com/garrigue/lablgtk.git")
5559 (commit version)))
5560 (file-name (git-file-name name version))
5561 (sha256
5562 (base32
5563 "08pgwnia240i2rw1rbgiahg673kwa7b6bvhsg3z4b47xr5sh9pvz"))))
5564 (build-system dune-build-system)
5565 (arguments
5566 `(#:tests? #t
5567 #:test-target "."
5568 #:phases
5569 (modify-phases %standard-phases
5570 (add-before 'build 'make-writable
5571 (lambda _
5572 (for-each (lambda (file)
5573 (chmod file #o644))
5574 (find-files "." "."))
5575 #t)))))
5576 (propagated-inputs
5577 `(("ocaml-cairo2" ,ocaml-cairo2)))
5578 (inputs
5579 `(("camlp5" ,camlp5)
5580 ("gtk+" ,gtk+)
5581 ("gtksourceview-3" ,gtksourceview-3)
5582 ("gtkspell3" ,gtkspell3)))
5583 (native-inputs
5584 `(("pkg-config" ,pkg-config)))
5585 (home-page "https://github.com/garrigue/lablgtk")
5586 (synopsis "OCaml interface to GTK+3")
5587 (description "LablGtk is an OCaml interface to GTK+ 1.2, 2.x and 3.x. It
5588 provides a strongly-typed object-oriented interface that is compatible with the
5589 dynamic typing of GTK+. Most widgets and methods are available. LablGtk
5590 also provides bindings to gdk-pixbuf, the GLArea widget (in combination with
5591 LablGL), gnomecanvas, gnomeui, gtksourceview, gtkspell, libglade (and it can
5592 generate OCaml code from .glade files), libpanel, librsvg and quartz.")
5593 ;; Version 2 only, with linking exception.
5594 (license license:lgpl2.0)))