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
d6fa189eef
gnu: ocaml-re: Use dune-build-system.
...
* gnu/packages/ocaml.scm (ocaml-re): Use dune-build-system.
2018-12-18 22:16:55 +01:00
48b27902de
gnu: ocaml-cppo: Use dune-build-system.
...
* gnu/packages/ocaml.scm (ocaml-cppo): Use dune-build-system.
2018-12-18 22:16:52 +01:00
5d0712638f
gnu: ocaml-lwt-log: Use dune-build-system.
...
* gnu/packages/ocaml.scm (ocaml-lwt-log): Use dune-build-system.
2018-12-18 22:16:50 +01:00
f880b03bca
gnu: ocaml-lwt: Use dune-build-system.
...
* gnu/packages/ocaml.scm (ocaml-lwt): Use dune-build-system.
2018-12-18 22:16:48 +01:00
f93246a541
gnu: ocaml-bitstring: Use dune-build-system.
...
* gnu/packages/ocaml.scm (ocaml-bitstring): Use dune-build-system.
(ocaml4.02-bitstring)[build-system]: Use ocaml-build-system explicitly.
2018-12-18 22:16:45 +01:00
59fa09e1cd
gnu: ocaml-ppx-tools-versioned: Use dune-build-system.
...
* gnu/packages/ocaml.scm (ocaml-ppx-tools-versioned): Use
dune-build-system. Remove duplicate definition.
2018-12-18 22:16:41 +01:00
effc8325a5
gnu: ocaml-migrate-parsetree: Use dune-build-system.
...
* gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Use
dune-build-system.
2018-12-18 22:16:37 +01:00
2a6ba9ff61
gnu: opam: Fix package installation.
...
Opam builds packages in an isolated environment, but packages still
assume they can access system tools like a compiler, make, etc... Mount
/gnu and /run/current-system so these tools are also available to opam
packages on GuixSD.
* gnu/packages/ocaml.scm (opam)[arguments]: Fix bwrap.sh to also mount
the store and the system profile in the opam environment.
2018-12-17 21:30:46 +01:00
68139bce4a
gnu: unison: Replace texlive input with texlive-tiny.
...
* gnu/packages/ocaml.scm (unison)[native-inputs]: Replace texlive with texlive-tiny.
2018-12-14 23:32:39 +01:00
8a2cfc7bea
gnu: coq: Remove unused texlive and hevea from native-inputs.
...
* gnu/packages/ocaml.scm (coq)[native-inputs]: Remove unused texlive and
hevea.
2018-12-14 23:32:38 +01:00
c661f25a94
gnu: ocaml@4.01: Enable building on aarch64-linux.
...
This reverts 454e7132d6ocaml@4.01 )[supported-systems]: Remove field.
[arguments]: When building on aarch64-linux, replace the custom
'configure script.
2018-12-02 13:05:42 +02:00
454e7132d6
gnu: ocaml@4.01: Remove aarch64-linux from supported-systems.
...
* gnu/packages/ocaml.scm (ocaml@4.01 )[supported-systems]: New field.
2018-12-01 22:42:52 +02:00
477fceb1e3
gnu: coq: Update to 8.8.2.
...
* gnu/packages/ocaml.scm (coq): Update to 8.8.2.
2018-11-29 23:16:06 +01:00
fa45b22d4e
gnu: camlp5: Update to 7.07.
...
* gnu/packages/ocaml.scm (camlp5): Update to 7.07.
2018-11-29 23:16:01 +01:00
6a3cf93818
nu: ocaml: Update to 4.07.1
...
* gnu/packages/ocaml.scm (ocaml): Update to 4.07.1.
2018-11-29 23:15:47 +01:00
7a1d25c400
gnu: opam: Update to 2.0.1.
...
gnu/packages/ocaml.scm (opam): Update to 2.0.1.
[arguments]: Use invoke, return #t and use store paths for dependencies.
[inputs]: Add bubblewrap.
2018-11-25 23:09:20 +01:00
Gabriel Hondet
Ricardo Wurmus
Julien Lepiller
Ludovic Courtès
Pierre Neidhardt
Efraim Flashner