summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
Commit message (Collapse)AuthorAge
* Merge branch 'master' into core-updates-frozenMarius Bakke2021-08-12
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
| * gnu: Add ocamlformat.Xinglu Chen2021-08-08
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocamlformat): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: Add ocaml-dune-build-info.Xinglu Chen2021-08-08
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-dune-build-info): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: Add ocaml-fix.Xinglu Chen2021-08-08
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-fix): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: Add ocaml-uuseg.Xinglu Chen2021-08-08
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-uuseg): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: Add ocaml-uucp.Xinglu Chen2021-08-08
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-uucp): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: Add ocaml-uucd.Xinglu Chen2021-08-08
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-uucd): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: ocaml-bisect-ppx: Update to 2.6.1.Xinglu Chen2021-08-08
| | | | | | | | | | | | | | | | * 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>
| * gnu: ocaml-biniou: Simplify "make-writable" phase.Ricardo Wurmus2021-08-04
| | | | | | | | * gnu/packages/ocaml.scm (ocaml-biniou)[arguments]: Simplify phase.
* | gnu: ocaml@4.09: Fix link failure.Ludovic Courtès2021-08-05
| | | | | | | | | | | | * 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.
* | gnu: ocaml-boot: Change package name to "ocaml-boot".Ludovic Courtès2021-08-05
| | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-4.07-boot, ocaml-4.07)[name]: New field.
* | gnu: ocaml@4.07: Fix link failure.Ludovic Courtès2021-08-05
| | | | | | | | | | | | | | | | | | 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.
* | Merge branch 'master' into core-updates-frozenMarius Bakke2021-08-01
|\|
| * gnu: lablgtk3: Install with version information.Julien Lepiller2021-07-31
| | | | | | | | | | | | | | | | 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.
| * gnu: ocaml-zarith: Update to 1.12.Julien Lepiller2021-07-31
| | | | | | | | * gnu/packages/ocaml.scm (ocaml-zarith): Update to 1.12.
* | gnu: Use 'search-input-file' when looking for executables.Ludovic Courtès2021-07-24
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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.
* | Merge branch 'master' into core-updatesLudovic Courtès2021-07-18
|\|
| * gnu: Add ocaml-bibtex2html.Ivan Gankevich2021-07-10
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-bibtex2html): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: hevea: Update to 2.35.Ivan Gankevich2021-07-10
| | | | | | | | | | | | * gnu/packages/ocaml.scm (hevea): Update to 2.35. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: ocaml-earley: Update to 3.0.0.Julien Lepiller2021-07-05
| | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-earley): Update to 3.0.0. Use latest ocaml version.
| * gnu: Add ocaml-sqlite3.Julien Lepiller2021-07-05
| | | | | | | | | | | | | | * 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.
| * gnu: Add ocaml-cohttp.Xinglu Chen2021-06-27
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-cohttp): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: Add ocaml-uri-sexp.Xinglu Chen2021-06-27
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-uri-sexp): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: ocaml-uri: Update to 4.2.0.Xinglu Chen2021-06-27
|/ | | | | | * gnu/packages/ocaml.scm (ocaml-uri): Update to 4.2.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: ocaml-dose3: Fix tests.Xinglu Chen2021-06-23
| | | | | | | * gnu/packages/ocaml.scm (ocaml-dose3)[arguments]<#:phases>: Add phase to patch tests script. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: ocaml-uri: Use a source file-name.Efraim Flashner2021-06-22
| | | | * gnu/packages/ocaml.scm (ocaml-uri)[source]: Add a file-name field.
* gnu: ocaml-merlin: Inherit from ‘ocaml-dot-merlin-reader’.Xinglu Chen2021-06-21
| | | | | | | | | * 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>
* gnu: ocaml-dot-merlin-reader: Update to 4.2-411.Xinglu Chen2021-06-21
| | | | | | * gnu/packages/ocaml.scm (ocaml-dot-merlin-reader): Update to 4.2-411. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: ocaml-ppxlib: Update to 0.22.1.Xinglu Chen2021-06-20
| | | | | | * gnu/packages/ocaml.scm (ocaml-ppxlib): Update to 0.22.1. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: ocaml-menhir: Update to 20210419.Xinglu Chen2021-06-20
| | | | | | * gnu/packages/ocaml.scm (ocaml-menhir): Update to 20210419. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: Add ocaml-mparser-pcre.Xinglu Chen2021-06-20
| | | | | | * gnu/packages/ocaml.scm (ocaml-mparser-pcre): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: Add ocaml-mparser-re.Xinglu Chen2021-06-20
| | | | | | * gnu/packages/ocaml.scm (ocaml-mparser-re): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: Add ocaml-mparser.Xinglu Chen2021-06-20
| | | | | | * gnu/packages/ocaml.scm (ocaml-mparser): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: ocaml4.07-pcre: Remove package.Xinglu Chen2021-06-20
| | | | | | | * gnu/packages/ocaml.scm (ocaml4.07-pcre): Remove package. It has been superseded by ‘ocaml-pcre’. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: ocaml4.07-expect: Switch to default OCaml compiler.Xinglu Chen2021-06-20
| | | | | | | | | | * 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>
* gnu: Add ocaml-pcre.Xinglu Chen2021-06-20
| | | | | | * gnu/packages/ocaml.scm (ocaml-pcre): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: cubicle: Make deterministic.Julien Lepiller2021-06-19
| | | | | * gnu/packages/ocaml.scm (cubicle)[arguments]: Remove build date from resulting binary.
* gnu: cubicle: Fix build with newer ocaml-num.Julien Lepiller2021-06-19
| | | | | * gnu/packages/ocaml.scm (cubicle)[arguments]: Adjust Makefile for changes in ocaml-num.
* gnu: Update ocaml-mdx to 1.9.0.pukkamustard2021-06-19
| | | | | | * gnu/packages/ocaml.scm (ocaml-mdx): Update to 1.9.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: Add ocaml-calendar.Xinglu Chen2021-06-19
| | | | | | * gnu/packages/ocaml.scm (ocaml-calendar): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: dune-bootstrap: Update to 2.8.5.Xinglu Chen2021-06-18
| | | | | | * gnu/packages/ocaml.scm (dune-bootstrap): Update to 2.8.5. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: Add ocaml-js-of-ocaml.divoplade2021-06-13
| | | | | | | * gnu/packages/ocaml.scm (ocaml-js-of-ocaml): New variable. Co-Authored-By: pukkamustard <pukkamustard@posteo.net> Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: ocaml-num: Update to 1.4.pukkamustard2021-06-13
| | | | | | * gnu/packages/ocaml.scm (ocaml-num): Update to 1.4. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: Add ocaml-ppx-expect.pukkamustard2021-06-13
| | | | | | | * gnu/packages/ocaml.scm (ocaml-ppx-expect): New variable. (ocaml4.07-ppx-expect): Inherit from ocaml-ppx-expect. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: Add ocaml-ppx-variants-conv.pukkamustard2021-06-13
| | | | | | | * gnu/packages/ocaml.scm (ocaml-ppx-variants-conv): New variable. (ocaml4.07-ppx-variants-conv): Inherit from ocaml-ppx-variants-conv. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: Add ocaml-variantslib.pukkamustard2021-06-13
| | | | | | | * gnu/packages/ocaml.scm (ocaml-variantslib): New variable. (ocaml4.07-variantslib): Inherit from ocaml-variantslib. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: Add ocaml-graphics.divoplade2021-06-13
| | | | | | | * gnu/packages/ocaml.scm (ocaml-graphics): New variable. Co-Authored-By: pukkamustard <pukkamustard@posteo.net> Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: Add ocaml-uri.pukkamustard2021-06-13
| | | | | | * gnu/packages/ocaml.scm (ocaml-uri): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: Add ocaml-angstrom.pukkamustard2021-06-13
| | | | | | * gnu/packages/ocaml.scm (ocaml-angstrom): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: Add ocaml-ppx-inline-test.pukkamustard2021-06-13
| | | | | | | * gnu/packages/ocaml.scm (ocaml-ppx-inline-test): New variable. (ocaml4.07-ppx-inline-test): Inherit from ocaml-ppx-inline-test. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
generated by cgit v1.2.3 (git 2.45.2) at 2024-07-26 23:50:11 +0000