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