me
/
guix
Archived
1
0
Fork 0
Commit Graph

802 Commits (22d9097b5e34dc6648522ea1554f36f61f39b5f1)

Author SHA1 Message Date
Julien Lepiller 0c83708240
gnu: ocaml: Update to 4.11.1.
* gnu/packages/ocaml.scm (ocaml): Update to 4.11.1.
2020-11-10 16:02:33 +01:00
Julien Lepiller de5659d7d6
gnu: dune-configurator: Add synopsis and description.
* gnu/packages/ocaml.scm (dune-configurator): Add synopsis and
description.
2020-10-30 20:13:50 +01:00
zimoun 87f31bf2a8
gnu: emacs-tuareg: Update to 2.2.0-0.ccde45b.
* gnu/packages/ocaml.scm (emacs-tuareg): Update to 2.2.0-0.ccde45b.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2020-10-19 22:47:16 +02:00
Julien Lepiller 339177956a
gnu: dune: Update to 2.7.1.
* gnu/packages/ocaml.scm (dune): Update to 2.7.1.
(ocaml4.07-dune): Keep version 1.11.3.
(ocaml-result, ocaml-csexp): Use the bootstrap dune on dune
dependencies.
(ocaml-craml, ocaml-bitstring): Run "dune upgrade" before building.
2020-10-15 18:01:35 +02:00
Julien Lepiller 339c752d05
gnu: ocaml-4.07: Ensure build with ocaml4.7-dune.
* gnu/packages/ocaml.scm (ocaml4.07-gen, ocaml4.07-sedlex)
(ocaml4.07-ezjsonm, ocaml4.07-uri, ocaml4.07-charinfo-width)
(ocaml4.07-zed, ocaml4.07-lambda-term, ocaml4.07-utop)
(ocaml4.07-ppx-inline-test, ocaml4.07-earley, ocaml4.07-merlin)
(ocaml4.07-sexplib0, ocaml4.07-parsexp, ocaml4.07-sexplib)
(ocaml4.07-base, ocaml4.07-stdio, ocaml4.07-ppxlib, ocaml4.07-ppx-compare)
(ocaml4.07-fieldslib, ocaml4.07-variantslib, ocaml4.07-ppx-fields-conv)
(ocaml4.07-ppx-sexp-conv, ocaml4.07-ppx-variants-conv)
(ocaml4.07-ppx-custom-printf, ocaml4.07-bin-prot, ocaml4.07-ppx-hash)
(ocaml4.07-ppx-enumerate, ocaml4.07-ppx-bench, ocaml4.07-ppx-here)
(ocaml4.07-ppx-typerep, ocaml4.07-ppx-sexp-value, ocaml4.07-ppx-sexp-message)
(ocaml4.07-ppx-pipebang, ocaml4.07-ppx-optional, ocaml4.07-ppx-optcomp)
(ocaml4.07-ppx-let, ocaml4.07-ppx-fail, ocaml4.07-ppx-assert)
(ocaml4.07-ppx-expect, ocaml4.07-ppx-js-style, ocaml4.07-ppx-typerep-conv)
(ocaml4.07-ppx-base, ocaml4.07-ppx-bin-prot, ocaml4.07-ppx-jane)
(ocaml4.07-splittable-random, ocaml4.07-configurator, ocaml4.07-spawn)
(ocaml4.07-core, ocaml4.07-core-kernel)[arguments]: Use ocaml4.07-dune.
2020-10-15 18:01:27 +02:00
Julien Lepiller f2df5a4bb2
gnu: ocaml-jane-street-headers: Build only with OCaml 4.07.
* gnu/packages/ocaml.scm (ocaml-jane-street-headers): Rename to...
(ocaml4.07-jane-street-headers): ...to this.  Use OCaml 4.07.
2020-10-15 18:01:21 +02:00
Julien Lepiller c49b94a56c
gnu: ocaml-compiler-libs: Build only with OCaml 4.07.
* gnu/packages/ocaml.scm (ocaml-compiler-libs): Rename to...
(ocaml4.07-compiler-libs): ...to this.  Use OCaml 4.07.
2020-10-15 18:01:15 +02:00
Julien Lepiller 171abdd8f5
gnu: Add ocaml-csexp.
* gnu/packages/ocaml.scm (ocaml-csexp): New variable.
2020-10-15 18:01:05 +02:00
Julien Lepiller bc92fd22df
gnu: ocaml-result: Update to 1.5.
* gnu/packages/ocaml.scm (ocaml-result): Update to 1.5.
2020-10-15 18:01:00 +02:00
Julien Lepiller 01ec666e6c
gnu: ocaml-alcotest: Update to 1.0.0. 2020-10-15 18:00:53 +02:00
Julien Lepiller 0a86b93fae
gnu: ocaml-fmt: Update to 0.8.9.
* gnu/packages/ocaml.scm (ocaml-fmt): Update to 0.8.9.
2020-10-15 18:00:49 +02:00
Julien Lepiller 276be8f21c
gnu: ocaml-logs: Update to 0.7.0.
* gnu/packages/ocaml.scm (ocaml-logs): Update to 0.7.0.
2020-10-15 18:00:44 +02:00
Julien Lepiller bd2ad4a195
gnu: ocaml-base64: Update to 3.4.0.
* gnu/packages/ocaml.scm (ocaml-base64): Update to 3.4.0.
2020-10-15 18:00:28 +02:00
Julien Lepiller ef841e96b9
gnu: opam: Update to 2.0.7.
* gnu/packages/ocaml.scm (opam): Update to 2.0.7.
2020-10-15 18:00:21 +02:00
Julien Lepiller 32fd3e9c0b
gnu: ocaml-tyxml: Do not use deprecated jbuilder.
* gnu/packages/ocaml.scm (ocaml-tyxml): Remove #:jbuild argument.
2020-10-15 18:00:18 +02:00
Julien Lepiller 0f1362f049
gnu: ocaml4.07-core: Do not use deprecated jbuilder.
* gnu/packages/ocaml.scm (ocaml4.07-core): Remove #:jbuild argument.
2020-10-15 18:00:13 +02:00
Julien Lepiller 47ef85b588
gnu: ocaml4.07-ppx-expect: Do not use deprecated jbuilder.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-expect): Remove #:jbuild argument.
2020-10-15 18:00:10 +02:00
Julien Lepiller 1f4b40227c
gnu: ocaml4.07-merlin: Do not use deprecated jbuilder.
* gnu/packages/ocaml.scm (ocaml4.07-merlin): Remove #:jbuild argument.
2020-10-15 18:00:08 +02:00
Julien Lepiller 3b90075a40
gnu: ocaml4.07-utop: Do not use deprecated jbuilder.
* gnu/packages/ocaml.scm (ocaml4.07-utop): Remove #:jbuild argument.
2020-10-15 18:00:04 +02:00
Julien Lepiller 0a8eb6850d
gnu: ocaml4.07-zed: Do not use deprecated jbuilder.
* gnu/packages/ocaml.scm (ocaml4.07-zed): Remove #:jbuild argument.
2020-10-15 18:00:01 +02:00
Julien Lepiller 8ff5f39a9f
gnu: ocaml-easy-format: Do not use deprecated jbuilder.
* gnu/packages/ocaml.scm (ocaml-easy-format): Remove #:jbuild argument.
2020-10-15 17:59:56 +02:00
Julien Lepiller 2d00625f24
gnu: ocaml-lwt-log: Do not use deprecated jbuilder.
* gnu/packages/ocaml.scm (ocaml-lwt-log): Remove #:jbuild argument.
2020-10-15 17:59:52 +02:00
Julien Lepiller 93304a0c89
gnu: ocaml-bitstring: Do not use deprecated jbuilder.
* gnu/packages/ocaml.scm (ocaml-bitstring): Remove #:jbuild argument.
2020-10-15 17:59:48 +02:00
Julien Lepiller a8a8547abf
gnu: ocaml-qtest: Do not use deprecated jbuilder.
* gnu/packages/ocaml.scm (ocaml-qtest): Remove #:jbuild argument.
2020-10-15 17:59:44 +02:00
Julien Lepiller f0c6fe314f
gnu: ocaml-ppx-tools-versioned: Update to 5.4.0.
* gnu/packages/ocaml.scm (ocaml-ppx-tools-versioned): Update to 5.4.0.
2020-10-15 17:59:40 +02:00
Julien Lepiller bd8558a0e5
gnu: ocaml-migrate-parsetree: Update to 1.7.3.
* gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Update to 1.7.3.
2020-10-15 17:59:37 +02:00
Julien Lepiller 7ae38a0479
gnu: ocaml-mccs: Update to 1.1+11.
* gnu/packages/ocaml-mccs: Update to 1.1+11.
2020-10-15 17:59:33 +02:00
Julien Lepiller 61949dbc8a
gnu: camlp5: Update to 7.13.
* gnu/packages/ocaml.scm (camlp5): Update to 7.13.
2020-10-15 17:59:25 +02:00
Julien Lepiller aea459a504
gnu: unison: Build with ocaml-4.09.
* gnu/packages/ocaml.scm (unison)[sources]: Add an upstream patch.
[native-inputs]: Use ocaml-4.09.
* gnu/packages/patches/unison-fix-ocaml-4.08.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
2020-10-15 17:59:18 +02:00
Julien Lepiller db194f714a
gnu: ocaml4.07-sqlite3: Fix build.
* gnu/packages/ocaml.scm (ocaml4.07-sqlite3): Use dune for OCaml 4.07.
2020-09-30 14:38:51 +02:00
Tobias Geerinckx-Rice 7230f6d5dd
gnu: Fix typoes in package descriptions.
* gnu/packages/audio.scm (caps-plugins-lv2)[synopsis]: Fix typo.
* gnu/packages/bioconductor.scm (r-karyoploter, r-anota, r-gcrma)
(r-bigmemoryextras)[description]: Likewise.
* gnu/packages/cran.scm (r-geometry)[synopsis]: Likewise.
(r-stringdist, r-patchwork, r-depth, r-tea)[description]: Likewise.
* gnu/packages/crates-io.scm (rust-assert-fs-0.11, rust-notify-4)
(rust-tokio-fs-0.1)[synopsis, description]: Likewise.
(rust-blas-sys-0.7)[description]: Likewise.
(rust-fs-extra-1.1, rust-xattr-0.2)[synopsis]: Likewise.
* gnu/packages/databases.scm (perl-mysql-config)[description]: Likewise.
* gnu/packages/disk.scm (hddtemp)[description]: Likewise.
* gnu/packages/django.scm (python-djangorestframework)[description]:
Likewise.
* gnu/packages/documentation.scm (doc++)[description]: Likewise.
* gnu/packages/emacs-xyz.scm (emacs-kakoune, emacs-pyim-basedict, eless)
(emacs-scpaste)[description]: Likewise.
* gnu/packages/file-systems.scm (dbxfs)[description]: Likewise.
* gnu/packages/finance.scm (python-stdnum)[description]: Likewise.
* gnu/packages/fontutils.scm (woff2)[description]: Likewise.
* gnu/packages/games.scm (openttd-opengfx)[description]: Likewise.
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-topicons-redux)
[description]: Likewise.
* gnu/packages/gnome.scm (libgrss)[description]: Likewise.
* gnu/packages/golang.scm (go-github-com-mitchellh-reflectwalk)
[description]: Likewise.
(go-github-com-go-git-go-billy)[synopsis, description]: Likewise.
* gnu/packages/haskell-check.scm (ghc-inspection-testing)[description]:
Likewise.
* gnu/packages/haskell-web.scm (ghc-yesod-form)[description]: Likewise.
* gnu/packages/haskell-xyz.scm (ghc-hex)[description]: Likewise.
* gnu/packages/hyperledger.scm (hyperledger-iroha-ed25519)[description]:
Likewise.
* gnu/packages/java.scm (java-mail)[synopsis]: Likewise.
(java-native-access-platform)[description]: Likewise.
* gnu/packages/kde-frameworks.scm (kactivities-stats)[description]:
Likewise.
* gnu/packages/kde-utils.scm (krusader)[description]: Likewise.
* gnu/packages/language.scm (praat)[description]: Likewise.
* gnu/packages/linux.scm (light)[description]: Likewise.
* gnu/packages/lisp-xyz.scm (sbcl-hu.dwim.defclass-star)[description]:
Likewise.
* gnu/packages/mail.scm (dovecot-trees, sieve-connect)[description]:
Likewise.
* gnu/packages/ocaml.scm (ocaml-opam-file-format, ocaml-cppo)
(ocaml4.07-ppx-variants-conv)[description]: Likewise.
* gnu/packages/perl.scm (perl-convert-binhex)[description]: Likewise.
* gnu/packages/python-crypto.scm (python-ecdsa)[description]: Likewise.
* gnu/packages/python-web.scm (python-html5lib)[synopsis, description]:
Likewise.
(python-venusian)[synopsis]: Likewise.
* gnu/packages/python-xyz.scm (python-readlike, python-gssapi)
(python-flufl-i18n)[description]: Likewise.
(python-pox, python-watchdog, python-xattr)[synopsis, description]:
Likewise.
* gnu/packages/ruby.scm (ruby-sorcerer)[description]: Likewise.
* gnu/packages/rust-apps.scm (watchexec)[description]: Likewise.
* gnu/packages/rust.scm (mrustc)[synopsis]: Likewise.
* gnu/packages/shells.scm (s-shell)[description]: Likewise.
* gnu/packages/ssh.scm (sshpass)[description]: Likewise.
* gnu/packages/terminals.scm (beep)[description]: Likewise.
* gnu/packages/web.scm (perl-lwp-useragent-cached)[description]:
Likewise.
* gnu/packages/wv.scm (wv)[description]: Likewise.
2020-09-23 04:37:01 +02:00
Tobias Geerinckx-Rice 2d3370c4ec
gnu: ocamlify: Update to 0.0.2.
* gnu/packages/ocaml.scm (ocamlify): Update to 0.0.2.
[arguments]: Add a ‘disable-safe-string’ phase.
2020-08-31 20:32:50 +02:00
Tobias Geerinckx-Rice 4a7243fcfb
gnu: ocamlify: Parametrize source URI.
* gnu/packages/ocaml.scm (ocamlify)[source]: Construct with VERSION.
2020-08-31 20:32:50 +02:00
Marius Bakke 05b90a4ab4
gnu: opam: Fix tests.
* gnu/packages/ocaml.scm (opam)[arguments]: Remove #:tests?.  Adjust the
pre-check phase to make some files writable, patch a hard-coded file name, and
disable mostly-redundant git tests.
[native-inputs]: Remove GIT and PYTHON.  Add OPENSSL, PYTHON-WRAPPER, RSYNC,
UNZIP, and WHICH.
2020-07-30 18:18:12 +02:00
Ludovic Courtès b0e7b6992f
gnu: Remove ".git" from "https://github/…/….git".
Until now, 'lookup-origin' and thus 'lookup-origin-revision' in (guix
swh) would sometimes return #f for these because the ".git" URLs are
redirects to the non-".git" URLs.  Consequently, 'guix lint -c archival'
would keep saying "scheduled Software Heritage archival"; likewise, the
fallback download code would fail.

