summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
AgeCommit message (Expand)Author
2018-11-29gnu: coq: Update to 8.8.2....* gnu/packages/ocaml.scm (coq): Update to 8.8.2. Julien Lepiller
2018-11-29gnu: camlp5: Update to 7.07....* gnu/packages/ocaml.scm (camlp5): Update to 7.07. Julien Lepiller
2018-11-29nu: ocaml: Update to 4.07.1...* gnu/packages/ocaml.scm (ocaml): Update to 4.07.1. Julien Lepiller
2018-11-25gnu: opam: Update to 2.0.1....gnu/packages/ocaml.scm (opam): Update to 2.0.1. [arguments]: Use invoke, return #t and use store paths for dependencies. [inputs]: Add bubblewrap. Julien Lepiller
2018-11-24gnu: ocaml-piqilib: Remove duplicate 'home-page' field....This is a followup to commit 564cf93f2aca60171b4b97559ffc6c952e73e8ed. * gnu/packages/ocaml.scm (ocaml-piqilib)[home-page]: Remove duplicate field. Mark H Weaver
2018-11-18gnu: ocaml: Update to 4.7.0....Update ocaml to the latest version and fixes dependent packages by updating them or by adding new inputs, such as ocaml-num and ocamlbuild, that were removed from the core ocaml package. Rename packages that cannot be built with the new compiler with an ocaml4.02 prefix. Add ocaml4.02 dependencies. * gnu/packages/ocaml.scm (ocaml): Update to 4.7.0. (ocaml-4.02, ocamlbuild, camlp4-4.02, ocaml-num, ocaml4.02-menhir) (ocaml4.02-lablgtk, ocaml4.02-findlib, ocaml4.02-ounit, ocaml4.02-camlzip) (ocaml4.02-ocamlmod, ocaml4.02-zarith, ocaml4.02-qcheck, ocaml4.02-qtest) (ocaml4.02-stringext, ocaml4.02-bisect, dune, ocaml-migrate-parsetree) (ocaml-ppx-tools-versioned, ocaml-ppx-tools-versioned) (ocaml4.02-bitstring, ocaml4.02-result, ocaml4.02-topkg, ocaml4.02-rresult) (ocaml4.02-sqlite3, ocaml4.02-csv, ocaml4.02-mtime, ocaml4.02-cmdliner) (ocaml4.02-fmt, ocaml4.02-astring, ocaml4.02-alcotest, ocaml4.02-ppx-tools) (ocaml4.02-react, ocaml4.02-ssl, ocaml4.02-lwt, ocaml-lwt-log) (ocaml4.02-lwt-log, ocaml4.02-logs, ocaml4.02-fpath, ocaml4.02-bos) (ocaml4.02-xmlm, ocaml4.02-ulex, ocaml4.02-uchar, ocaml4.02-uutf) (ocaml4.02-jsonm, ocaml4.02-ocurl, ocaml4.02-base64, ocaml4.02-omake) (ocaml4.02-batteries, ocaml4.02-pcre, ocaml4.02-oasis) (ocaml4.02-js-build-tools, ocaml4.02-cppo, ocaml-seq, ocaml4.02-seq) (ocaml4.02-re, ocaml4.02-ocplib-endian, ocaml4.02-easy-format) (ocaml4.02-piqilib, ocaml4.02-uuidm, ocaml4.02-graph, ocaml4.02-piqi) (ocaml4.02-camomile, ocaml4.02-zed, ocaml4.02-lambda-term): New packages. (opam): Update to 2.0.0. (camlp4): Update to 4.07+1. (camlp5): Update to 7.06. (hevea): Update to 2.32. (coq)[inputs]: Add ocaml-num. (emacs-tuareg): Update to 2.2.0. (ocaml-menhir)[native-inputs]: Add ocamlbuild. (ocaml-lablgtk): Update to 2.18.6. (unison)[inputs]: Use ocaml-4.02. (ocaml-findlib): Update to 1.8.0. (ocaml-ounit)[native-inputs]: Add ocamlbuild. (ocamlmod): Update to 0.0.9. (ocaml-frontc)[arguments]: Use ocaml-4.02. (ocaml-qcheck)[native-inputs]: Add ocamlbuild. (ocaml-qtest)[native-inputs]: Remove ocaml-findlib and add ocamlbuild. (ocaml-stringext)[native-inputs]: Add ocamlbuild. (ocaml-bisect): Update to 1.3.1. (ocaml4.01-bisect): Downgrade to 1.3. (ocaml-bitstring): Update to 3.1.0. (ocaml-topkg)[native-inputs]: Add ocamlbuild. (ocaml-rresult)[native-inputs]: Add ocamlbuild. (ocaml-sqlite3)[native-inputs]: Add ocamlbuild. (ocaml-csv)[native-inputs]: Add ocamlbuild. (ocaml-mtime)[native-inputs]: Add ocamlbuild. (ocaml-cmdliner)[native-inputs]: Add ocamlbuild. (ocaml-fmt)[native-inputs]: Add ocamlbuild. (ocaml-astring)[native-inputs]: Add ocamlbuild. (ocaml-alcotest)[native-inputs]: Add ocamlbuild. (ocaml-ppx-tools)[native-inputs]: Add ocamlbuild. (ocaml-react)[native-inputs]: Add ocamlbuild. (ocaml-ssl)[arguments]: Return #t in phases. (ocaml-lwt): Update to 4.1.0. (ocaml-logs)[native-inputs]: Add ocamlbuild. (ocaml-fpath)[native-inputs]: Add ocamlbuild. (ocaml-bos)[native-inputs]: Add ocamlbuild. (ocaml-xmlm): Update to 1.3.0. (ocaml-ulex): Update to 1.2.0. (ocaml-uchar)[native-inputs]: Add ocamlbuild. (ocaml-uutf): Update to 1.0.1. (ocaml-jsonm): Update to 1.0.1. (ocaml-ocurl): Update to 0.8.2. (ocaml-base64)[native-inputs]: Add ocamlbuild. (ocamlify)[native-inputs]: Use ocaml-4.02. (omake): Update to 0.10.3. (ocaml-batteries): Update to 2.9.0. (ocaml-pcre)[native-inputs]: Add ocamlbuild. (ocaml-expect): Update 0.0.6. (ocaml4.02-fileutils): Update to 0.5.3. (ocaml-oasis): Update 0.4.11. (ocaml-js-build-tools)[native-inputs]: Add ocamlbuild. (ocaml-bin-prot): Rename to ocaml4.02-bin-prot. (ocaml-fieldslib): Rename to ocaml4.02-fieldslib. (ocaml-ppx-core): Rename to ocaml4.02-ppx-core. (ocaml-ppx-optcomp): Rename to ocaml4.02-ppx-optcomp. (ocaml-ppx-driver): Rename to ocaml4.02-ppx-driver. (ocaml-cppo): Update to 1.6.5. (ocaml-ppx-deriving): Rename to ocaml4.02-ppx-deriving. (ocaml-ppx-type-conv): Rename to ocaml4.02-ppx-type-conv. (ocaml-ppx-inline-test): Rename to ocaml4.02-ppx-inline-test. (ocaml-ppx-bench): Rename to ocaml4.02-ppx-bench. (ocaml-ppx-compare): Rename to ocaml4.02-ppx-compare. (ocaml-sexplib): Rename to ocaml4.02-sexplib. (ocaml-typerep): Rename to ocaml4.02-typerep. (ocaml-variantslib): Rename to ocaml4.02-variantslib. (ocaml-ppx-sexp-conv): Rename to ocaml4.02-ppx-sexp-conv. (ocaml-ppx-variants-conv): Rename to ocaml4.02-ppx-variants-conv. (ocaml-ppx-here): Rename to ocaml4.02-ppx-here. (ocaml-ppx-assert): Rename to ocaml4.02-ppx-assert. (ocaml-ppx-enumerate): Rename to ocaml4.02-ppx-enumerate. (ocaml-ppx-let): Rename to ocaml4.02-ppx-let. (ocaml-ppx-typerep-conv): Rename to ocaml4.02-ppx-typerep-conv. (ocaml-ppx-sexp-value): Rename to ocaml4.02-ppx-sexp-value. (ocaml-ppx-pipebang): Rename to ocaml4.02-ppx-pipebang. (ocaml-ppx-bin-prot): Rename to ocaml4.02-ppx-bin-prot. (ocaml-ppx-fail): Rename to ocaml4.02-ppx-fail. (ocaml-ppx-custom-printf): Rename to ocaml4.02-ppx-custom-printf. (ocaml-ppx-sexp-message): Rename to ocaml4.02-ppx-sexp-message. (ocaml-ppx-fields-conv): Rename to ocaml4.02-ppx-fields-conv. (ocaml-re): Update to 1.8.0. (ocaml-ppx-expect): Rename to ocaml4.02-ppx-expect. (ocaml-ppx-jane): Rename to ocaml4.02-ppx-jane. (ocaml-core-kernel): Rename to ocaml4.02-core-kernel. (ocaml-async-kernel): Rename to ocaml4.02-async-kernel. (ocaml-async-rpc-kernel): Rename to ocaml4.02-async-rpc-kernel. (ocaml-core): Rename to ocaml4.02-core. (ocaml-async-unix): Rename to ocaml4.02-async-unix. (ocaml-async-extra): Rename to ocaml4.02-async-extra. (ocaml-async): Rename to ocaml4.02-async. (ocaml-ocplib-endian)[native-inputs]: Update to 1.0. (ocaml-cstruct): Rename to ocaml4.02-cstruct. (ocaml-hex): Rename to ocaml4.02-hex. (ocaml-ezjsonm): Rename to ocaml4.02-ezjsonm. (ocaml-uri): Rename to ocaml4.02-uri. (optcomp): Use ocaml-4.02. (ocaml-piqilib): Update to 0.6.14. (ocaml-uuidm)[native-inputs]: Add ocamlbuild. (ocaml-graph): Update to 1.8.8. (ocaml-piqi): Update to 0.7.6. (bap): Update to 1.3.0. (ocaml-camomile): Update to 1.0.1. (ocaml-jbuilder): Use ocaml-4.02. (ocaml-lambda-term): Update to 1.13. (ocaml-utop): Update to 2.2.0. (ocaml-integers)[native-inputs]: Add ocamlbuild. (ocaml-ctypes): Update to 0.14.0. (ocaml-ocb-stubblr)[native-inputs]: Add ocamlbuild. (ocaml-tsdl)[native-inputs]: Add ocamlbuild. * gnu/packages/machine-learning.scm (ocaml-mcl): Use ocaml-4.02. * gnu/packages/maths.scm (cubicle): Update to 1.1.2. * gnu/packages/patches/ocaml-bisect-fix-camlp4-in-another-directory.patch: Update patch. * guix/build-system/ocaml.scm: (default-ocaml4.02, default-ocaml4.02-findlib) (package-with-ocaml4.02, strip-ocaml4.02-variant): New variables. Julien Lepiller
2018-10-09gnu: unison: End all phases with #t....* gnu/packages/ocaml.scm (unison)[arguments]: End all phases with #t. Tobias Geerinckx-Rice
2018-09-24gnu: ocaml-ssl: Don't use unstable tarball....* gnu/packages/ocaml.scm (ocaml-ssl)[source]: Use GIT-FETCH and GIT-FILE-NAME. Tobias Geerinckx-Rice
2018-09-15gnu: ocaml-ounit: Update to 2.0.8....* gnu/packages/ocaml.scm (ocaml-ounit): Update to 2.0.8. Tobias Geerinckx-Rice
2018-09-15gnu: coq: Update to 8.8.1....* gnu/packages/ocaml.scm (coq): Update to 8.8.1. Tobias Geerinckx-Rice
2018-09-15gnu: coq: INVOKE....* gnu/packages/ocaml.scm (coq)[arguments]: Substitute INVOKE for SYSTEM*. Tobias Geerinckx-Rice
2018-06-20gnu: ocaml: Build reproducibly....* gnu/packages/patches/ocaml-enable-ocamldoc-reproducibility.patch: New file. * gnu/packages/ocaml.scm (ocaml)[origin]: Use it. * gnu/local.mk (dist_patch_DATA): Add it. Julien Lepiller
2018-05-06Merge branch 'master' into core-updatesMarius Bakke
2018-05-04gnu: coq-coquelicot: Fix for coq 8.8....* gnu/packages/ocaml.scm (coq-coquelicot)[arguments]: New phase to remove a deprecated command. Julien Lepiller
2018-05-04gnu: coq-bignums: Update to 8.8.0....* gnu/packages/ocaml.scm (coq-bignums): Update to 8.8.0. Julien Lepiller
2018-05-04gnu: coq-mathcomp: Update to 1.7.0....* gnu/packages/ocaml.scm (coq-mathcomp): Update to 1.7.0. Julien Lepiller
2018-05-04gnu: coq-gappa: Update to 1.3.2....* gnu/packages/ocaml.scm (coq-gappa): Update to 1.3.2. Julien Lepiller
2018-05-04gnu: coq-flocq: Update to 2.6.1....* gnu/packages/ocaml.scm (coq-flocq): Update to 2.6.1. Julien Lepiller
2018-05-04gnu: coq: Update to 8.8.0....* gnu/packages/ocaml.scm (coq): Update to 8.8.0. Julien Lepiller
2018-04-12gnu: ocaml-findlib: Return #t from all phases....* gnu/packages/ocaml.scm (ocaml-findlib)[arguments]: Use invoke instead of system*, and return #t from all phases. Mark H Weaver
2018-04-12gnu: camlp5: Return #t from all phases....* gnu/packages/ocaml.scm (camlp5)[arguments]: Use invoke instead of system*, and return #t from all phases. Mark H Weaver
2018-04-10Merge branch 'master' into core-updatesMark H Weaver
2018-04-06gnu: ldc, bap: Build with Clang 3.8....* gnu/packages/ldc.scm (ldc-bootstrap, ldc): Change LLVM and CLANG to LLVM-3.8 and CLANG-3.8. * gnu/packages/ocaml.scm (bap)[native-inputs]: Change CLANG to CLANG-3.8. [propagated-inputs, inputs]: Change LLVM to LLVM-3.8. Marius Bakke
2018-03-29Merge branch 'master' into core-updatesMarius Bakke
2018-03-23gnu: coq-flocq: Use predictable source URI....* gnu/packages/ocaml.scm (coq-flocq)[source]: Use predictable URI. Tobias Geerinckx-Rice
2018-03-20gnu: coq-flocq: Update phase style....* gnu/packages/ocaml.scm (coq-flocq)[arguments]: Substitute INVOKE for SYSTEM* and end all phases with an explicit #t. Tobias Geerinckx-Rice
2018-03-20Merge branch 'master' into core-updatesMark H Weaver
2018-03-17gnu: Fix common unquote typos....It's easy to mistype ‘("foo" foo)’ as ‘("foo", foo)’ (which also works). Fix such typos for the proper edification of our young. * gnu/packages/android.scm: Move unquotes to their operands. * gnu/packages/bootloaders.scm: Likewise. * gnu/packages/build-tools.scm: Likewise. * gnu/packages/chemistry.scm: Likewise. * gnu/packages/compression.scm: Likewise. * gnu/packages/connman.scm: Likewise. * gnu/packages/django.scm: Likewise. * gnu/packages/emulators.scm: Likewise. * gnu/packages/engineering.scm: Likewise. * gnu/packages/file-systems.scm: Likewise. * gnu/packages/freedesktop.scm: Likewise. * gnu/packages/games.scm: Likewise. * gnu/packages/gimp.scm: Likewise. * gnu/packages/gl.scm: Likewise. * gnu/packages/gnome.scm: Likewise. * gnu/packages/graphics.scm: Likewise. * gnu/packages/haskell.scm: Likewise. * gnu/packages/irc.scm: Likewise. * gnu/packages/julia.scm: Likewise. * gnu/packages/kde-frameworks.scm: Likewise. * gnu/packages/linux.scm: Likewise. * gnu/packages/lua.scm: Likewise. * gnu/packages/mail.scm: Likewise. * gnu/packages/make-bootstrap.scm: Likewise. * gnu/packages/messaging.scm: Likewise. * gnu/packages/music.scm: Likewise. * gnu/packages/networking.scm: Likewise. * gnu/packages/ocaml.scm: Likewise. * gnu/packages/perl.scm: Likewise. * gnu/packages/python.scm: Likewise. * gnu/packages/python-web.scm: Likewise. * gnu/packages/qt.scm: Likewise. * gnu/packages/ratpoison.scm: Likewise. * gnu/packages/sdl.scm: Likewise. * gnu/packages/sml.scm: Likewise. * gnu/packages/terminals.scm: Likewise. * gnu/packages/text-editors.scm: Likewise. * gnu/packages/video.scm: Likewise. * gnu/packages/virtualization.scm: Likewise. * gnu/packages/vulkan.scm: Likewise. * gnu/packages/wget.scm: Likewise. * gnu/packages/wine.scm: Likewise. * gnu/packages/wm.scm: Likewise. * gnu/packages/xdisorg.scm: Likewise. * gnu/packages/xml.scm: Likewise. * gnu/packages/xorg.scm: Likewise. Tobias Geerinckx-Rice
2018-03-16gnu: All snippets report errors using exceptions, else return #t....* gnu/packages/admin.scm, gnu/packages/algebra.scm, gnu/packages/audio.scm, gnu/packages/backup.scm, gnu/packages/base.scm, gnu/packages/bioinformatics.scm, gnu/packages/cdrom.scm, gnu/packages/chez.scm, gnu/packages/code.scm, gnu/packages/compression.scm, gnu/packages/cross-base.scm, gnu/packages/crypto.scm, gnu/packages/cups.scm, gnu/packages/databases.scm, gnu/packages/dns.scm, gnu/packages/emacs.scm, gnu/packages/emulators.scm, gnu/packages/engineering.scm, gnu/packages/enlightenment.scm, gnu/packages/fpga.scm, gnu/packages/freedesktop.scm, gnu/packages/ftp.scm, gnu/packages/games.scm, gnu/packages/gcc.scm, gnu/packages/geo.scm, gnu/packages/ghostscript.scm, gnu/packages/gl.scm, gnu/packages/glib.scm, gnu/packages/gnome.scm, gnu/packages/gnuzilla.scm, gnu/packages/graphics.scm, gnu/packages/gtk.scm, gnu/packages/guile.scm, gnu/packages/irc.scm, gnu/packages/java.scm, gnu/packages/kerberos.scm, gnu/packages/linux.scm, gnu/packages/lisp.scm, gnu/packages/lxde.scm, gnu/packages/machine-learning.scm, gnu/packages/mail.scm, gnu/packages/maths.scm, gnu/packages/messaging.scm, gnu/packages/monitoring.scm, gnu/packages/mp3.scm, gnu/packages/music.scm, gnu/packages/netpbm.scm, gnu/packages/networking.scm, gnu/packages/node.scm, gnu/packages/nvi.scm, gnu/packages/ocaml.scm, gnu/packages/pdf.scm, gnu/packages/perl.scm, gnu/packages/php.scm, gnu/packages/plotutils.scm, gnu/packages/pretty-print.scm, gnu/packages/profiling.scm, gnu/packages/pulseaudio.scm, gnu/packages/python-crypto.scm, gnu/packages/python.scm, gnu/packages/qt.scm, gnu/packages/robotics.scm, gnu/packages/sawfish.scm, gnu/packages/scanner.scm, gnu/packages/scheme.scm, gnu/packages/scribus.scm, gnu/packages/sdl.scm, gnu/packages/serialization.scm, gnu/packages/shells.scm, gnu/packages/slang.scm, gnu/packages/smalltalk.scm, gnu/packages/ssh.scm, gnu/packages/sync.scm, gnu/packages/syncthing.scm, gnu/packages/tbb.scm, gnu/packages/terminals.scm, gnu/packages/texinfo.scm, gnu/packages/text-editors.scm, gnu/packages/textutils.scm, gnu/packages/tls.scm, gnu/packages/unrtf.scm, gnu/packages/version-control.scm, gnu/packages/video.scm, gnu/packages/vpn.scm, gnu/packages/web.scm, gnu/packages/wm.scm, gnu/packages/wxwidgets.scm, gnu/packages/xdisorg.scm, gnu/packages/xorg.scm: In all snippets, report errors using exceptions, or else return #t. Mark H Weaver
2018-03-13gnu: ocaml-ssl: Declare a source file-name....* gnu/packages/ocaml.scm (ocaml-ssl)[source]: Declare a source file-name. Efraim Flashner
2018-03-13gnu: ocaml-lwt: Declare a source file-name....* gnu/packages/ocaml.scm (ocaml-lwt)[source]: Declare a source file-name. Efraim Flashner
2018-03-13gnu: ocaml-bitstring: Declare a source file-name....* gnu/packages/ocaml.scm (ocaml-bitstring)[source]: Declare a source file-name. Efraim Flashner
2018-03-13gnu: ocaml-piqi: Declare a source file-name....* gnu/packages/ocaml.scm (ocaml-piqi)[source]: Declare a source file-name. Efraim Flashner
2018-03-13gnu: ocaml-result: Declare a source file-name....* gnu/packages/ocaml.scm (ocaml-result)[source]: Declare a source file-name. Efraim Flashner
2018-03-13gnu: ocaml-stringext: Declare a source file-name....* gnu/packages/ocaml.scm (ocaml-stringext)[source]: Declare a source file-name. Efraim Flashner
2018-03-13gnu: ocaml-qtest: Update to 2.8....* gnu/packages/ocaml.scm (ocaml-qtest): Update to 2.8. [source]: Update source uri, declare a source file-name. [home-page]: Update home-page. Efraim Flashner
2018-03-13gnu: ocaml-qtest: Declare a source file-name....* gnu/packages/ocaml.scm (ocaml-qtest)[source]: Declare a source file-name. Efraim Flashner
2018-02-03Merge branch 'master' into core-updatesMark H Weaver
2018-02-01gnu: ocaml-findlib: Update to 1.7.3....* gnu/packages/ocaml.scm (ocaml-findlib): Update to 1.7.3. * gnu/packages/ocaml.scm (ocaml-findlib-1.7.3): Removed. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Peter Kreye
2018-02-01gnu: Add ocaml-tsdl....* gnu/packages/ocaml.scm (ocaml-tsdl): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Peter Kreye
2018-02-01gnu: Add ocaml-ocb-stubblr....* gnu/packages/ocaml.scm (ocaml-ocb-stubblr): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Peter Kreye
2018-02-01gnu: Add ocaml-ctypes....* gnu/packages/ocaml.scm (ocaml-ctypes): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Peter Kreye
2018-02-01gnu: Add ocaml-integers....* gnu/packages/ocaml.scm (ocaml-integes): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Peter Kreye
2018-02-01gnu: ocaml-findlib-1.7.3: Fix install....* gnu/packages/ocaml.scm (ocaml-findlib-1.7.3): install topfind to lib/ocaml/site-lib Signed-off-by: Julien Lepiller <julien@lepiller.eu> Peter Kreye
2018-01-11Merge branch 'master' into core-updatesLeo Famulari
2018-01-10gnu: ocaml-zed: Update to 1.6....* gnu/packages/ocaml.scm (ocaml-zed): Update to 1.6. Tobias Geerinckx-Rice
2018-01-02gnu: ocaml: Use gcc:lib from gcc, not gcc-4.9....* gnu/packages/ocaml.scm (ocaml)[inputs]: Use canonical 'gcc', not gcc-4.9. Mark H Weaver
2017-12-23gnu: ocaml-utop: Update to 2.0.2....* gnu/packages/ocaml.scm (ocaml-utop): Update to 2.0.2 Tobias Geerinckx-Rice
2017-12-23gnu: ocaml-jbuilder: Update to 1.0+beta16....* gnu/packages/ocaml.scm (ocaml-jbuilder): Update to 1.0+beta16 Tobias Geerinckx-Rice
2017-12-23gnu: ocaml-ssl: Expand description....* gnu/packages/ocaml.scm (ocaml-ssl)[description]: Expand based on Debian's. Tobias Geerinckx-Rice