Commit graph

519 commits

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