* gnu/packages/ada.scm,
gnu/packages/admin.scm,
gnu/packages/aidc.scm,
gnu/packages/algebra.scm,
gnu/packages/android.scm,
gnu/packages/animation.scm,
gnu/packages/arcan.scm,
gnu/packages/assembly.scm,
gnu/packages/audio.scm,
gnu/packages/authentication.scm,
gnu/packages/avr.scm,
gnu/packages/axoloti.scm,
gnu/packages/backup.scm,
gnu/packages/bash.scm,
gnu/packages/benchmark.scm,
gnu/packages/bioconductor.scm,
gnu/packages/bioinformatics.scm,
gnu/packages/bittorrent.scm,
gnu/packages/boost.scm,
gnu/packages/build-tools.scm,
gnu/packages/c.scm,
gnu/packages/calendar.scm,
gnu/packages/cdrom.scm,
gnu/packages/check.scm,
gnu/packages/chemistry.scm,
gnu/packages/chez.scm,
gnu/packages/clojure.scm,
gnu/packages/code.scm,
gnu/packages/compression.scm,
gnu/packages/compton.scm,
gnu/packages/coq.scm,
gnu/packages/cpp.scm,
gnu/packages/cran.scm,
gnu/packages/crypto.scm,
gnu/packages/curl.scm,
gnu/packages/databases.scm,
gnu/packages/datastructures.scm,
gnu/packages/debug.scm,
gnu/packages/disk.scm,
gnu/packages/distributed.scm,
gnu/packages/django.scm,
gnu/packages/dlang.scm,
gnu/packages/dns.scm,
gnu/packages/docker.scm,
gnu/packages/education.scm,
gnu/packages/efi.scm,
gnu/packages/elixir.scm,
gnu/packages/emacs-xyz.scm,
gnu/packages/embedded.scm,
gnu/packages/emulators.scm,
gnu/packages/engineering.scm,
gnu/packages/erlang.scm,
gnu/packages/fabric-management.scm,
gnu/packages/file-systems.scm,
gnu/packages/finance.scm,
gnu/packages/firmware.scm,
gnu/packages/flashing-tools.scm,
gnu/packages/fonts.scm,
gnu/packages/fontutils.scm,
gnu/packages/fpga.scm,
gnu/packages/game-development.scm,
gnu/packages/games.scm,
gnu/packages/genealogy.scm,
gnu/packages/genimage.scm,
gnu/packages/geo.scm,
gnu/packages/gimp.scm,
gnu/packages/gl.scm,
gnu/packages/gnome-xyz.scm,
gnu/packages/gnome.scm,
gnu/packages/gnuzilla.scm,
gnu/packages/golang.scm,
gnu/packages/gpodder.scm,
gnu/packages/graph.scm,
gnu/packages/graphics.scm,
gnu/packages/graphviz.scm,
gnu/packages/groff.scm,
gnu/packages/groovy.scm,
gnu/packages/gtk.scm,
gnu/packages/guile-xyz.scm,
gnu/packages/guile.scm,
gnu/packages/hardware.scm,
gnu/packages/haskell-apps.scm,
gnu/packages/haskell-xyz.scm,
gnu/packages/hexedit.scm,
gnu/packages/i2p.scm,
gnu/packages/ibus.scm,
gnu/packages/image-processing.scm,
gnu/packages/image-viewers.scm,
gnu/packages/image.scm,
gnu/packages/ipfs.scm,
gnu/packages/java-graphics.scm,
gnu/packages/java-maths.scm,
gnu/packages/java.scm,
gnu/packages/javascript.scm,
gnu/packages/jrnl.scm,
gnu/packages/julia.scm,
gnu/packages/jupyter.scm,
gnu/packages/kodi.scm,
gnu/packages/language.scm,
gnu/packages/lego.scm,
gnu/packages/less.scm,
gnu/packages/libusb.scm,
gnu/packages/linux.scm,
gnu/packages/lirc.scm,
gnu/packages/lisp-xyz.scm,
gnu/packages/llvm.scm,
gnu/packages/logging.scm,
gnu/packages/lolcode.scm,
gnu/packages/lua.scm,
gnu/packages/lxde.scm,
gnu/packages/lxqt.scm,
gnu/packages/machine-learning.scm,
gnu/packages/mail.scm,
gnu/packages/markup.scm,
gnu/packages/maths.scm,
gnu/packages/maven.scm,
gnu/packages/mes.scm,
gnu/packages/messaging.scm,
gnu/packages/monitoring.scm,
gnu/packages/mpd.scm,
gnu/packages/music.scm,
gnu/packages/networking.scm,
gnu/packages/node-xyz.scm,
gnu/packages/ocaml.scm,
gnu/packages/ocr.scm,
gnu/packages/onc-rpc.scm,
gnu/packages/opencl.scm,
gnu/packages/opencog.scm,
gnu/packages/pantheon.scm,
gnu/packages/password-utils.scm,
gnu/packages/patchutils.scm,
gnu/packages/pdf.scm,
gnu/packages/perl6.scm,
gnu/packages/phabricator.scm,
gnu/packages/popt.scm,
gnu/packages/printers.scm,
gnu/packages/prolog.scm,
gnu/packages/protobuf.scm,
gnu/packages/pulseaudio.scm,
gnu/packages/python-crypto.scm,
gnu/packages/python-web.scm,
gnu/packages/python-xyz.scm,
gnu/packages/qt.scm,
gnu/packages/radio.scm,
gnu/packages/rails.scm,
gnu/packages/rdf.scm,
gnu/packages/rednotebook.scm,
gnu/packages/rpc.scm,
gnu/packages/rsync.scm,
gnu/packages/ruby.scm,
gnu/packages/rust.scm,
gnu/packages/scheme.scm,
gnu/packages/screen.scm,
gnu/packages/security-token.scm,
gnu/packages/selinux.scm,
gnu/packages/serialization.scm,
gnu/packages/shells.scm,
gnu/packages/shellutils.scm,
gnu/packages/simh.scm,
gnu/packages/sml.scm,
gnu/packages/ssh.scm,
gnu/packages/statistics.scm,
gnu/packages/stenography.scm,
gnu/packages/sync.scm,
gnu/packages/syncthing.scm,
gnu/packages/synergy.scm,
gnu/packages/telephony.scm,
gnu/packages/terminals.scm,
gnu/packages/tex.scm,
gnu/packages/texinfo.scm,
gnu/packages/text-editors.scm,
gnu/packages/textutils.scm,
gnu/packages/time.scm,
gnu/packages/tmux.scm,
gnu/packages/tor.scm,
gnu/packages/toys.scm,
gnu/packages/version-control.scm,
gnu/packages/video.scm,
gnu/packages/vim.scm,
gnu/packages/virtualization.scm,
gnu/packages/vlang.scm,
gnu/packages/vnc.scm,
gnu/packages/vpn.scm,
gnu/packages/web-browsers.scm,
gnu/packages/web.scm,
gnu/packages/wireservice.scm,
gnu/packages/wm.scm,
gnu/packages/wxwidgets.scm,
gnu/packages/xdisorg.scm,
gnu/packages/xml.scm,
gnu/packages/xorg.scm,
tests/lint.scm: Remove trailing ".git" from 'git-reference' URL.
2020-07-12 23:08:15 +02:00
Efraim Flashner 2d84ef328c
gnu: ocaml4.07-piqi: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml4.07-piqi)[source]: Download using
git-fetch.
[arguments]: Add custom phase to make files writable.
2020-06-24 10:35:56 +03:00
Tobias Geerinckx-Rice bb79af865a
gnu: ocaml-extlib: Update to 1.7.7.
* gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.7.7.
[source]: Update TLD.
2020-06-03 20:45:20 +02:00
Tobias Geerinckx-Rice e809c891dd
gnu: camlp5: Update to 7.12.
* gnu/packages/ocaml.scm (camlp5): Update to 7.12.
2020-06-03 06:46:31 +02:00
Tobias Geerinckx-Rice 2da5fcfdfa
gnu: hevea: Update to 2.34.
* gnu/packages/ocaml.scm (hevea): Update to 2.34.
2020-05-20 05:56:53 +02:00
Julien Lepiller 523cbfbd55
gnu: bap: Update to 2.0.0.
* gnu/packages/ocaml.scm (bap): Update to 2.0.0.
2020-05-16 17:43:25 +02:00
Julien Lepiller 1ac2bf05c8
gnu: ocaml-ocurl: Update to 0.9.1.
* gnu/packages/ocaml.scm (ocaml-ocurl): Update to 0.9.1.
2020-05-15 15:56:33 +02:00
Julien Lepiller bee8c8acd7
gnu: ocaml-fileutils: Update to 0.6.2.
* gnu/packages/ocaml.scm (ocaml-fileutils): Update to 0.6.2.
2020-05-15 14:48:46 +02:00
Julien Lepiller 8965111768
gnu: ocaml-octavius: Update to 1.2.2.
* gnu/packages/ocaml.scm (ocaml-octavius): Update to 1.2.2.
2020-05-15 14:44:58 +02:00
Vagrant Cascadian e49a6c82c2
gnu: ocamlify: Fix grammar of "allows to create" to "creates".
* gnu/packages/ocaml (ocamlify): Fix grammar.
2020-04-12 16:25:56 -07:00
Vagrant Cascadian 2bf52398a7
gnu: ocaml-mtime: Fix grammar "allows to measure" to "measures".
* gnu/packages/ocaml (ocaml-mtime): Fix grammar.
2020-04-12 16:25:53 -07:00
Vagrant Cascadian bf05272459
gnu: ocaml-qcheck: Fix grammar of "allows to check" to "checks".
* gnu/packages/ocaml (ocaml-qcheck): Fix grammar.
2020-04-12 13:34:59 -07:00
Julien Lepiller 3a3b594822
gnu: ocaml-menhir: Update to 20190626.
* gnu/packages/ocaml.scm (ocaml-menhir): Update to 20190626.
2020-04-04 18:34:42 +02:00
Tobias Geerinckx-Rice d8bf501eb2
gnu: ocaml-sedlex: Use HTTPS home page.
* gnu/packages/ocaml.scm (ocaml-sedlex)[home-page]: Use HTTPS.
2020-03-21 03:09:43 +01:00
Tobias Geerinckx-Rice 786886d1f5
gnu: ocaml-tsdl: Update to 0.9.7.
* gnu/packages/ocaml.scm (ocaml-tsdl): Update to 0.9.7.
[native-inputs]: Remove ocaml-ocb-stubblr.
[inputs]: Remove ocaml-result.
2020-03-21 03:09:43 +01:00
Tobias Geerinckx-Rice 2d1e064694
gnu: ocaml-tsdl: Use HTTPS home page.
* gnu/packages/ocaml.scm (ocaml-tsdl)[home-page]: Use HTTPS.
2020-03-21 03:09:43 +01:00
Tobias Geerinckx-Rice 619ffa02ef
gnu: camlp5: Update home page.
* gnu/packages/ocaml.scm (camlp5)[home-page]: Update.
2020-03-19 02:28:37 +01:00
Tobias Geerinckx-Rice 0c34b5e6d0
gnu: camlzip: Update home page.
* gnu/packages/ocaml.scm (camlzip)[home-page]: Update.
2020-03-19 00:44:53 +01:00
Tobias Geerinckx-Rice a79b7ab5a2
gnu: lablgtk: Update to 2.18.10.
* gnu/packages/ocaml.scm (lablgtk): Update to 2.18.10.
2020-03-19 00:42:17 +01:00
Tobias Geerinckx-Rice 91c19e76a5
gnu: ocaml-mccs: Use HTTPS home page.
* gnu/packages/ocaml.scm (ocaml-mccs)[home-page]: Use HTTPS.
2020-02-29 15:21:45 +01:00
Tobias Geerinckx-Rice c917c23e72
gnu: hevea: Update to 2.33.
* gnu/packages/ocaml.scm (hevea): Update to 2.33.
2020-02-23 17:55:05 +01:00
Tobias Geerinckx-Rice 338ae8eb36
gnu: camlp5: Update to 7.11.
* gnu/packages/ocaml.scm (camlp5): Update to 7.11.
2020-02-16 22:46:38 +01:00
Efraim Flashner c8f16c7f7e
gnu: ocaml-ctypes: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-ctypes)[source]: Download using git-fetch.
[arguments]: Add phase to make files writable.
2020-01-28 11:25:17 +02:00
Efraim Flashner 4d85a7dd26
gnu: ocaml-ocplib-endian: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-ocplib-endian)[source]: Download using
git-fetch.
2020-01-28 11:25:17 +02:00
Efraim Flashner 8684575a88
gnu: ocaml-lwt: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-lwt)[source]: Download using git-fetch.
2020-01-28 11:25:14 +02:00
Julien Lepiller 87858bc526
gnu: ocaml: Switch to ocaml 4.09 by default.
Bap and earley cannot be updated as they do not support 4.09 yet. Bap requires
the janestreet packages, which cannot be upgraded as no version supports
4.09 and 4.07 at the same time. Moreover, newer versions of the
janestreet packages have a different dependency graph, which will
require a whole new set of packages. We cannot simply use
package-with-ocaml4.07 on them.

