summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
Commit message (Expand)AuthorAgeFilesLines
* gnu: ocamlify: Update to 0.0.2.•••* gnu/packages/ocaml.scm (ocamlify): Update to 0.0.2. [arguments]: Add a ‘disable-safe-string’ phase. Tobias Geerinckx-Rice2020-08-311-2/+8
* gnu: ocamlify: Parametrize source URI.•••* gnu/packages/ocaml.scm (ocamlify)[source]: Construct with VERSION. Tobias Geerinckx-Rice2020-08-311-8/+8
* 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. Marius Bakke2020-07-301-10/+23
* 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. Ludovic Courtès2020-07-121-36/+36
* 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. Efraim Flashner2020-06-241-5/+10
* gnu: ocaml-extlib: Update to 1.7.7.•••* gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.7.7. [source]: Update TLD. Tobias Geerinckx-Rice2020-06-031-3/+3
* gnu: camlp5: Update to 7.12.•••* gnu/packages/ocaml.scm (camlp5): Update to 7.12. Tobias Geerinckx-Rice2020-06-031-2/+2
* gnu: hevea: Update to 2.34.•••* gnu/packages/ocaml.scm (hevea): Update to 2.34. Tobias Geerinckx-Rice2020-05-201-2/+2
* gnu: bap: Update to 2.0.0.•••* gnu/packages/ocaml.scm (bap): Update to 2.0.0. Julien Lepiller2020-05-161-4/+11
* gnu: ocaml-ocurl: Update to 0.9.1.•••* gnu/packages/ocaml.scm (ocaml-ocurl): Update to 0.9.1. Julien Lepiller2020-05-151-2/+2
* gnu: ocaml-fileutils: Update to 0.6.2.•••* gnu/packages/ocaml.scm (ocaml-fileutils): Update to 0.6.2. Julien Lepiller2020-05-151-21/+4
* gnu: ocaml-octavius: Update to 1.2.2.•••* gnu/packages/ocaml.scm (ocaml-octavius): Update to 1.2.2. Julien Lepiller2020-05-151-2/+11
* gnu: ocamlify: Fix grammar of "allows to create" to "creates".•••* gnu/packages/ocaml (ocamlify): Fix grammar. Vagrant Cascadian2020-04-121-1/+1
* gnu: ocaml-mtime: Fix grammar "allows to measure" to "measures".•••* gnu/packages/ocaml (ocaml-mtime): Fix grammar. Vagrant Cascadian2020-04-121-1/+1
* gnu: ocaml-qcheck: Fix grammar of "allows to check" to "checks".•••* gnu/packages/ocaml (ocaml-qcheck): Fix grammar. Vagrant Cascadian2020-04-121-1/+1
* gnu: ocaml-menhir: Update to 20190626.•••* gnu/packages/ocaml.scm (ocaml-menhir): Update to 20190626. Julien Lepiller2020-04-041-2/+3
* gnu: ocaml-sedlex: Use HTTPS home page.•••* gnu/packages/ocaml.scm (ocaml-sedlex)[home-page]: Use HTTPS. Tobias Geerinckx-Rice2020-03-211-1/+1
* 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. Tobias Geerinckx-Rice2020-03-211-4/+2
* gnu: ocaml-tsdl: Use HTTPS home page.•••* gnu/packages/ocaml.scm (ocaml-tsdl)[home-page]: Use HTTPS. Tobias Geerinckx-Rice2020-03-211-1/+1
* gnu: camlp5: Update home page.•••* gnu/packages/ocaml.scm (camlp5)[home-page]: Update. Tobias Geerinckx-Rice2020-03-191-1/+1
* gnu: camlzip: Update home page.•••* gnu/packages/ocaml.scm (camlzip)[home-page]: Update. Tobias Geerinckx-Rice2020-03-191-1/+1
* gnu: lablgtk: Update to 2.18.10.•••* gnu/packages/ocaml.scm (lablgtk): Update to 2.18.10. Tobias Geerinckx-Rice2020-03-191-3/+3
* gnu: ocaml-mccs: Use HTTPS home page.•••* gnu/packages/ocaml.scm (ocaml-mccs)[home-page]: Use HTTPS. Tobias Geerinckx-Rice2020-02-291-1/+1
* gnu: hevea: Update to 2.33.•••* gnu/packages/ocaml.scm (hevea): Update to 2.33. Tobias Geerinckx-Rice2020-02-231-4/+4
* gnu: camlp5: Update to 7.11.•••* gnu/packages/ocaml.scm (camlp5): Update to 7.11. Tobias Geerinckx-Rice2020-02-161-3/+3
* 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. Efraim Flashner2020-01-281-4/+14
* gnu: ocaml-ocplib-endian: Don't use unstable tarball.•••* gnu/packages/ocaml.scm (ocaml-ocplib-endian)[source]: Download using git-fetch. Efraim Flashner2020-01-281-5/+6
* gnu: ocaml-lwt: Don't use unstable tarball.•••* gnu/packages/ocaml.scm (ocaml-lwt)[source]: Download using git-fetch. Efraim Flashner2020-01-281-5/+6
* 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. Julien Lepiller2020-01-271-435/+614
* gnu: Add ocaml4.07-dune.•••* gnu/packages/ocaml.scm (ocaml4.07-dune): New variable. Julien Lepiller2020-01-271-0/+3
* gnu: Add ocaml4.07-lablgtk.•••* gnu/packages/ocaml.scm (ocaml4.07-lablgtk): New variable. (lablgtk)[properties]: Add variant. Julien Lepiller2020-01-271-0/+11
* gnu: ocambuild: Update to 0.14.0.•••* gnu/packages/ocaml.scm (ocamlbuild): Update to 0.14.0. [build-system]: Use ocaml-build-system. Julien Lepiller2020-01-271-19/+10
* gnu: ocaml-mmap: Fix spelling of "function".•••* gnu/packages/ocaml (ocaml-mmap)[description]: Fix typo. Vagrant Cascadian2020-01-241-1/+1
* gnu: ocaml4.07-findlib: Fix building with ocaml 4.07.•••* gnu/packages/ocaml.scm (ocaml4.07-findlib): rename inputs to native-inputs. Julien Lepiller2020-01-231-1/+1
* gnu: ocaml-mmap: Use a source file-name.•••* gnu/packages/ocaml.scm (ocaml-mmap)[source]: Add file-name field. Efraim Flashner2020-01-221-1/+2
* gnu: Add ocaml4.07-findlib.•••* gnu/packages/ocaml.scm (ocaml4.07-findlib): New variable. Julien Lepiller2020-01-221-0/+8
* gnu: ocaml-lambda-term: Add missing dependencies.•••* gnu/packages/ocaml.scm (ocaml-lambda-term)[propagated-inputs]: Add ocaml-lwt-react. [inputs]: Add libev. Julien Lepiller2020-01-221-3/+6
* nu: Add ocaml-lwt-react.•••* gnu/packages/ocaml.scm (ocaml-lwt-react): New variable. Julien Lepiller2020-01-221-0/+22
* gnu: ocaml-markup: Update to 0.8.2.•••gnu/packages/ocaml.scm (ocaml-markup): Update to 0.8.2. Julien Lepiller2020-01-211-3/+9
* gnu: ocaml-lwt: Update to 5.1.1.•••* gnu/packages/ocaml.scm (ocaml-lwt): update to 5.1.1. Julien Lepiller2020-01-211-17/+10
* gnu: Add ocaml-mmap.•••* gnu/packages/ocaml.scm (ocaml-mmap): New variable. Julien Lepiller2020-01-211-0/+20
* gnu: ocaml-bisect-ppx: Update to 1.4.2.•••* gnu/packages/ocaml.scm (ocaml-bisect-ppx): Update to 1.4.2. Julien Lepiller2020-01-211-2/+2
* gnu: ocaml-qtest. Update to 2.10.1.•••* gnu/packages/ocaml.scm (ocaml-qtest): Update to 2.10.1. Julien Lepiller2020-01-211-2/+2
* gnu: ocaml-qcheck: Update to 0.12.•••* gnu/packages/ocaml.scm (ocaml-qcheck): Update to 0.12. Julien Lepiller2020-01-211-6/+14
* gnu: camlp5: Update to 7.10.•••* gnu/packages/ocaml.scm (camlp5): Upadte to 7.10. Julien Lepiller2020-01-211-2/+2
* gnu: opam: Update to 2.0.6.•••* gnu/pckages/ocaml.scm (opam): Update to 2.0.6. Julien Lepiller2020-01-211-3/+7
* gnu: Add ocaml-4.09.•••* gnu/packages/ocaml.scm (ocaml-4.09): New variable. [argument]: Remove the no longer needed configure phase. Julien Lepiller2020-01-171-18/+32
* gnu: Add lablgtk3.•••* gnu/packages/ocaml.scm (lablgtk3): New variable. Co-authored-by: Julien Lepiller <julien@lepiller.eu>. Brett Gilio2020-01-061-0/+45
* gnu: Add ocaml-cairo2.•••* gnu/packages/ocaml.scm (ocaml-cairo2): New variable. Co-authored-by: Julien Lepiller <julien@lepiller.eu>. Brett Gilio2020-01-061-0/+30
* gnu: Add ocaml-fftw3.•••* gnu/packages/ocaml.scm (ocaml-fftw3): New variable. Brett Gilio2020-01-031-0/+33