summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
AgeCommit message (Collapse)Author
2020-07-12gnu: Remove ".git" from "https://github/…/….git".Ludovic Courtès
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-06-24gnu: ocaml4.07-piqi: Don't use unstable tarball.Efraim Flashner
* gnu/packages/ocaml.scm (ocaml4.07-piqi)[source]: Download using git-fetch. [arguments]: Add custom phase to make files writable.
2020-06-03gnu: ocaml-extlib: Update to 1.7.7.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.7.7. [source]: Update TLD.
2020-06-03gnu: camlp5: Update to 7.12.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (camlp5): Update to 7.12.
2020-05-20gnu: hevea: Update to 2.34.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (hevea): Update to 2.34.
2020-05-16gnu: bap: Update to 2.0.0.Julien Lepiller
* gnu/packages/ocaml.scm (bap): Update to 2.0.0.
2020-05-15gnu: ocaml-ocurl: Update to 0.9.1.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ocurl): Update to 0.9.1.
2020-05-15gnu: ocaml-fileutils: Update to 0.6.2.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-fileutils): Update to 0.6.2.
2020-05-15gnu: ocaml-octavius: Update to 1.2.2.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-octavius): Update to 1.2.2.
2020-04-12gnu: ocamlify: Fix grammar of "allows to create" to "creates".Vagrant Cascadian
* gnu/packages/ocaml (ocamlify): Fix grammar.
2020-04-12gnu: ocaml-mtime: Fix grammar "allows to measure" to "measures".Vagrant Cascadian
* gnu/packages/ocaml (ocaml-mtime): Fix grammar.
2020-04-12gnu: ocaml-qcheck: Fix grammar of "allows to check" to "checks".Vagrant Cascadian
* gnu/packages/ocaml (ocaml-qcheck): Fix grammar.
2020-04-04gnu: ocaml-menhir: Update to 20190626.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-menhir): Update to 20190626.
2020-03-21gnu: ocaml-sedlex: Use HTTPS home page.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (ocaml-sedlex)[home-page]: Use HTTPS.
2020-03-21gnu: ocaml-tsdl: Update to 0.9.7.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (ocaml-tsdl): Update to 0.9.7. [native-inputs]: Remove ocaml-ocb-stubblr. [inputs]: Remove ocaml-result.
2020-03-21gnu: ocaml-tsdl: Use HTTPS home page.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (ocaml-tsdl)[home-page]: Use HTTPS.
2020-03-19gnu: camlp5: Update home page.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (camlp5)[home-page]: Update.
2020-03-19gnu: camlzip: Update home page.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (camlzip)[home-page]: Update.
2020-03-19gnu: lablgtk: Update to 2.18.10.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (lablgtk): Update to 2.18.10.
2020-02-29gnu: ocaml-mccs: Use HTTPS home page.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (ocaml-mccs)[home-page]: Use HTTPS.
2020-02-23gnu: hevea: Update to 2.33.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (hevea): Update to 2.33.
2020-02-16gnu: camlp5: Update to 7.11.Tobias Geerinckx-Rice
* gnu/packages/ocaml.scm (camlp5): Update to 7.11.
2020-01-28gnu: ocaml-ctypes: Don't use unstable tarball.Efraim Flashner
* gnu/packages/ocaml.scm (ocaml-ctypes)[source]: Download using git-fetch. [arguments]: Add phase to make files writable.
2020-01-28gnu: ocaml-ocplib-endian: Don't use unstable tarball.Efraim Flashner
* gnu/packages/ocaml.scm (ocaml-ocplib-endian)[source]: Download using git-fetch.
2020-01-28gnu: ocaml-lwt: Don't use unstable tarball.Efraim Flashner
* gnu/packages/ocaml.scm (ocaml-lwt)[source]: Download using git-fetch.
2020-01-27gnu: ocaml: Switch to ocaml 4.09 by default.Julien Lepiller
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-27gnu: Add ocaml4.07-dune.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-dune): New variable.
2020-01-27gnu: Add ocaml4.07-lablgtk.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-lablgtk): New variable. (lablgtk)[properties]: Add variant.
2020-01-27gnu: ocambuild: Update to 0.14.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocamlbuild): Update to 0.14.0. [build-system]: Use ocaml-build-system.
2020-01-24gnu: ocaml-mmap: Fix spelling of "function".Vagrant Cascadian
* gnu/packages/ocaml (ocaml-mmap)[description]: Fix typo.
2020-01-23gnu: ocaml4.07-findlib: Fix building with ocaml 4.07.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-findlib): rename inputs to native-inputs.
2020-01-22gnu: ocaml-mmap: Use a source file-name.Efraim Flashner
* gnu/packages/ocaml.scm (ocaml-mmap)[source]: Add file-name field.
2020-01-22gnu: Add ocaml4.07-findlib.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-findlib): New variable.
2020-01-22gnu: ocaml-lambda-term: Add missing dependencies.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-lambda-term)[propagated-inputs]: Add ocaml-lwt-react. [inputs]: Add libev.
2020-01-22nu: Add ocaml-lwt-react.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-lwt-react): New variable.
2020-01-21gnu: ocaml-markup: Update to 0.8.2.Julien Lepiller
gnu/packages/ocaml.scm (ocaml-markup): Update to 0.8.2.
2020-01-21gnu: ocaml-lwt: Update to 5.1.1.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-lwt): update to 5.1.1.
2020-01-21gnu: Add ocaml-mmap.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-mmap): New variable.
2020-01-21gnu: ocaml-bisect-ppx: Update to 1.4.2.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-bisect-ppx): Update to 1.4.2.
2020-01-21gnu: ocaml-qtest. Update to 2.10.1.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-qtest): Update to 2.10.1.
2020-01-21gnu: ocaml-qcheck: Update to 0.12.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-qcheck): Update to 0.12.
2020-01-21gnu: camlp5: Update to 7.10.Julien Lepiller
* gnu/packages/ocaml.scm (camlp5): Upadte to 7.10.
2020-01-21gnu: opam: Update to 2.0.6.Julien Lepiller
* gnu/pckages/ocaml.scm (opam): Update to 2.0.6.
2020-01-17gnu: Add ocaml-4.09.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-4.09): New variable. [argument]: Remove the no longer needed configure phase.
2020-01-06gnu: Add lablgtk3.Brett Gilio
* gnu/packages/ocaml.scm (lablgtk3): New variable. Co-authored-by: Julien Lepiller <julien@lepiller.eu>.
2020-01-06gnu: Add ocaml-cairo2.Brett Gilio
* gnu/packages/ocaml.scm (ocaml-cairo2): New variable. Co-authored-by: Julien Lepiller <julien@lepiller.eu>.
2020-01-03gnu: Add ocaml-fftw3.Brett Gilio
* gnu/packages/ocaml.scm (ocaml-fftw3): New variable.
2020-01-03gnu: Add ocaml-lacaml.Brett Gilio
* gnu/packages/ocaml.scm (ocaml-lacaml): New variable.
2020-01-03gnu: ocaml-utop: Modify home-page.Brett Gilio
* gnu/packages/ocaml.scm (ocaml-utop)[home-page]: Change home-page to reflect permanent redirection.
2020-01-03gnu: ocaml-utop: Update to 2.4.3.Brett Gilio
* gnu/packages/ocaml.scm (ocaml-utop): Update to 2.4.3.