* gnu/packages/ocaml.scm (ocaml-sqlite3, ocaml-ppx-tools, ocaml-gen)
(ocaml-sedlex, ocaml-pcre, ocaml-expect, ocaml-ezjsonm, ocaml-uri)
(ocaml-piqilib, ocaml-piqi, ocaml-charinfo-width, ocaml-zed)
(ocaml-lambda-term, ocaml-utop, ocaml-ppx-inline-test, ocaml-earley)
(ocaml-merlin, ocaml-gsl, ocaml-gsl-1, ocaml-sexplib0, ocaml-parsexp)
(ocaml-sexplib, ocaml-base, ocaml-stdio, ocaml-ppxlib, ocaml-ppx-compare)
(ocaml-fieldslib, ocaml-variantslib, ocaml-ppx-fields-conv)
(ocaml-ppx-sexp-conv, ocaml-ppx-variants-conv, ocaml-ppx-custom-printf)
(ocaml-bin-prot, ocaml-ppx-hash, ocaml-ppx-enumerate, ocaml-ppx-bench)
(ocaml-ppx-here, ocaml-ppx-typerep, ocaml-ppx-sexp-value)
(ocaml-ppx-sexp-message, ocaml-ppx-pipebang, ocaml-ppx-optional)
(ocaml-ppx-optcomp, ocaml-ppx-fail, ocaml-ppx-let, ocaml-ppx-assert)
(ocaml-ppx-expect, ocaml-ppx-js-style, ocaml-ppx-typerep-conv)
(ocaml-ppx-base, ocaml-ppx-bin-prot, ocaml-ppx-jane)
(ocaml-splittable-random, ocaml-configurator, ocaml-spawn, ocaml-core)
(ocaml-core-kernel, ocaml-odoc, ocaml-fftw3, ocaml-lacaml): Rename to ...
(ocaml4.07-sqlite3, ocaml4.07-ppx-tools, ocaml4.07-gen, ocaml4.07-sedlex)
(ocaml4.07-pcre, ocaml4.07-expect, ocaml4.07-ezjsonm, ocaml4.07-uri)
(ocaml4.07-piqilib, ocaml4.07-piqi, ocaml4.07-charinfo-width)
(ocaml4.07-zed, ocaml4.07-lambda-term, ocaml4.07-utop)
(ocaml4.07-ppx-inline-test, ocaml4.07-earley, ocaml4.07-merlin)
(ocaml4.07-gsl, ocaml4.07-gsl-1, ocaml4.07-sexplib0, ocaml4.07-parsexp)
(ocaml4.07-sexplib, ocaml4.07-base, ocaml4.07-stdio, ocaml4.07-ppxlib)
(ocaml4.07-ppx-compare, ocaml4.07-fieldslib, ocaml4.07-variantslib)
(ocaml4.07-ppx-fields-conv, ocaml4.07-ppx-sexp-conv)
(ocaml4.07-ppx-variants-conv, ocaml4.07-ppx-custom-printf)
(ocaml4.07-bin-prot, ocaml4.07-ppx-hash, ocaml4.07-ppx-enumerate)
(ocaml4.07-ppx-bench, ocaml4.07-ppx-here, ocaml4.07-ppx-typerep)
(ocaml4.07-ppx-sexp-value, ocaml4.07-ppx-sexp-message)
(ocaml4.07-ppx-pipebang, ocaml4.07-ppx-optional, ocaml4.07-ppx-optcomp)
(ocaml4.07-ppx-fail, ocaml4.07-ppx-let, ocaml4.07-ppx-assert)
(ocaml4.07-ppx-expect, ocaml4.07-ppx-js-style)
(ocaml4.07-ppx-typerep-conv, ocaml4.07-ppx-base, ocaml4.07-ppx-bin-prot)
(ocaml4.07-ppx-jane, ocaml4.07-splittable-random)
(ocaml4.07-configurator, ocaml4.07-spawn, ocaml4.07-core)
(ocaml4.07-core-kernel, ocaml4.07-odoc, ocaml4.07-fftw3)
(ocaml4.07-lacaml): ... to this and use ocaml 4.07.
(bap, unison): Use ocaml-4.07.
* gnu/packages/bioinformatics.scm (pplacer): Use ocaml-4.07.
2020-01-27 03:56:06 +01:00
Julien Lepiller 0ccd9463ec
gnu: Add ocaml4.07-dune.
* gnu/packages/ocaml.scm (ocaml4.07-dune): New variable.
2020-01-27 03:55:42 +01:00
Julien Lepiller 73c26d5729
gnu: Add ocaml4.07-lablgtk.
* gnu/packages/ocaml.scm (ocaml4.07-lablgtk): New variable.
(lablgtk)[properties]: Add variant.
2020-01-27 03:55:27 +01:00
Julien Lepiller 7a4780ce9d
gnu: ocambuild: Update to 0.14.0.
* gnu/packages/ocaml.scm (ocamlbuild): Update to 0.14.0.
[build-system]: Use ocaml-build-system.
2020-01-27 03:54:52 +01:00
Vagrant Cascadian a6d35eb455
gnu: ocaml-mmap: Fix spelling of "function".
* gnu/packages/ocaml (ocaml-mmap)[description]: Fix typo.
2020-01-24 02:37:57 -08:00
Julien Lepiller 59fcf386f8
gnu: ocaml4.07-findlib: Fix building with ocaml 4.07.
* gnu/packages/ocaml.scm (ocaml4.07-findlib): rename inputs to
native-inputs.
2020-01-23 01:48:10 +01:00
Efraim Flashner 0f654e63d6
gnu: ocaml-mmap: Use a source file-name.
* gnu/packages/ocaml.scm (ocaml-mmap)[source]: Add file-name field.
2020-01-22 11:28:29 +02:00
Julien Lepiller e3388d6361
gnu: Add ocaml4.07-findlib.
* gnu/packages/ocaml.scm (ocaml4.07-findlib): New variable.
2020-01-22 01:15:47 +01:00
Julien Lepiller 6c89e06626
gnu: ocaml-lambda-term: Add missing dependencies.
* gnu/packages/ocaml.scm (ocaml-lambda-term)[propagated-inputs]: Add
ocaml-lwt-react.
[inputs]: Add libev.
2020-01-22 01:10:27 +01:00
Julien Lepiller d77310cc3f
nu: Add ocaml-lwt-react.
* gnu/packages/ocaml.scm (ocaml-lwt-react): New variable.
2020-01-22 01:08:45 +01:00
Julien Lepiller 5aa573d8c7
gnu: ocaml-markup: Update to 0.8.2.
gnu/packages/ocaml.scm (ocaml-markup): Update to 0.8.2.
2020-01-21 01:12:26 +01:00
Julien Lepiller 16829d3b8a
gnu: ocaml-lwt: Update to 5.1.1.
* gnu/packages/ocaml.scm (ocaml-lwt): update to 5.1.1.
2020-01-21 01:12:05 +01:00
Julien Lepiller 2624921a64
gnu: Add ocaml-mmap.
* gnu/packages/ocaml.scm (ocaml-mmap): New variable.
2020-01-21 01:11:39 +01:00
Julien Lepiller 2e038f36f8
gnu: ocaml-bisect-ppx: Update to 1.4.2.
* gnu/packages/ocaml.scm (ocaml-bisect-ppx): Update to 1.4.2.
2020-01-21 01:11:35 +01:00
Julien Lepiller 73e01ae456
gnu: ocaml-qtest. Update to 2.10.1.
* gnu/packages/ocaml.scm (ocaml-qtest): Update to 2.10.1.
2020-01-21 01:11:31 +01:00
Julien Lepiller 795cf2a3b5
gnu: ocaml-qcheck: Update to 0.12.
* gnu/packages/ocaml.scm (ocaml-qcheck): Update to 0.12.
2020-01-21 01:11:20 +01:00
Julien Lepiller c2eb8c7ef7
gnu: camlp5: Update to 7.10.
* gnu/packages/ocaml.scm (camlp5): Upadte to 7.10.
2020-01-21 01:10:49 +01:00
Julien Lepiller efeda080ef
gnu: opam: Update to 2.0.6.
* gnu/pckages/ocaml.scm (opam): Update to 2.0.6.
2020-01-21 01:10:42 +01:00
Julien Lepiller 7b99aa043c
gnu: Add ocaml-4.09.
* gnu/packages/ocaml.scm (ocaml-4.09): New variable.
[argument]: Remove the no longer needed configure phase.
2020-01-17 04:11:06 +01:00
Brett Gilio d977e24364
gnu: Add lablgtk3.
* gnu/packages/ocaml.scm (lablgtk3): New variable.

