4001657811
gnu: omake: Fix reference to output.
...
* gnu/packages/ocaml.scm
(omake)[arguments]<#:make-flags>: Use #$output.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2021-08-20 18:33:51 +02:00
463deeefdc
gnu: ocaml-frontc: Fix reference to output.
...
* gnu/packages/ocaml.scm
(ocaml-frontc)[arguments]<#:make-flags>: Use #$output.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2021-08-20 18:33:51 +02:00
ce8c675a18
gnu: ocaml-down: Fix reference to output.
...
The package 'lablgtk@2.8.10' (indirect dependency of ocaml-down)
fails to build so this patch could not be tested.
* gnu/packages/ocaml.scm
(ocaml-down)[arguments]<#:build-flags>: Use #$output.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2021-08-20 18:33:51 +02:00
06c91c7651
gnu: camlzip: Fix reference to output.
...
* gnu/packages/ocaml.scm
(camlzip)[arguments]<#:make-flags>: Use #$output.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2021-08-20 18:33:51 +02:00
82f66e98b1
gnu: ocaml-opam-file-format: Fix reference to output.
...
* gnu/packages/ocaml.scm
(ocaml-opam-file-format)[arguments]<#:make-flags>: Use #$output.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2021-08-20 18:33:51 +02:00
831f192346
gnu: ocaml-cmdliner: Fix reference to output.
...
* gnu/packages/ocaml.scm
(ocaml-cmdliner)[arguments]<#:make-flags>: Use #$output.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2021-08-20 18:33:50 +02:00
96ca16857f
gnu: ocaml-dose3: Fix reference to inputs and output.
...
The package 'lablgtk@2.8.10' (indirect dependency of ocaml-dose3)
fails to build so this patch could not be tested.
* gnu/packages/ocaml.scm
(ocaml-dose3)[arguments]<#:make-flags>: Use #$output.
(ocaml-dose3)[arguments]<#:configure-flags>: Don't use %build-inputs.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2021-08-20 18:33:50 +02:00
04b909829c
gnu: ocamlcudf: Fix reference to output.
...
* gnu/packages/ocaml.scm
(ocamlcudf)[arguments]<#:make-flags>: Use #$output.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2021-08-20 18:33:50 +02:00
dd32e0ecfe
gnu: ocamlbuild: Fix reference to output.
...
* gnu/packages/ocaml.scm
(ocamlbuild)[arguments]<#:make-flags>: Use #$output.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2021-08-20 18:33:50 +02:00
c33c44fd43
gnu: ocaml: Fix reference to output.
...
* gnu/packages/ocaml.scm
(dune-boot)[arguments]<#:make-flags>: Use #$output.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2021-08-20 18:33:50 +02:00
Marius Bakke
c4133c43c7
Merge branch 'master' into core-updates-frozen
...
Conflicts:
gnu/packages/algebra.scm
gnu/packages/games.scm
gnu/packages/golang.scm
gnu/packages/kerberos.scm
gnu/packages/mail.scm
gnu/packages/python.scm
gnu/packages/ruby.scm
gnu/packages/scheme.scm
gnu/packages/tex.scm
gnu/packages/tls.scm
gnu/packages/version-control.scm
2021-08-12 00:30:27 +02:00
Ludovic Courtès
058b339d31
gnu: ocaml@4.09: Fix link failure.
...
* gnu/packages/patches/ocaml-4.09-multiple-definitions.patch: New file.
* gnu/packages/ocaml.scm (ocaml-4.09)[source]: Use it.
* gnu/local.mk (dist_patch_DATA): Add it.
2021-08-05 15:46:46 +02:00
Ludovic Courtès
cfc1d13346
gnu: ocaml-boot: Change package name to "ocaml-boot".
...
* gnu/packages/ocaml.scm (ocaml-4.07-boot, ocaml-4.07)[name]: New
field.
2021-08-05 15:46:46 +02:00
Ludovic Courtès
1d580f47a9
gnu: ocaml@4.07: Fix link failure.
...
The link failure shows up when using ld from GNU Binutils 2.37, and not
with 2.34.
* gnu/packages/patches/ocaml-multiple-definitions.patch: New file.
* gnu/packages/ocaml.scm (ocaml-4.07-boot)[source]: Use it.
* gnu/local.mk (dist_patch_DATA): Add it.
2021-08-05 15:46:46 +02:00
Marius Bakke
d2e102d4e4
Merge branch 'master' into core-updates-frozen
2021-08-01 23:23:32 +02:00
Julien Lepiller
3589c17556
gnu: lablgtk3: Install with version information.
...
This is required so recent versions of coq can check version
requirements.
* gnu/packages/ocaml.scm (lablgtk3)[arguments]: Ensure version is added
to the META file.
2021-07-31 23:06:12 +02:00
Julien Lepiller
96707d5a30
gnu: ocaml-zarith: Update to 1.12.
...
* gnu/packages/ocaml.scm (ocaml-zarith): Update to 1.12.
2021-07-31 23:05:59 +02:00
Xinglu Chen
e83fe81be4
gnu: Add ocamlformat.
...
* gnu/packages/ocaml.scm (ocamlformat): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-08-08 22:43:24 +02:00
Xinglu Chen
092b65e1aa
gnu: Add ocaml-dune-build-info.
...
* gnu/packages/ocaml.scm (ocaml-dune-build-info): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-08-08 22:37:34 +02:00
Xinglu Chen
03f05b475b
gnu: Add ocaml-fix.
...
* gnu/packages/ocaml.scm (ocaml-fix): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-08-08 22:30:56 +02:00
Xinglu Chen
2787bcbd1b
gnu: Add ocaml-uuseg.
...
* gnu/packages/ocaml.scm (ocaml-uuseg): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-08-08 22:25:59 +02:00
Xinglu Chen
d31434c473
gnu: Add ocaml-uucp.
...
* gnu/packages/ocaml.scm (ocaml-uucp): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-08-08 22:24:10 +02:00
Xinglu Chen
882976d444
gnu: Add ocaml-uucd.
...
* gnu/packages/ocaml.scm (ocaml-uucd): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-08-08 22:21:23 +02:00
Xinglu Chen
e473fe1056
gnu: ocaml-bisect-ppx: Update to 2.6.1.
...
* gnu/packages/ocaml.scm (ocaml-bisect-ppx): Update to 2.6.1.
[propagated-inputs]: Adjust accordingly.
[arguments]: Remove unnecessary phase; disable tests.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-08-08 22:20:15 +02:00
Ricardo Wurmus
d648037edc
gnu: ocaml-biniou: Simplify "make-writable" phase.
...
* gnu/packages/ocaml.scm (ocaml-biniou)[arguments]: Simplify phase.
2021-08-04 17:08:31 +02:00
Ludovic Courtès
bc64d9554b
gnu: Use 'search-input-file' when looking for executables.
...
* gnu/packages/admin.scm (isc-dhcp): Use 'search-input-file' when
looking for executables.
* gnu/packages/audio.scm (ableton-link): Likewise.
* gnu/packages/benchmark.scm (fio): Likewise.
* gnu/packages/bioinformatics.scm (roary): Likewise.
(ngless): Likewise.
* gnu/packages/boost.scm (boost-for-irods): Likewise.
* gnu/packages/bootloaders.scm (grub): Likewise.
(grub-efi): Likewise.
* gnu/packages/chemistry.scm (inchi): Likewise.
* gnu/packages/dictionaries.scm (ding): Likewise.
* gnu/packages/dlang.scm (ldc): Likewise.
* gnu/packages/education.scm (childsplay): Likewise.
* gnu/packages/emacs-xyz.scm (emacs-hyperbole): Likewise.
(emacs-haskell-mode): Likewise.
(emacs-auctex): Likewise.
(emacs-ggtags): Likewise.
(emacs-graphviz-dot-mode): Likewise.
(emacs-flycheck-grammalecte): Likewise.
(emacs-counsel-notmuch): Likewise.
(emacspeak): Likewise.
(emacs-exwm): Likewise.
(emacs-exwm-x): Likewise.
(emacs-treemacs): Likewise.
(emacs-telega): Likewise.
(emacs-exiftool): Likewise.
* gnu/packages/emulators.scm (higan): Likewise.
* gnu/packages/engineering.scm (freehdl): Likewise.
(librepcb): Likewise.
* gnu/packages/entr.scm (entr): Likewise.
* gnu/packages/file-systems.scm (libeatmydata): Likewise.
(xfstests): Likewise.
(mergerfs): Likewise.
(mergerfs-tools): Likewise.
* gnu/packages/finance.scm (monero-gui): Likewise.
* gnu/packages/flashing-tools.scm (flashrom): Likewise.
* gnu/packages/fontutils.scm (fontforge): Likewise.
* gnu/packages/game-development.scm (python2-renpy): Likewise.
* gnu/packages/games.scm (opensurge): Likewise.
(xboard): Likewise.
(hyperrogue): Likewise.
(flare-game): Likewise.
(chessx): Likewise.
* gnu/packages/geo.scm (grass): Likewise.
* gnu/packages/glib.scm (glib): Likewise.
* gnu/packages/gnome.scm (mm-common): Likewise.
(network-manager-openvpn): Likewise.
(network-manager-vpnc): Likewise.
(network-manager-openconnect): Likewise.
(apostrophe): Likewise.
* gnu/packages/gnupg.scm (pius): Likewise.
(jetring): Likewise.
* gnu/packages/gnuzilla.scm (icedove): Likewise.
* gnu/packages/golang.scm (go-1.4): Likewise.
* gnu/packages/graphviz.scm (xdot): Likewise.
* gnu/packages/guile-xyz.scm (jupyter-guile-kernel): Likewise.
* gnu/packages/haskell-xyz.scm (ghc-hindent): Likewise.
* gnu/packages/ibus.scm (ibus): Likewise.
* gnu/packages/image.scm (phockup): Likewise.
* gnu/packages/irc.scm (quassel): Likewise.
* gnu/packages/java.scm (drip): Likewise.
(ant-bootstrap): Likewise.
(tla2tools): Likewise.
* gnu/packages/julia.scm (julia): Likewise.
* gnu/packages/less.scm (lesspipe): Likewise.
* gnu/packages/libreoffice.scm (libreoffice): Likewise.
* gnu/packages/linux.scm (fuse): Likewise.
(lm-sensors): Likewise.
(bluez): Likewise.
(fakeroot): Likewise.
(inputattach): Likewise.
* gnu/packages/lisp-xyz.scm (sbcl-cl-diskspace): Likewise.
* gnu/packages/lisp.scm (lisp-repl-core-dumper): Likewise.
* gnu/packages/lua.scm (fennel): Likewise.
* gnu/packages/lxde.scm (spacefm): Likewise.
* gnu/packages/mail.scm (public-inbox): Likewise.
* gnu/packages/maths.scm (hdf-java): Likewise.
(maxima): Likewise.
(frama-c): Likewise.
* gnu/packages/messaging.scm (libgadu): Likewise.
* gnu/packages/music.scm (denemo): Likewise.
(curseradio): Likewise.
* gnu/packages/netpbm.scm (netpbm): Likewise.
* gnu/packages/networking.scm (blueman): Likewise.
(squid): Likewise.
(aircrack-ng): Likewise.
* gnu/packages/node.scm (node): Likewise.
(node-llparse-frontend-bootstrap): Likewise.
(node-llparse-bootstrap): Likewise.
(llhttp-bootstrap): Likewise.
(node-lts): Likewise.
* gnu/packages/ocaml.scm (ocaml-4.11): Likewise.
(opam): Likewise.
(ocaml-graph): Likewise.
* gnu/packages/orpheus.scm (orpheus): Likewise.
* gnu/packages/password-utils.scm (password-store): Likewise.
* gnu/packages/python.scm (pypy3): Likewise.
* gnu/packages/qt.scm (qt5ct): Likewise.
* gnu/packages/radio.scm (libosmo-dsp): Likewise.
* gnu/packages/ruby.scm (ruby-pandoc-ruby): Likewise.
* gnu/packages/rust.scm (rust-1.30): Likewise.
* gnu/packages/screen.scm (byobu): Likewise.
* gnu/packages/statistics.scm (r-with-tests): Likewise.
* gnu/packages/suckless.scm (surf): Likewise.
* gnu/packages/syndication.scm (gfeeds): Likewise.
* gnu/packages/telephony.scm (mumble): Likewise.
* gnu/packages/terminals.scm (alacritty): Likewise.
* gnu/packages/tex.scm (texlive-bin): Likewise.
* gnu/packages/uml.scm (plantuml): Likewise.
* gnu/packages/version-control.scm (python-git-multimail): Likewise.
(gitolite): Likewise.
(hg-commitsigs): Likewise.
(git-when-merged): Likewise.
(git-imerge): Likewise.
(gita): Likewise.
* gnu/packages/video.scm (you-get): Likewise.
* gnu/packages/vim.scm (eovim): Likewise.
* gnu/packages/virtualization.scm (qemu): Likewise.
(virt-manager): Likewise.
(criu): Likewise.
* gnu/packages/vpn.scm (strongswan): Likewise.
(xl2tpd): Likewise.
* gnu/packages/wm.scm (i3lock-fancy): Likewise.
* gnu/packages/wxwidgets.scm (python-wxpython): Likewise.
(python2-wxpython): Likewise.
* gnu/packages/xdisorg.scm (autorandr): Likewise.
* gnu/packages/xorg.scm (hackneyed-x11-cursors): Likewise.
(v86d): Likewise.
(mkfontdir): Likewise.
(xpra): Likewise.
2021-07-24 16:23:23 +02:00
Ludovic Courtès
0e47fcced4
Merge branch 'master' into core-updates
2021-07-18 19:50:01 +02:00
Ivan Gankevich
c21ccbf14e
gnu: Add ocaml-bibtex2html.
...
* gnu/packages/ocaml.scm (ocaml-bibtex2html): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-07-10 15:02:12 +02:00
Ivan Gankevich
bfa0df0d61
gnu: hevea: Update to 2.35.
...
* gnu/packages/ocaml.scm (hevea): Update to 2.35.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-07-10 15:01:31 +02:00
Julien Lepiller
4fa62cf702
gnu: ocaml-earley: Update to 3.0.0.
...
* gnu/packages/ocaml.scm (ocaml-earley): Update to 3.0.0. Use latest
ocaml version.
2021-07-05 16:54:14 +02:00
Julien Lepiller
ef79d6c5d6
gnu: Add ocaml-sqlite3.
...
* gnu/packages/ocaml.scm (ocaml-sqlite3): New variable.
(ocaml4.07-sqlite3): Inherit from ocaml-sqlite3.
* gnu/packages/bioinformatics.scm (pplacer): Also use package-with-ocaml4.07
with ocaml-sqlite3.
2021-07-05 16:54:11 +02:00
Xinglu Chen
364b56124b
gnu: Add ocaml-cohttp.
...
* gnu/packages/ocaml.scm (ocaml-cohttp): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-27 15:15:41 +02:00
Xinglu Chen
e366b94f9f
gnu: Add ocaml-uri-sexp.
...
* gnu/packages/ocaml.scm (ocaml-uri-sexp): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-27 14:58:59 +02:00
Xinglu Chen
41aec416ce
gnu: ocaml-uri: Update to 4.2.0.
...
* gnu/packages/ocaml.scm (ocaml-uri): Update to 4.2.0.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-27 14:55:03 +02:00
Xinglu Chen
91b29aa373
gnu: ocaml-dose3: Fix tests.
...
* gnu/packages/ocaml.scm (ocaml-dose3)[arguments]<#:phases>: Add phase to
patch tests script.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-23 14:41:49 +02:00
3623696db1
gnu: ocaml-uri: Use a source file-name.
...
* gnu/packages/ocaml.scm (ocaml-uri)[source]: Add a file-name field.
2021-06-22 13:49:06 +03:00
Xinglu Chen
980c33bd3f
gnu: ocaml-merlin: Inherit from ‘ocaml-dot-merlin-reader’.
...
* gnu/packages/ocaml.scm (ocaml-merlin): Inherit from
‘ocaml-dot-merlin-reader’, thus also updating it to 4.2-411.
[version, source, build-system, home-page]: Remove.
[arguments]<#:phases>: Use custom test phase.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-21 00:10:03 +02:00
Xinglu Chen
5ae0d2c247
gnu: ocaml-dot-merlin-reader: Update to 4.2-411.
...
* gnu/packages/ocaml.scm (ocaml-dot-merlin-reader): Update to 4.2-411.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-21 00:09:13 +02:00
Xinglu Chen
a211078f99
gnu: ocaml-ppxlib: Update to 0.22.1.
...
* gnu/packages/ocaml.scm (ocaml-ppxlib): Update to 0.22.1.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 13:14:06 +02:00
Xinglu Chen
0bfafa49fa
gnu: ocaml-menhir: Update to 20210419.
...
* gnu/packages/ocaml.scm (ocaml-menhir): Update to 20210419.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 13:13:29 +02:00
Xinglu Chen
dcd94ee855
gnu: Add ocaml-mparser-pcre.
...
* gnu/packages/ocaml.scm (ocaml-mparser-pcre): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 02:15:10 +02:00
Xinglu Chen
620b4e8ad3
gnu: Add ocaml-mparser-re.
...
* gnu/packages/ocaml.scm (ocaml-mparser-re): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 02:15:02 +02:00
Xinglu Chen
fe6fd923a8
gnu: Add ocaml-mparser.
...
* gnu/packages/ocaml.scm (ocaml-mparser): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 02:13:48 +02:00
Xinglu Chen
96dce8c7fe
gnu: ocaml4.07-pcre: Remove package.
...
* gnu/packages/ocaml.scm (ocaml4.07-pcre): Remove package. It has been
superseded by ‘ocaml-pcre’.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 02:13:33 +02:00
Xinglu Chen
97d3a9f781
gnu: ocaml4.07-expect: Switch to default OCaml compiler.
...
* gnu/packages/ocaml.scm (ocaml4.07-expect): Rename to ‘ocaml-expect’.
[arguments]: Use default OCaml compiler.
[native-inputs]: Use ‘ocaml-*’ packages instead of ‘ocaml4.07-*’.
[propagated-inputs]: Likewise.
[description]: Make it a full sentence.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 02:13:24 +02:00
Xinglu Chen
376b16e9a1
gnu: Add ocaml-pcre.
...
* gnu/packages/ocaml.scm (ocaml-pcre): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 02:12:40 +02:00
Julien Lepiller
0e8a18f0ec
gnu: cubicle: Make deterministic.
...
* gnu/packages/ocaml.scm (cubicle)[arguments]: Remove build date from
resulting binary.
2021-06-19 12:54:32 +02:00
Julien Lepiller
9417fae9fb
gnu: cubicle: Fix build with newer ocaml-num.
...
* gnu/packages/ocaml.scm (cubicle)[arguments]: Adjust Makefile for
changes in ocaml-num.
2021-06-19 12:54:27 +02:00
pukkamustard
e93f6b693b
gnu: Update ocaml-mdx to 1.9.0.
...
* gnu/packages/ocaml.scm (ocaml-mdx): Update to 1.9.0.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-19 12:31:47 +02:00
Xinglu Chen
dee608a1bb
gnu: Add ocaml-calendar.
...
* gnu/packages/ocaml.scm (ocaml-calendar): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-19 00:14:16 +02:00
