Commit Graph

580 Commits

Author SHA1 Message Date
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