Co-authored-by: Julien Lepiller <julien@lepiller.eu>.
2020-01-06 20:57:28 -06:00
Brett Gilio 136919ba49
gnu: Add ocaml-cairo2.
* gnu/packages/ocaml.scm (ocaml-cairo2): New variable.

Co-authored-by: Julien Lepiller <julien@lepiller.eu>.
2020-01-06 20:56:19 -06:00
Brett Gilio 2e26dd69c8
gnu: Add ocaml-fftw3.
* gnu/packages/ocaml.scm (ocaml-fftw3): New variable.
2020-01-03 16:47:03 -06:00
Brett Gilio eb1ebabffe
gnu: Add ocaml-lacaml.
* gnu/packages/ocaml.scm (ocaml-lacaml): New variable.
2020-01-03 16:46:48 -06:00
Brett Gilio 1614c6336a
gnu: ocaml-utop: Modify home-page.
* gnu/packages/ocaml.scm (ocaml-utop)[home-page]: Change home-page to reflect
  permanent redirection.
2020-01-03 16:22:46 -06:00
Brett Gilio 3bc6b9bb17
gnu: ocaml-utop: Update to 2.4.3.
* gnu/packages/ocaml.scm (ocaml-utop): Update to 2.4.3.
2020-01-03 16:22:22 -06:00
Efraim Flashner 5045821e2a
gnu: ocaml-gen: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-gen)[source]: Download using git-fetch.
2019-12-04 10:55:29 +02:00
Efraim Flashner bcda07797a
gnu: lablgtk: Use a source file-name.
* gnu/packages/ocaml.scm (lablgtk)[source]: Add 'file-name'.
2019-12-04 10:55:28 +02:00
Julien Lepiller 166001fdb9
gnu: camlp4: Remove obsolete package.
* gnu/packages/ocaml.scm (camlp4): Remove package.
2019-11-30 15:50:43 +01:00
Julien Lepiller c5fb14f569
gnu: ocaml-camomile: Remove unneeded dependency.
* gnu/packages/ocaml.scm (ocaml-camomile)[native-inputs]: Remove camlp4.
2019-11-30 15:50:41 +01:00
Julien Lepiller c8b309ec89
gnu: ocaml-piqi: Update to 0.7.7.
* gnu/packages/ocaml.scm (ocaml-piqi): Update to 0.7.7.
2019-11-30 15:50:38 +01:00
Julien Lepiller c7174a75bf
gnu: ocaml-ulex: Remove package.
* gnu/packages/ocaml.scm (ocaml-ulex): Remove deprecated package.
2019-11-30 15:50:32 +01:00
Julien Lepiller 05fe0a587a
gnu: ocaml-piqilib: Update to 0.6.15.
* gnu/packages/ocaml.scm (ocaml-piqilib): Update to 0.6.15.
[source]: Remove patch.
[native-inputs]: Remove camlp4.
[propagated-inputs]: Replace ulex with sedlex.
* gnu/packages/patches/ocaml-piqilib-Update-base64.patch: Remove file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2019-11-30 15:50:30 +01:00
Julien Lepiller 98a468ffd2
gnu: Add ocaml-sedlex.
* gnu/packages/ocaml.scm (ocaml-sedlex): New variable.
2019-11-30 15:50:27 +01:00
Julien Lepiller 5a4003f453
gnu: Add ocaml-gen.
* gnu/packages/ocaml.scm (ocaml-gen): New variable.
2019-11-30 15:50:25 +01:00
Julien Lepiller 5696fbd9bd
gnu: ocaml-csv: Update to 2.3.
* gnu/packages/ocaml.scm (ocaml-csv): Update to 2.3.
[license]: Update license.
2019-11-30 15:50:23 +01:00
Julien Lepiller e4070d404d
gnu: ocaml-bisect: Remove package.
* gnu/packages/ocaml.scm (ocaml-bisect): Remove deprecated package,
replaced by ocaml-bisect-ppx.
2019-11-30 15:50:21 +01:00
Julien Lepiller af76eedac0
gnu: ocaml-batteries: Remove unneeded dependencies.
* gnu/packages/ocaml.scm (ocaml-batteries)[native-inputs]: Remove
ocaml-bisect and ocaml-ounit.
2019-11-30 15:50:19 +01:00
Julien Lepiller 24b199fd18
gnu: ocaml-bitstring: Remove unneeded dependencies.
* gnu/packages/ocaml.scm (ocaml-bitstring): Remove unneeded dependencies
[native-inputs]: Remove camlp4 and bisect.
[propagated-inputs]: Remove camlp4.
2019-11-30 15:50:16 +01:00
Julien Lepiller a36074a829
gnu: ocaml-findlib: Update to 1.8.1.
* gnu/packages/ocaml.scm (ocaml-findlib): Update to 1.8.1.
[native-inputs]: Remove camlp4.
2019-11-30 15:50:13 +01:00
Julien Lepiller 3a23b461f4
gnu: lablgtk: Update to 2.18.8.
* gnu/packages/ocaml.scm (lablgtk): Update to 2.18.8.
[source]: Use git-fetch.
[native-inputs]: Remove camlp4.
2019-11-30 15:50:09 +01:00
Julien Lepiller 8146ec5558
gnu: opam: Remove unneeded dependency on deprecated camlp4.
gnu/packages/ocaml.scm (opam)[native-inputs]: Remove camlp4.
2019-11-30 15:49:43 +01:00
Tobias Geerinckx-Rice 520dc74369
gnu: ocaml-odoc: Update to 1.4.2.
* gnu/packages/ocaml.scm (ocaml-odoc): Update to 1.4.2.
2019-11-23 01:06:39 +01:00
Efraim Flashner ca12352a3e
gnu: ocaml-charinfo-width: Parameterize download url.
* gnu/packages/ocaml.scm (ocaml-charinfo-width)[source]: Don't hardcode
version number in source uri. Declare file-name.
2019-11-13 12:49:21 +02:00
Efraim Flashner f1d4d79fb3
gnu: Add 'file-name' where appropriate.
* gnu/packages/admin.scm (detox, neofetch),
gnu/packages/algebra.scm (python-fpylll),
gnu/packages/bioinformatics.scm (tbsp, genrich),
gnu/packages/crypto.scm (hpenc),
gnu/packages/digest.scm (xxhash),
gnu/packages/emacs-xyz.scm (emacs-tiny, emacs-ergoemacs-mode,
emacs-make-it-so, emacs-poet-theme, emacs-deft, emacs-scribble-mode,
emacs-helm-mu, emacs-unidecode, emacs-diff-hl, emacs-helm-exwm,
emacs-gif-screencast, emacs-exec-path-from-shell),
gnu/packages/engineering.scm (gpx),
gnu/packages/freedesktop.scm (waylandpp),
gnu/packages/golang.scm (go-github-com-sirupsen-logrus,
go-github-com-shirou-gopsutil),
gnu/packages/guile-xyz.scm (guile-studio, guile-picture-language,
jupyter-guile-kernel),
gnu/packages/image-viewers.scm (qview),
gnu/packages/java-maths.scm (java-jblas),
gnu/packages/llvm.scm (libclc),
gnu/packages/logging.scm (spdlog),
gnu/packages/ocaml.scm (ocaml-cstruct, ocaml-zarith),
gnu/packages/terminals.scm (libtsm),
gnu/packages/tigervnc.scm (tigervnc-client),
gnu/packages/xdisorg.scm (xcalib, xbanish) [source]: Add file-name.
2019-11-10 12:42:10 +02:00
Tobias Geerinckx-Rice 1e6e526e0c
gnu: ocaml-utop: Update to 2.4.2.
* gnu/packages/ocaml.scm (ocaml-utop): Update to 2.4.2.
2019-10-05 22:23:43 +02:00
Tobias Geerinckx-Rice 9e560c185c
gnu: ocaml-qcheck: Update to 0.11.
* gnu/packages/ocaml.scm (ocaml-qcheck): Update to 0.11.
2019-10-05 22:23:42 +02:00
Julien Lepiller ce502774b4
gnu: ocaml-easy-format: Update to 1.3.2.
* gnu/packages/ocaml.scm (ocaml-easy-format): Update to 1.3.2.
2019-09-04 23:08:49 +02:00
Julien Lepiller e57dd20118
gnu: ocaml-frontc: Update to 3.4.2.
* gnu/packages/ocaml.scm (ocaml-frontc): Update to 3.4.2.
2019-09-04 23:08:45 +02:00
Julien Lepiller 4a8a0d8520
gnu: ocaml-ssl: Update to 0.5.9.
* gnu/packages/ocaml.scm (ocaml-ssl): Update to 0.5.9.
2019-09-04 23:08:41 +02:00
Julien Lepiller 5a3082eca8
gnu: opam: Update to 2.0.5.
* gnu/packages/ocaml.scm (opam): Update to 2.0.5.
2019-09-04 23:08:38 +02:00
Julien Lepiller 69c83817f8
gnu: ocaml-stringext: Update to 1.6.0.
* gnu/packages/ocaml.scm (ocaml-stringext): Update to 1.6.0.
2019-09-04 23:08:34 +02:00
Julien Lepiller b3419c4027
gnu: ocaml-markup: Update to 0.8.1.
* gnu/packages/ocaml.scm (ocaml-markup): Update to 0.8.1.
(ocaml-bisect-ppx): Use propagated-inputs instead of inputs.
2019-09-04 23:08:25 +02:00
Julien Lepiller 72b2e2ea7a
gnu: ocaml-lwt-log: Update to 1.1.1.
* gnu/packages/ocaml.scm (ocaml-lwt-log): Update to 1.1.1.
[source]: Use git-fetch.
2019-09-04 23:08:22 +02:00
Julien Lepiller 8dfe8fee54
gnu: ocaml-biniou: Update to 1.2.1.
* gnu/packages/ocaml.scm (ocaml-biniou): Update to 1.2.1.
2019-09-04 23:08:18 +02:00
Julien Lepiller 1fe01b7011
gnu: ocaml-fileutils: Update to 0.6.0.
* gnu/packages/ocaml.scm (ocaml-fileutils): Update to 0.6.0.
2019-09-03 23:32:38 +02:00
Julien Lepiller 1a0d41b34d
gnu: ocaml-utop: Update to 2.4.1.
* gnu/packages/ocaml.scm (ocaml-utop): Update to 2.4.1.
(ocaml-lamdba-term): Update to 2.0.2.
(ocaml-zed): Update to 2.0.3.
2019-09-03 23:32:34 +02:00
Julien Lepiller a21ea76fbf
gnu: Add ocaml-stdlib-shims.
* gnu/packages/ocaml.scm (ocaml-stdlib-shims): New variable.
2019-09-03 23:32:30 +02:00
Julien Lepiller e60330510a
gnu: Add ocaml-charinfo-width.
* gnu/packages/ocaml.scm (ocaml-charinfo-width): New variable.
2019-09-03 23:32:26 +02:00
Julien Lepiller a468fc5e8c
gnu: ocaml-camomile: Update to 1.0.2.
* gnu/packages/ocaml.scm (ocaml-camomile): Update to 1.0.2.
[arguments]: Fix profile and disable failing tests.
2019-09-03 23:32:17 +02:00
Julien Lepiller 3882f607e8
gnu: ocaml-zarith: Update to 1.9.1.
* gnu/packages/ocaml.scm (ocaml-zarith): Update to 1.9.1.
2019-09-03 23:32:14 +02:00
Julien Lepiller d47c8fffd0
gnu: ocaml-result: Update to 1.4.
* gnu/packages/ocaml.scm (ocaml-result): Update to 1.4.
2019-09-03 23:32:10 +02:00
Julien Lepiller 5ab63bd583
gnu: ocaml-odoc: Update to 1.4.1.
* gnu/packages/ocaml.scm (ocaml-odoc): Update to 1.4.1.
2019-09-03 23:32:05 +02:00
Julien Lepiller 283ed30e1a
gnu: dune: Update to 1.11.3.
* gnu/packages/ocaml.scm (dune): Update to 1.11.3.
[source]: Use git-fetch.
2019-09-03 23:31:58 +02:00
Julien Lepiller ab68604e5f
gnu: ocaml-qcheck: Update to 0.10.
* gnu/packages/ocaml.scm (ocaml-qcheck): Update to 0.10.
2019-09-03 23:31:50 +02:00
Julien Lepiller 8cc6a876bd
gnu: ocaml-migrate-parsetree: Update to 1.4.0.
* gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Update to 1.4.0.
(ocaml-ppx-tools-versioned): Update to 5.2.3.
[source]: Use git-fetch.
(ocaml-bisect-ppx): Fix compilation error.
2019-09-03 23:31:35 +02:00
Julien Lepiller f082c78c98
gnu: ocaml-cppo: Update to 1.6.6.
* gnu/packages/ocaml.scm (ocaml-cppo): Update to 1.6.6.
[source]: Use git-fetch.
2019-09-03 23:31:31 +02:00
Julien Lepiller 242e9f0d2c
gnu: ocaml-batteries: Update to 2.10.0.
* gnu/packages/ocaml.scm (ocaml-batteries): Update to 2.10.0.
2019-09-03 23:31:24 +02:00
Julien Lepiller 850f787345
gnu: ocaml-batteries: Fix non determinism.
* gnu/packages/ocaml.scm (ocaml-batteries)[arguments]: Fix non
deterministic file ordering.
2019-06-06 21:23:38 +02:00
Julien Lepiller 6c79cee2e3
gnu: ocaml-cmdliner: Fix non determinism.
* gnu/packages/ocaml.scm (ocaml-cmdliner)[arguments]: Patch build.ml to
fix a file ordering issue.
2019-06-06 15:10:38 +02:00
Julien Lepiller 38f06188df
gnu: ocaml-num: Make stublibs a directory.
* gnu/packages/ocaml.scm (ocaml-num)[arguments]: Fix 'fix-stublibs
phase.
2019-06-06 15:10:31 +02:00
Vagrant Cascadian 37c5b197bb
gnu: ocaml-compiler-libs: Fix typo "package".
* gnu/packages/ocaml (ocaml-compiler-libs)[description]: Fix typo.
2019-05-22 18:29:38 -07:00
Vagrant Cascadian 86912a67ac
gnu: ocaml-migrate-parsetree: Fix typo "converter".
* gnu/packages/ocaml (ocaml-migrate-parsetree)[synopsis]: Fix typo.
2019-05-22 18:29:36 -07:00
Vagrant Cascadian d38ccbb03e
gnu: ocaml-ppx-js-style: Fix typo "This package".
* gnu/packages/ocaml (ocaml-ppx-js-style)[description]: Fix typo.
2019-05-22 18:08:52 -07:00
gabrielhdt 2f8e77bee2
gnu: Add ocaml-odoc.
* gnu/packages/ocaml.scm (ocaml-odoc): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-05-14 21:40:36 +02:00
gabrielhdt 908a2ee0ed
gnu: Add ocaml-bisect-ppx.
* gnu/packages/ocaml.scm (ocaml-bisect-ppx): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-05-14 21:37:57 +02:00
gabrielhdt e2506afcaf
gnu: Add ocaml-tyxml.
* gnu/packages/ocaml.scm (ocaml-tyxml): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-05-14 21:36:34 +02:00
gabrielhdt 38089b549f
gnu: Add ocaml-markup.
* gnu/packages/ocaml.scm (ocaml-markup): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-05-14 21:33:48 +02:00
Julien Lepiller 3617d4f913
gnu: ocaml-base64: Update to 3.2.0.
* gnu/packages/ocaml.scm (ocaml-base64): Update to 3.2.0.
[origin]: Use git-fetch.
(ocaml-piqilib)[origin]: Add a patch to fix building with new
versions of ocaml-base64.
* gnu/packages/patches/ocaml-piqilib-Update-base64.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
2019-05-14 21:05:32 +02:00
Julien Lepiller 9f5a3ba659
gnu: ocaml-tsdl: Update to 0.9.6.
* gnu/packages/ocaml.scm (ocaml-tsdl): Update to 0.9.6.
2019-05-14 21:05:21 +02:00
Julien Lepiller 70a5701141
gnu: ocaml-ocb-stubblr: Fix build failures using it.
* gnu/packages/ocaml.scm (ocaml-ocb-stubblr)[arguments]: Add a phase to
fix guix-specific issues.
2019-05-14 21:05:14 +02:00
Julien Lepiller fbf786bd1d
gnu: ocaml-sqlite3: Update to 4.4.1.
* gnu/packages/ocaml.scm (ocaml-sqlite3): Update to 4.4.1.
[origin]: Use git-fetch.
2019-05-14 21:04:47 +02:00
Julien Lepiller 3cf62cd6cb
gnu: dune: Update to 1.9.3.
* gnu/packages/ocaml.scm (dune): Update to 1.9.3.
2019-05-14 21:04:30 +02:00
gabrielhdt 187f9636f1
gnu: ocaml-menhir: Update to 20181113.
* gnu/packages/ocaml.scm (ocaml-menhir): Update to 20181113.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-05-03 20:46:22 +02:00
Tobias Geerinckx-Rice 8d2d68a5fb
gnu: ocaml-migrate-parsetree: Name checkout.
* gnu/packages/ocaml.scm (ocaml-migrate-parsetree)[source]: Add FILE-NAME.
2019-04-30 21:07:13 +02:00
Tobias Geerinckx-Rice b7a4cb5206
gnu: ocaml-opam-file-format: Name checkout.
* gnu/packages/ocaml.scm (ocaml-opam-file-format)[source]: Add FILE-NAME.
2019-04-30 21:07:12 +02:00
Tobias Geerinckx-Rice 7026f6b27e
gnu: ocaml-ppx-typerep-conv: Name checkout.
* gnu/packages/ocaml.scm (ocaml-ppx-typerep-conv)[source]: Add FILE-NAME.
2019-04-30 21:07:12 +02:00
Tobias Geerinckx-Rice 3a75925e73
gnu: ocaml-ppx-hash: Name checkout.
* gnu/packages/ocaml.scm (ocaml-ppx-hash)[source]: Add FILE-NAME.
2019-04-30 21:07:12 +02:00
Tobias Geerinckx-Rice 4a6de00217
gnu: ocaml-ppx-enumerate: Name checkout.
* gnu/packages/ocaml.scm (ocaml-ppx-enumerate)[source]: Add FILE-NAME.
2019-04-30 21:07:12 +02:00
Tobias Geerinckx-Rice fbd08d42a6
gnu: ocaml-core: Name checkout.
* gnu/packages/ocaml.scm (ocaml-core)[source]: Add FILE-NAME.
2019-04-30 21:07:11 +02:00
Tobias Geerinckx-Rice 9e6cce4440
gnu: ocaml-ppx-tools: Name checkout.
* gnu/packages/ocaml.scm (ocaml-ppx-tools)[source]: Add FILE-NAME.
2019-04-30 17:04:13 +02:00
Julien Lepiller 6215132155
gnu: ocaml-camomile: Install data in the store.
* gnu/packages/ocaml.scm (ocaml-camomile)[arguments]: Fix configuration
to look for and install data in the store.
2019-04-30 10:28:21 +02:00
Julien Lepiller 373a2a0797
gnu: ocaml-yojson: Update to 1.7.0.
* gnu/packages/ocaml.scm (ocaml-yojson): Update to 1.7.0.
(ocaml-merlin): Use jbuild to prevent a build failure due to a
deprecation warning.
2019-04-29 15:44:14 +02:00
Julien Lepiller e821a6406a
gnu: ocaml-qtest: Update to 2.9.
* gnu/packages/ocaml.scm (ocaml-qtest): Update to 2.9.
[source]: Use git-fetch.
[build-system]: Use dune-build-system.
2019-04-27 19:03:43 +02:00
Julien Lepiller bcc718be03
gnu: ocaml-ezjsonm: Update to 1.1.0.
* gnu/packages/ocaml.scm (ocaml-ezjsonm): Update to 1.1.0.
2019-04-27 19:03:28 +02:00
Julien Lepiller 58c3118f59
gnu: ocaml-re: Update to 1.9.0.
* gnu/packages/ocaml.scm (ocaml-re): Update to 1.9.0.
(ocaml-uri): Fix build.
2019-04-27 19:03:25 +02:00
Julien Lepiller e58d05c32e
gnu: ocaml-csv: Update to 2.2.
* gnu/packages/ocaml.scm (ocaml-csv): Update to 2.2.
[source]: Use git-fetch.
[build-system]: Use dune-build-system.
2019-04-27 19:03:21 +02:00
Julien Lepiller f9caa17b63
gnu: ocaml-spawn: Update to 0.13.0.
* gnu/packages/ocaml.scm (ocaml-spawn): Update to 0.13.0.
2019-04-27 19:03:14 +02:00
Julien Lepiller b05290380f
gnu: ocaml-ppxlib: Update to 0.6.0.
* gnu/packages/ocaml.scm (ocaml-ppxlib): Update to 0.6.0.
(dune): Update to 1.9.1.
2019-04-26 23:57:00 +02:00
Julien Lepiller cf338cc305
gnu: ocaml-migrate-parsetree: Add upstream-name.
* gnu/packages/ocaml.scm (ocaml-migrate-parsetree)[properties]: New
field.
2019-04-26 23:35:24 +02:00
Julien Lepiller b7ebcb043c
gnu: ocaml-ppx-expect: Update to 0.12.0.
* gnu/packages/ocaml.scm (ocaml-ppx-inline-test): Update to 0.12.0.
(ocaml-ppx-expect): Update to 0.12.0.
2019-04-26 23:35:19 +02:00
Julien Lepiller ee33e415e7
gnu: ocaml-frontc: Add upstream-name.
* gnu/packages/ocaml.scm (ocaml-frontc)[properties]: New field.
2019-04-26 23:35:17 +02:00
Julien Lepiller d4857001a1
gnu: ocaml-ppx-tools: Add upstream-name.
* gnu/packages/ocaml.scm (ocaml-ppx-tools)[properties]: New field.
2019-04-26 23:35:15 +02:00
Julien Lepiller f08b235dab
gnu: ocaml-lwt-log: Add upstream-name.
* gnu/packages/ocaml.scm (ocaml-lwt-log)[properties]: New field.
2019-04-26 23:35:13 +02:00
Julien Lepiller c949a4eb1f
gnu: ocaml-ppx-tools-versioned: Add upstream-name.
* gnu/packages/ocaml.scm (ocaml-ppx-tools-versioned)[properties]: New
field.
2019-04-26 23:35:11 +02:00
Julien Lepiller d9faae6254
gnu: ocaml-compiler-libs: Add upstream name.
* gnu/packages/ocaml.scm (ocaml-compiler-libs)[properties]: New field.
2019-04-26 23:35:08 +02:00
Julien Lepiller 1e5937c8c0
gnu: ocaml-ppx-derivers: Update to 1.2.1.
* gnu/packages/ocaml.scm (ocaml-ppx-derivers): Update to 1.2.1.
2019-04-26 23:35:03 +02:00
Julien Lepiller 1e8439de27
gnu: ocaml-pcre: Update to 7.4.1.
* gnu/packages/ocaml.scm (ocaml-pcre): Update to 7.4.1.
[build-system]: Use dune-build-system.
[source]: Use git-fetch.
2019-04-26 23:34:59 +02:00
Julien Lepiller acb98ad956
gnu: ocaml-stringext: Update to 1.5.0.
* gnu/packages/ocaml.scm (ocaml-stringext): Update to 1.5.0.
[source]: Use git-fetch.
[build-system]: Use dune-build-system.
2019-04-26 23:34:54 +02:00
Julien Lepiller 09cd92a983
gnu: ocaml-zarith: Update to 1.7.
* gnu/packages/ocaml.scm (ocaml-zarith): Update to 1.7.
[source]: Use git-fetch.
2019-04-26 23:34:41 +02:00
Julien Lepiller eddfd11d70
gnu: ocaml-topkg: Update to 1.0.0.
* gnu/packages/ocaml.scm (ocaml-topkg): Update to 1.0.0.
2019-04-26 23:34:31 +02:00
Julien Lepiller 853af25ecd
gnu: ocaml-mtime: Update to 1.1.0.
* gnu/packages/ocaml.scm (ocaml-mtime): Update to 1.1.0.
2019-04-26 23:34:26 +02:00
Julien Lepiller 3f59ecfcb5
gnu: ocaml-qcheck: Update to 0.9.
* gnu/packages/ocaml.scm (ocaml-qcheck): Update to 0.9.
2019-04-26 23:34:10 +02:00
Julien Lepiller 273ba2552b
gnu: ocaml-integers: Update to 0.3.0.
* gnu/packages/ocaml.scm (ocaml-integers): Update to 0.3.0.
2019-04-26 18:29:02 +02:00
Julien Lepiller 12c3f62ab2
gnu: ocaml-easy-format: Update to 1.3.1.
* gnu/packages/ocaml.scm (ocaml-easy-format): Update to 1.3.1.
[build-system]: Use dune-build-system.
[source]: Use git-fetch.
2019-04-26 18:28:58 +02:00
Julien Lepiller 7e49538483
gnu: ocaml-fpath: Update to 0.7.2.
* gnu/packages/ocaml.scm (ocaml-fpath): Update to 0.7.2.
2019-04-26 18:28:54 +02:00
Julien Lepiller b858c5ac39
gnu: ocaml-ssl: Update to 0.5.7.
* gnu/packages/ocaml.scm (ocaml-ssl): Update to 0.5.7.
2019-04-26 18:28:49 +02:00
Julien Lepiller 44b8507d5e
gnu: ocaml-octavius: Update to 1.2.1.
* gnu/packages/ocaml.scm (ocaml-octavius): Update to 1.2.1.
2019-04-26 18:28:46 +02:00
Julien Lepiller 22cd6a1d4f
gnu: ocaml-result: Update to 1.3.
* gnu/packages/ocaml.scm (ocaml-result): Update to 1.3.
[build-system]: Use dune-build-system.
[source]: Use git-fetch.
2019-04-26 18:28:42 +02:00
Julien Lepiller 5cb40adaa2
gnu: ocaml-utop: Update to 2.3.0.
* gnu/packages/ocaml.scm (ocaml-utop): Update to 2.3.0.
2019-04-26 18:28:25 +02:00
Julien Lepiller c3634df2a4
gnu: ocaml@4.02: Remove the package, affected by a CVE, and its dependent
packages.

