summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
AgeCommit message (Collapse)Author
2023-12-30gnu: Remove ocaml4.07-bin-prot.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-bin-prot): Remove variable. (ocaml-bin-prot)[properties]: Remove variant. Change-Id: I8d16ef26b58cc179bcc9d93d2e3e18116c474d25
2023-12-30gnu: Remove ocaml4.07-ppx-here.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-here): Remove variable. (ocaml-ppx-here)[properties]: Remove variant. Change-Id: I7b54d003c6bf988eb93d6a2345296d11add14f6d
2023-12-30gnu: Remove ocaml4.07-sexplib.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-sexplib): Remove variable. (ocaml-sexplib)[properties]: Remove variant. Change-Id: I5d682457888b57d7d68c2e3e2b28d6cd4f4f3a85
2023-12-30gnu: Remove ocaml4.07-ppx-assert.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-assert): Remove variable. (ocaml-ppx-assert)[properties]: Remove variant. Change-Id: Iba0b987323b8ee3feb2330b1e5eed199856466ee
2023-12-30gnu: Remove ocaml4.07-ppx-inline-test.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-inline-test): Remove variable. (ocaml-ppx-inline-test)[properties]: Remove variant. Change-Id: Ia7a74c7872b200d22fe56ec62de144534fc9e1ae
2023-12-30gnu: Remove ocaml4.07-ppx-bench.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-bench): Remove variable. (ocaml-ppx-bench)[properties]: Remove variant. Change-Id: I407067f56a2e8a73ab9c311dafb2fd6dd5b583f8
2023-12-30gnu: Remove ocaml4.07-ppx-expect.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-expect): Remove variable. (ocaml-ppx-expect)[properties]: Remove variant. Change-Id: Iad2ab78be171d8e0c7526c27fd0c7f77e62c6c68
2023-12-30gnu: Remove ocaml4.07-ppx-let.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-let): Remove variable. (ocaml-ppx-let)[properties]: Remove variant. Change-Id: Ia173d6bd784b6c1347c3ec2e3cc4e10b9537b092
2023-12-30gnu: Remove ocaml4.07-ppx-enumerate.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-enumerate): Remove variable. (ocaml-ppx-enumerate)[properties]: Remove variant. Change-Id: I4923573de50e9e1795562cc7b974b8da7c88a64c
2023-12-30gnu: Remove ocaml4.07-ppx-js-style.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-js-style): Remove variable. (ocaml-ppx-js-style)[properties]: Remove variant. Change-Id: I2243b4ae20136fb3d91c578d9bb2eeea306b0bb1
2023-12-30gnu: Remove ocaml4.07-ppx-hash.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-hash): Remove variable. (ocaml-ppx-hash)[properties]: Remove variant. Change-Id: I38a4e5a4deb88398ae714b0671c9477551e7b6d9
2023-12-30gnu: Remove ocaml4.07-ppx-tools-versioned.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-tools-versioned): Remove variable. Change-Id: I74f5f3f9cdc7d7be2f1d52c933e27b688a8d2558
2023-12-30gnu: Remove ocaml4.07-ppx-optcomp.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-optcomp): Remove variable. (ocaml-ppx-optcomp)[properties]: Remove variant. Change-Id: I030cadf5a90d8386b892d2318244f997fc55283c
2023-12-30gnu: Remove ocaml4.07-ppx-sexp-value.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-sexp-value): Remove variable. (ocaml-ppx-sexp-value)[properties]: Remove variant. Change-Id: Ib5b777b78c63d9cbc4812affba6f861c89ff3cce
2023-12-30gnu: Remove ocaml4.07-ppx-optional.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-optional): Remove variable. (ocaml-ppx-optional)[properties]: Remove variant. Change-Id: Ie6aad28146cea0f5b48be78c68e7341307234e4a
2023-12-30gnu: Remove ocaml4.07-ppx-bin-prot.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-bin-prot): Remove variable. (ocaml-ppx-bin-prot)[properties]: Remove variant. Change-Id: I132d19d38cbb40c72afaa86a758ca0d4267fe645
2023-12-30gnu: Remove ocaml4.07-ppx-base.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-base): Remove variable. (ocaml-ppx-base)[properties]: Remove variant. Change-Id: I1a079a895eb260bb6870a12f494b79869a5a350c
2023-12-30gnu: Remove ocaml4.07-ppx-sexp-message.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-sexp-message): Remove variable. (ocaml-ppx-sexp-message)[properties]: Remove variant. Change-Id: Iaee2fbecb086ddad1b15b878d8148f9101903834
2023-12-30gnu: Remove ocaml4.07-bisect-ppx.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-bisect-ppx): Remove variable. (ocaml-bisect-ppx)[properties]: Remove variant. Change-Id: I91dcdd486980885530ea2e269328ecf781aee020
2023-12-30gnu: Remove ocaml4.07-ppx-fail.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-fail): Remove variable. (ocaml-ppx-fail)[properties]: Remove variant. Change-Id: Iec707f415906d109a2eb2076477c2bfecc27bcc8
2023-12-30gnu: Remove ocaml4.07-ppx-pipebang.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-pipebang): Remove variable. (ocaml-ppx-pipebang)[properties]: Remove variant. Change-Id: I3c74444122e43571c9922bf703701e20b7baf58f
2023-12-30gnu: Remove ocaml4.07-ppx-typerep-conv.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-typerep-conv): Remove variable. (ocaml-ppx-typerep-conv)[properties]: Remove variant. Change-Id: Iacd645286f2b1819d94c44fb6545382d755906bd
2023-12-30gnu: Remove ocaml4.07-tyxml.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-tyxml): Remove variable. (ocaml-tyxml)[properties]: Remove variant. Change-Id: I2b86d01832baf4c139e2a0391a4dd344982bb160
2023-12-30gnu: Remove ocaml4.07-ppx-jane.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ppx-jane): Remove variable. (ocaml-ppx-jane)[properties]: Remove variant. Change-Id: Ia40acb52457f5c70221d424ec7015877b70ce614
2023-12-30gnu: Remove ocaml4.07-spawn.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-spawn): Remove variable. (ocaml-spawn)[properties]: Remove variant. Change-Id: Ib655eca9b305de23aa0cee0e29e51d9acea01094
2023-12-30gnu: Remove ocaml4.07-odoc.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-odoc): Remove variable. (ocaml-odoc)[properties]: Remove variant. Change-Id: I903ba64cfb460064531a502ca0c97e81ed4bbb82
2023-12-30gnu: Remove ocaml4.07-jane-street-headers.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-jane-street-headers): Remove variable. (ocaml-jane-street-headers)[properties]: Remove variant. Change-Id: I4df9b3a74ea8100605bf730848888db4f63c1dc0
2023-12-30gnu: Remove ocaml4.07-qcheck.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-qcheck): Remove variable. (ocaml-qcheck)[properties]: Remove variant. Change-Id: I5d658a105d626315742428a68638222da212bea6
2023-12-30gnu: Remove ocaml4.07-frontc.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-frontc): Remove variable. (ocaml-frontc)[properties]: Remove variant. Change-Id: I52bf626af56d05e6230365825b944240cc523cdc
2023-12-30gnu: Remove ocaml4.07-core-kernel.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-core-kernel): Remove variable. (ocaml-core-kernel)[properties]: Remove variant. Change-Id: Ia3c7b3fd2f5b3712c46e091f707961bc18123296
2023-12-30gnu: Remove ocaml4.07-core.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-core): Remove variable. Change-Id: Ie1e593746061506133e2e344e8c5021ad77f6820
2023-12-30gnu: Remove ocaml4.07-zed.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-zed): Remove variable. (ocaml-zed)[properties]: Remove variant. Change-Id: I13b2f5b0a3f38ca9a2f57e207487889adaad2d03
2023-12-30gnu: Remove ocaml4.07-sqlite3.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-sqlite3): Remove variable. (ocaml-sqlite3)[properties]: Remove variant. Change-Id: I336d685ac271e50d0bb4ed0e41d0bcee38ee4686
2023-12-30gnu: Remove ocaml4.07-sedlex.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-sedlex): Remove variable. (ocaml-sedlex)[properties]: Remove variant. Change-Id: I6ce2cfac54b7bf8879fde315ea60e3932bac8a9c
2023-12-30gnu: Remove ocaml4.07-splittable-random.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-splittable-random): Remove variable. (ocaml-splittable-random)[properties]: Remove variant. Change-Id: I30cd8ccdc296655a60e821544151e2a38d46d3ca
2023-12-30gnu: Remove ocaml4.07-lambda-term.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-lambda-term): Remove variable. (ocaml-lambda-term)[properties]: Remove variant. Change-Id: I4c7a0a0833103acc39e48e74770f57a4b5df8f69
2023-12-30gnu: Remove ocaml4.07-uri.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-uri): Remove variable. (ocaml-uri)[properties]: Remove variant. Change-Id: I078537f7c1c10bcf319f3482ec50c252d25cb463
2023-12-30gnu: Remove ocaml4.07-batteries.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-batteries): Remove variable. (ocaml-batteries)[properties]: Remove variant. Change-Id: I7573033dd1a517cf4f9e456c4f8507e82065550c
2023-12-30gnu: Remove ocaml4.07-cstruct.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-cstruct): Remove variable. (ocaml-cstruct)[properties]: Remove variant. Change-Id: I623e2947aa9a597d9ee1342f27c7ec98d171b05e
2023-12-30gnu: Remove ocaml4.07-utop.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-utop): Remove variable. (ocaml-utop)[properties]: Remove variant. Change-Id: I5307736534705f79e681462d07cce61cfd08699c
2023-12-30gnu: Remove ocaml4.07-base64.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-base64): Remove variable. (ocaml-base64)[properties]: Remove variant. Change-Id: Ibf92682e0d322e9d294c99f5532da2fe68a92f4a
2023-12-30gnu: Remove ocaml4.07-bitstring.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-bitstring): Remove variable. (ocaml-bitstring)[properties]: Remove variant. Change-Id: I7b5964ef9d0e2319a47409ce0e378012a2094671
2023-12-30gnu: Remove ocaml4.07-gsl-1.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-gsl-1): Remove variable. Change-Id: Ie446999c873dbf5b16ce2e4f9e2a6c33833c7d05
2023-10-20gnu: unison: Update to 2.53.3.pukkamustard
* gnu/packages/ocaml.scm (unison): Update to 2.53.0. [source]: Remove patch. [build-system]: Use dune-build-system. [outputs]: Remove "doc" output. [native-inputs]: Update package style. [propagated-inputs]: Add lablgtk3 and zlib. [arguments]: Enable tests. <#:phases>: Remove prepare-install and install-fsmonitor phases. * gnu/packages/patches/unison-fix-ocaml-4.08.patch: Remove file. * gnu/local.mk: Unregister. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-09-22gnu: bap: Update to 2.6.0-alpha-0.f995d28.Simon Tournier
* gnu/packages/ocaml.scm (bap): Update to 2.6.0-alpha-0.f995d28.
2023-09-22gnu: bap: Update to 2.5.0-alpha-0.a972f8a.Simon Tournier
* gnu/packages/ocaml.scm (bap): Explicitly refer to commit instead of mutable Git tag.
2023-09-16gnu: ocaml: Allow not to build the native compiler.Vivien Kraus
Build "defaultentry", not "world.opt", so that the build system decides whether to build the native compiler or just the bytecode compiler. The native compiler is not available for 32-bit architectures. * gnu/packages/ocaml.scm (ocaml-5.0)[arguments]: Change make-flags. Signed-off-by: Andreas Enge <andreas@enge.fr>
2023-07-18gnu: ocaml-bibtex2html: Fix build.Nicolas Goaziou
* gnu/packages/ocaml.scm (ocaml-bibtex2html)[native-inputs]: Add TEXLIVE-PREPRINT.
2023-07-18gnu: Deprecate `texlive-tiny'.Nicolas Goaziou
At this point, there are three equivalent TeX Live sub-systems: texlive-scheme-basic, texlive-tiny, and (texlive-updmap.cfg). It is confusing to keep so many around. * doc/contributing.texi (Submitting Patches): Remove reference to TEXLIVE-TINY. * gnu/packages/algebra.scm (pari-gp)[native-inputs]: (giac)[native-inputs]: * gnu/packages/chez.scm (chez-sockets)[native-inputs]: * gnu/packages/engineering.scm (fastcap)[native-inputs]: * gnu/packages/gettext.scm (po4a)[native-inputs]: * gnu/packages/maths.scm (cddlib)[native-inputs]: (gnuplot)[native-inputs]: (itpp)[native-inputs]: * gnu/packages/ocaml.scm (unison)[native-inputs]: * gnu/packages/pdf.scm (extractpdfmark)[native-inputs]: * gnu/packages/photo.scm (enblend-enfuse): Replace TEXLIVE-TINY with a call to TEXLIVE-UPDMAP.CFG. * gnu/packages/radio.scm (gnuradio)[native-inputs]: Remove unnecessary TEXLIVE-TINY. * gnu/packages/tex.scm (texlive-tiny): Deprecate it in favor of TEXLIVE-SCHEME-BASIC. (texlive-makecmds)[native-inputs]: Replace TEXLIVE-TINY with a call to TEXLIVE-UPDMAP.CFG. * guix/lint.scm (check-inputs-should-be-native): Check only for "texlive-updmap.cfg" input name.
2023-07-18gnu: Rationalize texlive-updmap.cfg and texlive-tiny inputs.Nicolas Goaziou
TEXLIVE-UPDMAP.CFG and TEXLIVE-TINY should only be used as native inputs. Also remove texlive packages already provided by them. * doc/build.scm (pdf-manual): * gnu/packages/algebra.scm (pari-gp): * gnu/packages/bioinformatics.scm (discrover): (phyml): (velvet): * gnu/packages/chemistry.scm (yaehmop): * gnu/packages/chez.scm (stex-bootstrap): (chez-web): (chez-sockets): * gnu/packages/cran.scm (r-prereg): * gnu/packages/docbook.scm (dblatex): * gnu/packages/emacs-xyz.scm (emacs-auctex): * gnu/packages/engineering.scm (fastcap): * gnu/packages/fsf.scm (book-faif): * gnu/packages/graphviz.scm (dot2tex): * gnu/packages/maths.scm (hypre): * gnu/packages/ocaml.scm (unison): (ocaml-bibtex2html): * gnu/packages/plotutils.scm (asymptote): * gnu/packages/python-xyz.scm (python-nbconvert): (python-pypandoc): * gnu/packages/radio.scm (gnuradio): (libosmo-dsp): * gnu/packages/statistics.scm (r-with-tests): * gnu/packages/tex.scm (texlive-makecmds): (texlive-innerscript): (teximpatient): (texlive-xkeyval): Remove texlive packages already provided by TEXLIVE-UPDMAP.CFG. Don't add TEXLIVE-TINY or TEXLIVE-UPDMAP.CFG as inputs.
generated by cgit v1.2.3 (git 2.46.2) at 2024-12-28 06:08:40 +0000