164b06daeb
gnu: Add ocaml-ppx-here.
...
* gnu/packages/ocaml.scm (ocaml-ppx-here): New variable.
2019-02-05 22:33:42 +01:00
b42afab2e2
gnu: Add ocaml-ppx-bench.
...
* gnu/packages/ocaml.scm (ocaml-ppx-bench): New variable.
2019-02-05 22:33:40 +01:00
db67f56901
gnu: Add ocaml-ppx-enumerate.
...
* gnu/packages/ocaml.scm (ocaml-ppx-enumerate): New variable.
2019-02-05 22:33:37 +01:00
6692f65218
gnu: Add ocaml-ppx-hash.
...
* gnu/packages/ocaml.scm (ocaml-ppx-hash): New variable.
2019-02-05 22:33:35 +01:00
49b01fa3e9
gnu: Add ocaml-octavius.
...
* gnu/packages/ocaml.scm (ocaml-octavius): New variable.
2019-02-05 22:33:33 +01:00
a0584d6c97
gnu: Add ocaml-bin-prot.
...
* gnu/packages/ocaml.scm (ocaml-bin-prot): New variable.
2019-02-05 22:33:31 +01:00
e6f08ec93a
gnu: Add ocaml-ppx-custom-printf.
...
* gnu/packages/ocaml.scm (ocaml-ppx-custom-printf): New variable.
2019-02-05 22:33:29 +01:00
7523674c2b
gnu: Add ocaml-ppx-variants-conv.
...
* gnu/packages/ocaml.scm (ocaml-ppx-variants-conv): New variable.
2019-02-05 22:33:27 +01:00
c7cf165e38
gnu: Add ocaml-ppx-sexp-conv.
...
* gnu/packaes/ocaml.scm (ocaml-ppx-sexp-conv): New variable.
2019-02-05 22:33:25 +01:00
7b685486ce
gnu: Add ocaml-ppx-fields-conv.
...
* gnu/packages/ocaml.scm (ocaml-ppx-fields-conv): New variable.
2019-02-05 22:33:23 +01:00
d9f8433e17
gnu: Add ocaml-variantslib.
...
* gnu/packages/ocaml.scm (ocaml-variantslib): New variable.
2019-02-05 22:33:21 +01:00
143685fd1a
gnu: Add ocaml-fieldslib.
...
* gnu/packages/ocaml.scm (ocaml-fieldslib): New variable.
2019-02-05 22:33:19 +01:00
c16c8bb68d
gnu: Add ocaml-ppx-compare.
...
* gnu/packages/ocaml.scm (ocaml-ppx-compare): New variable.
2019-02-05 22:33:17 +01:00
7e12b4c2bb
gnu: ocaml: Use propagated-inputs.
...
* gnu/packages/ocaml.scm (ocaml-ppxlib, ocaml-ppx-derivers, ocaml-base)
(ocaml-sexplib): Use propagated-inputs.
2019-02-05 22:33:15 +01:00
51e52f47df
gnu: ocaml-ppx-derivers: Add upstream-name.
...
* gnu/packages/ocaml.scm (ocaml-ppx-derivers)[properties]: Add
upstream-name.
2019-02-05 22:33:10 +01:00
6c8666b451
gnu: unison: Update to 2.51.1.
...
* gnu/packages/ocaml.scm (unison): Update to 2.51.1, use source from git
instead of svn and remove a snippet, and compile with current OCaml.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-05 22:32:51 +01:00
308d72bfe4
gnu: Add ocaml-ppx-inline-test.
...
* gnu/packages/ocaml.scm (ocaml-ppx-inline-test): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-04 22:03:30 +01:00
b2c2c415c5
gnu: ocaml-migrate-parsetree: Update to 1.2.0.
...
* gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Update to 1.2.0.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-04 22:03:27 +01:00
625a3daa12
gnu: dune: Update to 1.6.3.
...
* gnu/packages/ocaml.scm (dune): Update to 1.6.3.
* guix/build/dune-build-system.scm (build): Use --libdir.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-04 22:03:22 +01:00
48b11025b7
gnu: ocaml-utop: Use INVOKE.
...
* gnu/packages/ocaml.scm (ocaml-utop)[arguments]: Use INVOKE.
2019-01-25 13:32:41 +01:00
c6aaa7bed6
gnu: ocaml-zed: Use INVOKE.
...
* gnu/packages/ocaml.scm (ocaml-zed)[arguments]: Use INVOKE in build phases.
2019-01-25 13:32:04 +01:00
04daa1ed72
gnu: ocaml-zarith: Use INVOKE.
...
* gnu/packages/ocaml.scm (ocaml-zarith)[arguments]: Use INVOKE.
2019-01-25 13:31:29 +01:00
2c0234e78e
gnu: camlp4-4.02: Use INVOKE.
...
* gnu/packages/ocaml.scm (camlp4-4.02)[arguments]: Use INVOKE in build phases.
2019-01-25 13:26:24 +01:00
fa5d6e4c6f
gnu: ocaml-4.01: Use INVOKE.
...
* gnu/packages/ocaml.scm (ocaml-4.01)[arguments]: Use INVOKE in build phases.
2019-01-25 13:23:27 +01:00
bb29e855da
gnu: ocaml-4.02: Use INVOKE.
...
* gnu/packages/ocaml.scm (ocaml-4.02)[arguments]: Use INVOKE in build phases.
2019-01-25 13:22:34 +01:00
1d209d06ed
gnu: Add ocaml-craml.
...
* gnu/packages/ocaml.scm (ocaml-craml): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-01-23 21:51:14 +01:00
ca53346dd5
gnu: ocaml-cmdliner: Update to 1.0.2.
...
* gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.0.2.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-01-23 21:51:09 +01:00
cdcbccd17c
gnu: ocaml-fmt: Update to 0.8.5.
...
* gnu/packages/ocaml.scm (ocaml-fmt): Update to 0.8.5.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-01-23 21:50:56 +01:00
f0dece30b4
gnu: ocaml-uchar: Update to 0.0.2.
...
* gnu/packages/ocaml.scm (ocaml-uchar): Update to 0.0.2.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-01-23 21:50:48 +01:00
4d390cad25
gnu: Add ocaml-ppxlib.
...
* gnu/packages/ocaml.scm (ocaml-ppxlib): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-01-16 20:08:44 +01:00
3f623d00a7
gnu: Add ocaml-ppx-derivers.
...
* gnu/packages/ocaml.scm (ocaml-ppx-derivers): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-01-16 20:08:37 +01:00
b5bab81c10
gnu: Add ocaml-migrate-parsetree.
...
* gnu/packages/ocaml.scm (ocaml-migrate-parsetree): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-01-16 20:08:35 +01:00
ac06a773f5
gnu: Add ocaml-compiler-libs.
...
* gnu/packages/ocaml.scm (ocaml-compiler-libs): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-01-16 20:08:33 +01:00
22074259d2
gnu: Add ocaml-base.
...
* gnu/packages/ocaml.scm (ocaml-base): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-01-16 20:08:30 +01:00
7cca1fd400
gnu: Add ocaml-sexplib.
...
* gnu/packages/ocaml.scm (ocaml-sexplib): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-01-16 20:08:28 +01:00
7726124ae2
gnu: Add ocaml-parsexp.
...
* gnu/packages/ocaml.scm (ocaml-parsexp): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-01-16 20:08:26 +01:00
5fa01e8aaa
gnu: Add ocaml-sexplib0.
...
* gnu/packages/ocaml.scm (ocaml-sexplib0): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-01-16 20:08:21 +01:00
eeb883cb0d
gnu: Move Emacs packages to new module.
...
* gnu/packages/emacs.scm: Move almost all packages from here...
* gnu/packages/emacs-xyz.scm: ...to this new module.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
* gnu/packages/ocaml.scm,
gnu/packages/package-management.scm,
gnu/packages/statistics.scm: Update module references.
2019-01-16 16:08:22 +01:00
cd0322a3ef
gnu: Move sqlite to separate module.
...
* gnu/packages/databases.scm (sqlite, sqlite-3.26.0, sqlite-with-fts5,
sqlite-with-column-metadata): Move variables from here...
* gnu/packages/sqlite.scm: ...to this new module.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
* gnu/packages/apl.scm,
gnu/packages/bittorrent.scm,
gnu/packages/calendar.scm,
gnu/packages/code.scm,
gnu/packages/crypto.scm,
gnu/packages/databases.scm,
gnu/packages/dc.scm,
gnu/packages/disk.scm,
gnu/packages/ebook.scm,
gnu/packages/education.scm,
gnu/packages/emacs.scm,
gnu/packages/emulators.scm,
gnu/packages/file-systems.scm,
gnu/packages/freedesktop.scm,
gnu/packages/ftp.scm,
gnu/packages/games.scm,
gnu/packages/geo.scm,
gnu/packages/gnome.scm,
gnu/packages/gnunet.scm,
gnu/packages/gnupg.scm,
gnu/packages/gnuzilla.scm,
gnu/packages/gps.scm,
gnu/packages/guile.scm,
gnu/packages/ibus.scm,
gnu/packages/kerberos.scm,
gnu/packages/kodi.scm,
gnu/packages/lisp.scm,
gnu/packages/mail.scm,
gnu/packages/messaging.scm,
gnu/packages/mpd.scm,
gnu/packages/music.scm,
gnu/packages/networking.scm,
gnu/packages/nfs.scm,
gnu/packages/ocaml.scm,
gnu/packages/package-management.scm,
gnu/packages/pdf.scm,
gnu/packages/photo.scm,
gnu/packages/php.scm,
gnu/packages/python.scm,
gnu/packages/qt.scm,
gnu/packages/ruby.scm,
gnu/packages/scheme.scm,
gnu/packages/sync.scm,
gnu/packages/syndication.scm,
gnu/packages/version-control.scm,
gnu/packages/video.scm,
gnu/packages/web-browsers.scm,
gnu/packages/webkit.scm: Adjust module references.
2019-01-16 16:08:22 +01:00
64d25f0be2
gnu: Add ocaml-merlin.
...
* gnu/packages/ocaml.scm (ocaml-merlin): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-01-13 23:30:15 +01:00
8737666a99
gnu: ocaml-graph: Add upstream-name.
...
* gnu/packages/ocaml.scm (ocaml-graph)[properties]: Add upstream-name.
2019-01-07 22:05:47 +01:00
33af92dd99
gnu: Move coq packages from ocaml to coq.
...
* gnu/packages/ocaml.scm (coq, proof-general, coq-flocq, coq-gappa, coq-mathcomp)
(coq-coquelicot, coq-bignums, coq-interval): Move from here...
* gnu/packages/coq.scm: ... to here. New file.
2019-01-07 22:05:37 +01:00
db1eb632be
gnu: Move Emacs modes for Dedukti to ocaml.scm.
...
This removes OCaml-related modules from the closure of (gnu packages
emacs).
* gnu/packages/emacs.scm (emacs-dedukti-mode, emacs-flycheck-dedukti):
Move to ...
* gnu/packages/ocaml.scm: ... here.
2019-01-07 14:41:00 +01:00
59a075047d
gnu: Move OCaml packages away from maths.scm.
...
This removes (gnu packages ocaml) and related build system modules from
the closure of (gnu packages maths).
* gnu/packages/maths.scm (ocaml-gsl, ocaml4.01-gsl, cubicle): Move to...
* gnu/packages/ocaml.scm: ... here.
2019-01-07 14:41:00 +01:00
912f44005d
gnu: ocaml: Fix indentation.
...
* gnu/packages/ocaml.scm: Fix indentation issues.
2018-12-27 09:47:22 +01:00
2e951707f5
gnu: Add ocaml-yojson.
...
* gnu/packages/ocaml.scm (ocaml-yojson): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2018-12-27 09:37:40 +01:00
2939fe7b3c
gnu: Add ocaml-biniou.
...
* gnu/packages/ocaml.scm (ocaml-biniou): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2018-12-27 09:35:17 +01:00
5895696e4c
gnu: Add dedukti.
...
* gnu/packages/ocaml.scm (dedukti): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2018-12-25 18:47:37 +01:00
34d5314e9c
gnu: ocaml-lambda-term: Use dune-build-system.
...
* gnu/packages/ocaml.scm (ocaml-lambda-term): Use dune-build-system.
2018-12-18 22:17:12 +01:00
426e629e0c
gnu: ocaml-camomile: Use dune-build-system.
...
* gnu/packages/ocaml.scm (ocaml-camomile): Use dune-build-system.
2018-12-18 22:16:57 +01:00
Julien Lepiller