This fixes <https://bugs.gnu.org/27462>.

* gnu/packages/ocaml.scm (ocaml-4.02, camlp4-4.02, ocaml4.02-menhir)
(ocaml4.02-lablgtk, ocaml4.02-findlib, ocaml4.02-ounit)
(ocaml4.02-camlzip, ocaml4.02-ocamlmod, ocaml4.02-zarith)
(ocaml4.02-qcheck, ocaml4.02-qtest, ocaml4.02-stringext)
(ocaml4.02-bisect, ocaml4.02-bitstring, ocaml4.02-result)
(ocaml4.02-topkg, ocaml4.02-rresult, ocaml4.02-sqlite3, ocaml4.02-csv)
(ocaml4.02-mtime, ocaml4.02-cmdliner, ocaml4.02-fmt, ocaml4.02-astring)
(ocaml4.02-alcotest, ocaml4.02-ppx-tools, ocaml4.02-react, ocaml4.02-ssl)
(ocaml4.02-lwt, ocaml4.02-lwt-log, ocaml4.02-logs, ocaml4.02-fpath)
(ocaml4.02-bos, ocaml4.02-xmlm, ocaml4.02-ulex, ocaml4.02-uchar)
(ocaml4.02-uutf, ocaml4.02-jsonm, ocaml4.02-ocurl, ocaml4.02-base64)
(ocaml4.02-omake, ocaml4.02-batteries, ocaml4.02-pcre, ocaml4.02-oasis)
(ocaml4.02-js-build-tools, ocaml4.02-bin-prot, ocaml4.02-fieldslib)
(ocaml4.02-ppx-core, ocaml4.02-ppx-optcomp, ocaml4.02-ppx-driver)
(ocaml4.02-cppo, ocaml4.02-ppx-deriving, ocaml4.02-ppx-type-conv)
(ocaml4.02-ppx-inline-test, ocaml4.02-ppx-bench, ocaml4.02-ppx-compare)
(ocaml4.02-sexplib, ocaml4.02-typerep, ocaml4.02-variantslib)
(ocaml4.02-ppx-sexp-conv, ocaml4.02-ppx-variants-conv)
(ocaml4.02-ppx-here, ocaml4.02-ppx-assert, ocaml4.02-ppx-enumerate)
(ocaml4.02-ppx-let, ocaml4.02-ppx-typerep-conv, ocaml4.02-ppx-sexp-value)
(ocaml4.02-ppx-pipebang, ocaml4.02-ppx-bin-prot, ocaml4.02-ppx-fail)
(ocaml4.02-ppx-custom-printf, ocaml4.02-ppx-sexp-message)
(ocaml4.02-ppx-fields-conv, ocaml4.02-seq, ocaml4.02-re)
(ocaml4.02-ppx-expect, ocaml4.02-ppx-jane, ocaml4.02-core-kernel)
(ocaml4.02-async-kernel, ocaml4.02-async-rpc-kernel, ocaml4.02-core)
(ocaml4.02-async-unix, ocaml4.02-async-extra, ocaml4.02-async)
(ocaml4.02-ocplib-endian, ocaml4.02-easy-format, optcomp)
(ocaml4.02-piqilib, ocaml4.02-uuidm, ocaml4.02-graph, ocaml4.02-piqi)
(ocaml4.02-camomile, ocaml4.02-zed, ocaml4.02-lambda-term): Remove variables.
* guix/build-system/ocaml.scm (default-ocaml4.02)
(default-ocaml4.02-findlib, package-with-ocaml4.02)
(strip-ocaml4.02-variant): Remove variables.
2019-04-25 19:01:31 +02:00
Julien Lepiller 6e49426761
gnu: ocamlify: Downgrade to 0.0.1.
Version 0.0.2 cannot be built with the latest OCaml, whereas this
version does.  This is also the version used by opam.

* gnu/packages/ocaml.scm (ocamlify): Downgrade to 0.0.1.
[arguments]: Do not use ocaml-4.02.
2019-04-25 19:01:05 +02:00
Julien Lepiller 0705f389d1
gnu: Remove ocaml-jbuilder.
Jbuilder is deprecated and replaced by dune.

* gnu/packages/ocaml.scm (ocaml-jbuilder): Remove variable.
(ocaml-zed, ocaml-utop): Use dune-build-system.
2019-04-25 19:00:48 +02:00
Julien Lepiller bbe9915b30
gnu: bap: Update to 1.6.0.
* gnu/packages/ocaml.scm (bap): Update to 1.6.0.
(ocaml-frontc): Update to 3.4.1.
(ocaml-fileutils, ocaml-cstruct, ocaml-hex, ocaml-ezjsonm, ocaml-uri):
New variables.
(ocaml4.02-fileutils, ocaml4.02-cstruct, ocaml4.02-hex,
ocaml4.02-ezjsonm, ocaml4.02-uri): Remove variables.
2019-04-25 19:00:25 +02:00
Julien Lepiller ce9a30e6f4
gnu: Add ocaml-bigarray-compat.
* gnu/packages/ocaml.scm (ocaml-bigarray-compat): New variable.
2019-04-25 18:59:55 +02:00
Tobias Geerinckx-Rice 74ee98eed4
gnu: ocaml-ppx-hash: Fix typo in description.
* gnu/packages/ocaml.scm (ocaml-ppx-hash)[description]:
Fix non-functional typo.
2019-04-23 18:14:49 +02:00
Ludovic Courtès 30a6cd7cd0
gnu: ocaml-dose3: Shorten patch file name.
This file name was too long for 'tar', as reported by 'guix lint'.

* gnu/packages/patches/ocaml-dose3-Add-unix-as-dependency-to-dose3.common-in-META.in.patch:
Rename to...
* gnu/packages/patches/ocaml-dose3-add-unix-dependency.patch: ... this.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/ocaml.scm (ocaml-dose3)[source]: Adjust accordingly.
2019-04-19 17:46:40 +02:00
Tobias Geerinckx-Rice f541d86de6
gnu: emacs-tuareg: Don't use unstable tarball.
* gnu/packages/ocaml.scm (emacs-tuareg)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
[arguments]: Add ‘make-git-checkout-writable’ phase.
2019-04-15 05:11:31 +02:00
Tobias Geerinckx-Rice 6aade73967
gnu: camlp5: Don't use unstable tarball.
* gnu/packages/ocaml.scm (camlp5)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-15 05:11:31 +02:00
Tobias Geerinckx-Rice de957d9595
gnu: camlp4@4.07+1: Don't use unstable tarball.
* gnu/packages/ocaml.scm (camlp4-4.07)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-15 05:11:31 +02:00
Tobias Geerinckx-Rice b42a72bed1
gnu: ocaml4.02-ezjsonm: Fix tag.
* gnu/packages/ocaml.scm (ocaml4.02-ezjsonm)[source]: Drop unnecessary
"v"" from git tag.
2019-04-15 05:11:31 +02:00
Tobias Geerinckx-Rice 8da3f78e57
gnu: ocamlbuild: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocamlbuild)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-15 05:11:31 +02:00
Julien Lepiller ee6c4b62b8
gnu: opam: Update to 2.0.4.
* gnu/packages/ocaml.scm (opam): Update to 2.0.4.
2019-04-12 22:08:28 +02:00
Ricardo Wurmus ddb5dc08a7
gnu: Add ocaml-gsl-1.
* gnu/packages/ocaml.scm (ocaml-gsl-1): New variable.
2019-04-11 17:11:41 +02:00
Tobias Geerinckx-Rice 7848205b24
gnu: ocaml-utop: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-utop)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:37 +02:00
Tobias Geerinckx-Rice fd2582bd7f
gnu: ocaml-lambda-term: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-lambda-term)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:37 +02:00
Tobias Geerinckx-Rice f4f3e8ce4d
gnu: ocaml-zed: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-zed)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:37 +02:00
Tobias Geerinckx-Rice 55f9f9b081
gnu: ocaml-jbuilder: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-jbuilder)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:36 +02:00
Tobias Geerinckx-Rice 677a88e075
gnu: ocaml-piqilib: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-piqilib)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:36 +02:00
Tobias Geerinckx-Rice 554d98db77
gnu: optcomp: Don't use unstable tarball.
* gnu/packages/ocaml.scm (optcomp)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:36 +02:00
Tobias Geerinckx-Rice e4bb29ddfa
gnu: ocaml4.02-uri: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml4.02-uri)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:36 +02:00
Tobias Geerinckx-Rice 21b1845dde
gnu: ocaml4.02-ezjsonm: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml4.02-ezjsonm)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:36 +02:00
Tobias Geerinckx-Rice 07c3711d0f
gnu: ocaml-re: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-re)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:36 +02:00
Tobias Geerinckx-Rice f6a99fbfa2
gnu: ocaml-seq: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-seq)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
Fix indentation.
2019-04-11 05:42:22 +02:00
Tobias Geerinckx-Rice 2209b362a5
gnu: ocaml4.02-ppx-deriving: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml4.02-ppx-deriving)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
[arguments]: Add ‘make-git-checkout-writable’ phase.
Fix indentation.
2019-04-11 05:42:09 +02:00
Tobias Geerinckx-Rice f8b8e60e2c
gnu: ocaml-ulex: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-ulex)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:09 +02:00
Tobias Geerinckx-Rice 71117a36b6
gnu: ocaml4.02-ppx-tools: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml4.02-ppx-tools)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:08 +02:00
Tobias Geerinckx-Rice ef59cf9d3b
gnu: ocaml-ppx-tools: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-ppx-tools)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
Fix indentation.
2019-04-11 05:41:55 +02:00
Tobias Geerinckx-Rice e3c7ac732f
gnu: ocaml-bisect: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-bisect)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:32:52 +02:00
Tobias Geerinckx-Rice b01339816a
gnu: ocaml-qcheck: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-qcheck)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:32:52 +02:00
Tobias Geerinckx-Rice 34f615a2c1
gnu: ocaml-num: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-num)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:32:52 +02:00
Tobias Geerinckx-Rice d5dee1de7c
gnu: camlp4@4.02+6: Don't use unstable tarball.
* gnu/packages/ocaml.scm (camlp4-4.02)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:32:51 +02:00
Julien Lepiller e9b86fa0f1
gnu: opam: Unbundle dependencies.
* gnu/packages/ocaml.scm (opam)[build-system]: Use ocaml-build-system.
[source]: Use unbundled sources.
[arguments]: Update.
[inputs, native-inputs, propagated-inputs]: Add missing dependencies.
2019-04-10 21:39:28 +02:00
Julien Lepiller ec9d932562
gnu: Add ocaml-dose3.
* gnu/packages/ocaml.scm (ocaml-dose3): New variable.
* gnu/packages/patches/ocaml-dose3-Add-unix-as-dependency-to-dose3.common-in-META.in.patch:
New file.
* gnu/packages/patches/ocaml-dose3-Fix-for-ocaml-4.06.patch: New file.
* gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch: New file.
* gnu/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add them.
2019-04-10 21:39:20 +02:00
Julien Lepiller c4262cc932
gnu: Add ocaml-mccs.
* gnu/packages/ocaml.scm (ocaml-mccs): New variable.
2019-04-10 21:39:17 +02:00
Julien Lepiller 718fadb8ca
gnu: Add ocaml-cudf.
* gnu/packages/ocaml.scm (ocaml-cudf): New variable.
2019-04-10 21:39:15 +02:00
Julien Lepiller bb338a7f80
gnu: Add ocaml-extlib.
* gnu/packages/ocaml.scm (ocaml-extlib): New variable.
2019-04-10 21:39:13 +02:00
Julien Lepiller b6bba90e92
gnu: ocaml-cmdliner: Update to 1.0.3.
* gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.0.3.
2019-04-10 21:39:10 +02:00
Julien Lepiller d1358ab633
gnu: Add ocaml-opam-file-format.
* gnu/packages/ocaml.scm (ocaml-opam-file-format): New variable.
2019-04-10 21:39:07 +02:00
Julien Lepiller 8fd897888d
gnu: ocaml-gsl: Update to 1.24.0.
* gnu/packages/ocaml.scm (ocaml-gsl): Update to 1.24.0.
2019-03-24 15:28:20 +01:00
Julien Lepiller 8d135e3726
gnu: dune: Fix libdir.
* gnu/packages/ocaml.scm (dune): Install libraries in site-lib.
2019-03-24 15:28:15 +01:00
Julien Lepiller a1034ea0cc
gnu: ocaml-bos: Update to 0.2.0.
* gnu/packages/ocaml.scm (ocaml-bos): Update to 0.2.0.
2019-03-24 15:28:12 +01:00
Julien Lepiller d7d4102664
gnu: ocaml-react: Update to 1.2.1.
* gnu/packages/ocaml.scm (ocaml-react): Update to 1.2.1.
2019-03-24 15:27:49 +01:00
Julien Lepiller 23c8a97a5b
gnu: ocaml-alcotest: Update to 0.8.5.
* gnu/packages/ocaml.scm (ocaml-alcotest): Update to 0.8.5.
2019-03-23 22:58:57 +01:00
Julien Lepiller 50ab554bd5
gnu: unison: Fix manual generation.
* gnu/packages/ocaml.scm (unison)[arguments]: Fix documentation
generation.
2019-03-17 18:37:37 +01:00
Julien Lepiller 22d1cb7ffa
gnu: opam: Update to 2.0.3.
* gnu/packages/ocaml.scm (opam): Update to 2.0.3.
2019-03-17 18:37:31 +01:00
Andreas Enge 4982c0c98d
gnu: ocaml@4.01: Remove the package, affected by a CVE, and its dependent
packages.

This makes progress towards fixing <https://bugs.gnu.org/27462>.

* gnu/packages/ocaml.scm (ocaml-4.01, ocaml4.01-findlib, ocaml4.01-ounit,
ocaml4.01-camlzip, ocaml4.01-qtest, ocaml4.01-bisect, ocaml4.01-sqlite3,
ocaml4.01-csv, ocaml4.01-xmlm, ocaml4.01-batteries, ocaml4.01-gsl): Remove
variables.
(ocaml-batteries, ocaml-bisect)[properties]: Remove ocaml4.01-variant.
* gnu/packages/machine-learning.scm (ocaml4.01-mcl): Remove variable.
2019-02-19 22:59:06 +01:00
Gabriel Hondet 8213db7c95
gnu: Add ocaml-timed.
* gnu/packages/ocaml.scm (ocaml-timed): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-13 22:50:59 +01:00
Gabriel Hondet 7195c4f2ae
gnu: Add ocaml-bindlib.
* gnu/packages/ocaml.scm (ocaml-bindlib): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-13 22:50:54 +01:00
Gabriel Hondet 70c7d02590
gnu: Add ocaml-earley.
* gnu/packages/ocaml.scm (ocaml-earley): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-13 22:50:17 +01:00
Christopher Baines e88fd8beb1
gnu: ocaml-splittable-random: Change @defn to @acronym.
I see an error when running guix package -s relating to this:

  Throw to key `parser-error' with args `(#f "Unknown command" defn)'.

* gnu/packages/ocaml.scm (ocaml-splittable-random)[description]: Change @defn
to @acronym.
2019-02-06 09:18:08 +00:00
Christopher Baines 1d5d0447d3
gnu: ocaml-spawn: Add missing @end itemize to description.
As otherwise this error appears when running things like guix package -s:

  texinfo.scm:745:27: Throw to key `parser-error' with args `(#<input: string
  35ad0e0> "EOF while reading a token " "reading char data")'.

* gnu/packages/ocaml.scm (ocaml-spawn)[description]: Add @end itemize to the
end.
2019-02-06 09:16:50 +00:00
Julien Lepiller 8baa5c8b7c
gnu: Add ocaml-core-kernel.
* gnu/packages/ocaml.scm (ocaml-core-kernel): New variable.
2019-02-05 22:34:31 +01:00
Julien Lepiller 514b542018
gnu: Add ocaml-core.
* gnu/packages/ocaml.scm (ocaml-core): New variable.
2019-02-05 22:34:28 +01:00
Julien Lepiller 9e81db80eb
gnu: Add ocaml-spawn.
* gnu/packages/ocaml.scm (ocaml-spawn): New variable.
2019-02-05 22:34:26 +01:00
Julien Lepiller 3e3d5ffc34
gnu: Add ocaml-configurator.
* gnu/packages/ocaml.scm (ocaml-configurator): New variable.
2019-02-05 22:34:24 +01:00
Julien Lepiller dc361a2563
gnu: Add ocaml-jane-street-headers.
* gnu/packages/ocaml.scm (ocaml-jane-street-headers): New variable.
2019-02-05 22:34:22 +01:00
Julien Lepiller 5995e6d104
gnu: Add ocaml-splittable-random.
* gnu/packages/ocaml.scm (ocaml-splittable-random): New variable.
2019-02-05 22:34:20 +01:00
Julien Lepiller 255f1cae42
gnu: Add ocaml-ppx-jane.
* gnu/packages/ocaml.scm (ocaml-ppx-jane): New variable.
2019-02-05 22:34:17 +01:00
Julien Lepiller 7bd4b85e9b
gnu: Add ocaml-ppx-bin-prot.
* gnu/packages/ocaml.scm (ocaml-ppx-bin-prot): New variable.
2019-02-05 22:34:15 +01:00
Julien Lepiller d13b9c5f67
gnu: Add ocaml-ppx-base.
* gnu/packages/ocaml.scm (ocaml-ppx-base): New variable.
2019-02-05 22:34:13 +01:00
Julien Lepiller 48ad1181d0
gnu: Add ocaml-ppx-typerep-conv.
* gnu/packages/ocaml.scm (ocaml-ppx-typerep-conv): New variable.
2019-02-05 22:34:11 +01:00
Julien Lepiller f4304c1d6c
gnu: Add ocaml-ppx-js-style.
* gnu/packages/ocaml.scm (ocaml-ppx-js-style): New variable.
2019-02-05 22:34:09 +01:00
Julien Lepiller 4e4e5fb1df
gnu: Add ocaml-ppx-expect.
* gnu/packages/ocaml.scm (ocaml-ppx-expect): New variable.
2019-02-05 22:34:07 +01:00
Julien Lepiller 7ec9a45db3
gnu: Add ocaml-ppx-assert.
* gnu/packages/ocaml.scm (ocaml-ppx-assert): New variable.
2019-02-05 22:34:04 +01:00
Julien Lepiller 6018802d9c
gnu: Add ocaml-ppx-fail.
* gnu/packages/ocaml.scm (ocaml-ppx-fail): New variable.
2019-02-05 22:34:02 +01:00
Julien Lepiller 1365ae47d1
gnu: Add ocaml-ppx-let.
* gnu/packages/ocaml.scm (ocaml-ppx-let): New variable.
2019-02-05 22:34:00 +01:00
Julien Lepiller 79967eeafc
gnu: add ocaml-ppx-optcomp.
* gnu/packages/ocaml.scm (ocaml-ppx-optcomp): New variable.
2019-02-05 22:33:58 +01:00
Julien Lepiller 3f4ecf6649
gnu: Add ocaml-ppx-optional.
* gnu/packages/ocaml.scm (ocaml-ppx-optional): New variable.
2019-02-05 22:33:56 +01:00
Julien Lepiller 6a1140012c
gnu: Add ocaml-ppx-pipebang.
* gnu/packages/ocaml.scm (ocaml-ppx-pipebang): New variable.
2019-02-05 22:33:53 +01:00
Julien Lepiller 44a2ceca19
gnu: Add ocaml-ppx-sexp-message.
* gnu/packages/ocaml.scm (ocaml-ppx-sexp-message): New variable.
2019-02-05 22:33:51 +01:00
Julien Lepiller e93281507d
gnu: Add ocaml-ppx-sexp-value.
* gnu/packages/ocaml.scm (ocaml-ppx-sexp-value): New variable.
2019-02-05 22:33:49 +01:00
Julien Lepiller a58118ca6b
gnu: Add ocaml-typerep.
* gnu/packages/ocaml.scm (ocaml-typerep): New variable.
2019-02-05 22:33:47 +01:00
Julien Lepiller 164b06daeb
gnu: Add ocaml-ppx-here.
* gnu/packages/ocaml.scm (ocaml-ppx-here): New variable.
2019-02-05 22:33:42 +01:00
Julien Lepiller b42afab2e2
gnu: Add ocaml-ppx-bench.
* gnu/packages/ocaml.scm (ocaml-ppx-bench): New variable.
2019-02-05 22:33:40 +01:00
Julien Lepiller db67f56901
gnu: Add ocaml-ppx-enumerate.
* gnu/packages/ocaml.scm (ocaml-ppx-enumerate): New variable.
2019-02-05 22:33:37 +01:00
Julien Lepiller 6692f65218
gnu: Add ocaml-ppx-hash.
* gnu/packages/ocaml.scm (ocaml-ppx-hash): New variable.
2019-02-05 22:33:35 +01:00
Julien Lepiller 49b01fa3e9
gnu: Add ocaml-octavius.
* gnu/packages/ocaml.scm (ocaml-octavius): New variable.
2019-02-05 22:33:33 +01:00
Julien Lepiller a0584d6c97
gnu: Add ocaml-bin-prot.
* gnu/packages/ocaml.scm (ocaml-bin-prot): New variable.
2019-02-05 22:33:31 +01:00
Julien Lepiller 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
Julien Lepiller 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
Julien Lepiller 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
Julien Lepiller 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
Julien Lepiller d9f8433e17
gnu: Add ocaml-variantslib.
* gnu/packages/ocaml.scm (ocaml-variantslib): New variable.
2019-02-05 22:33:21 +01:00
Julien Lepiller 143685fd1a
gnu: Add ocaml-fieldslib.
* gnu/packages/ocaml.scm (ocaml-fieldslib): New variable.
2019-02-05 22:33:19 +01:00
Julien Lepiller c16c8bb68d
gnu: Add ocaml-ppx-compare.
* gnu/packages/ocaml.scm (ocaml-ppx-compare): New variable.
2019-02-05 22:33:17 +01:00
Julien Lepiller 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
Julien Lepiller 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
Andreas Enge 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
Gabriel Hondet 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
Gabriel Hondet 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
Gabriel Hondet 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
Ricardo Wurmus 48b11025b7
gnu: ocaml-utop: Use INVOKE.
* gnu/packages/ocaml.scm (ocaml-utop)[arguments]: Use INVOKE.
2019-01-25 13:32:41 +01:00
Ricardo Wurmus 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
Ricardo Wurmus 04daa1ed72
gnu: ocaml-zarith: Use INVOKE.
* gnu/packages/ocaml.scm (ocaml-zarith)[arguments]: Use INVOKE.
2019-01-25 13:31:29 +01:00
Ricardo Wurmus 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
Ricardo Wurmus 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
Ricardo Wurmus 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
Gabriel Hondet 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
Gabriel Hondet 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
Gabriel Hondet 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
Gabriel Hondet 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
Gabriel Hondet 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
Gabriel Hondet 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
Gabriel Hondet 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
Gabriel Hondet 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
Gabriel Hondet 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
Gabriel Hondet 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
Gabriel Hondet 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
Gabriel Hondet 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
Ricardo Wurmus 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
Ricardo Wurmus 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
Gabriel Hondet 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
Julien Lepiller 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
Julien Lepiller 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
Ludovic Courtès 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
Ludovic Courtès 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
Julien Lepiller 912f44005d
gnu: ocaml: Fix indentation.
* gnu/packages/ocaml.scm: Fix indentation issues.
2018-12-27 09:47:22 +01:00
Gabriel Hondet 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
Gabriel Hondet 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
Gabriel Hondet 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
Julien Lepiller 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