| Age | Commit message (Collapse) | Author |
|
* gnu/packages/ocaml.scm (ocaml-4.07): Add comment explaining why older
compiler versions are unsupported.
Change-Id: Ifadd52a9383a8a9d416f46e6e8e96e98c05384e9
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-4.09): Add comment explaining why older
compiler versions are unsupported.
Change-Id: Iefa78b571bdf863f0e15b35a9ac139c2a6c9c957
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-5.3): Add comment explaining why older
compiler versions are unsupported.
Change-Id: Id46458121c74c00e8ef119d655ec3075c522aaf7
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-5.0): Add comment explaining why older
compiler versions are unsupported.
Change-Id: If778585b0902846893b8fb7cbed0b878ab86795b
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
Supersedes v5.3.0 and fixes CVE-2026-28364.
* gnu/packages/ocaml.scm (ocaml-5.4): New variable.
Change-Id: I6ed0647d89b0c5645bfa415eb605d3935e1d807f
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
Fixes CVE-2026-28364.
* gnu/packages/ocaml.scm (ocaml-4.14): Update to 4.14.3.
Change-Id: I76e9803658557fb42187e2fbf25504918c93131b
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-4.07-boot)[source]: Use HTTPS.
Change-Id: I0f2f04b31c358e0b63523fe4c4e7050229c58285
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-4.09)[source]: Use HTTPS.
Change-Id: Iff68d05ad6c6e51733ed53d71dc148dc97b10eca
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-4.14)[source]: Use HTTPS.
Change-Id: I21f342a7b7adbccbb8c6ce0b452f02442b9e39e6
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
No longer required in opam >= 2.5.
* gnu/packages/ocaml.scm (ocaml-opam-client)[propagated-inputs]: Remove ocaml-cmdliner.
Change-Id: I67fd4dd30fbee25a0598a844b27e351fd4b87d1e
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
Restore tests now that the inherited package is at 2.5.1. The package
definition is backported from the ocaml-team branch with one extra test
exclusion for the new opam release.
* gnu/packages/ocaml.scm (opam): Update package for 2.5.1.
Change-Id: Ib80e2f7c31f56dd7a285454ce0ddfed701d68860
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-opam-core): Update to 2.5.1.
Change-Id: Ie0934f39df8e52ec6665ee64b9828826f002095d
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
This is a prerequisite for a version bump in the inherited package.
* gnu/packages/ocaml.scm (opam):
[arguments]: Disable tests. Delete modified phase related to tests.
Change-Id: I114e85eefa5ab78cdba0b264d9954ac831031541
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
This is a prerequisite for a version bump in the inherited package.
* gnu/packages/ocaml.scm (ocaml-opam-client)[propagated-inputs]: Add ocaml-spdx-licenses.
Change-Id: I72f13f8276acb89eba14b86baf33c265f5405bf6
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
This is a prerequisite for a version bump in the inherited package.
* gnu/packages/ocaml.scm (ocaml-opam-solver)[propagated-inputs]: Add
ocaml-opam-0install-cudf.
Change-Id: I87ad17c8a7fa032e54ebd4a8d096bd0da91003e3
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
This is a prerequisite for a version bump in the inherited package.
* gnu/packages/ocaml.scm (ocaml-opam-state)[inputs]: Add ocaml-spdx-licenses.
Change-Id: Iffe4f00abeb394d92385e17ea7c7e0516d1ca0e3
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-patch): New variable.
Change-Id: I18f224e1c8cac942a86d05419d02d0fa418ded98
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-opam-0install-cudf): New variable.
Change-Id: If7e08f2fbf55626eb90644a0ed8317a2367de0fd
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-0install-solver): New variable.
Change-Id: I52482474746ea518cd108074b0afe22f62952960
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-spdx-licenses): New variable.
Change-Id: I6bed592e3320f1e902478586ff1a84c0b5cf327f
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-swhid-core): New variable.
Change-Id: I017a7370d12c9c7e73e3902a1310778d9b630fe8
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-mccs): Update to 1.1+19.
Change-Id: I4ae04da62c430c732fb806195bb6116041b6aaa3
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (opam-installer): Update to 2.5.1.
Change-Id: Ifd0ba2ab79df67b18d3cdc7a5995acf0a4012e81
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm, gnu/packages/orange.scm,
gnu/packages/package-management.scm, gnu/packages/password-utils.scm,
gnu/packages/pdf.scm, gnu/packages/perl6.scm, gnu/packages/php.scm,
gnu/packages/power.scm, gnu/packages/prometheus.scm,
gnu/packages/protobuf.scm, gnu/packages/python-check.scm,
gnu/packages/python-compression.scm, gnu/packages/python-crypto.scm,
gnu/packages/python-science.scm, gnu/packages/python-web.scm,
gnu/packages/python-xyz.scm, gnu/packages/qt.scm,
gnu/packages/racket.scm, gnu/packages/radio.scm, gnu/packages/rdf.scm,
gnu/packages/rocm.scm, gnu/packages/rpc.scm, gnu/packages/ruby-xyz.scm,
gnu/packages/rust-apps.scm, gnu/packages/rust-crates.scm,
gnu/packages/rust.scm, gnu/packages/telephony.scm,
gnu/packages/terminals.scm: Fix some spelling errors.
Change-Id: Iac58897304e471f42ecfbaa3a750ff10ee734ca6
|
|
* gnu/packages/ocaml.scm (ocaml-uunf)[native-inputs]: Remove
unicode-blocks, add ucd.
[arguments]: Adjust the 'check-data phase for change of inputs.
Change-Id: Ie9c386ed44304e764b698f95f182367c2e538731
|
|
This commit was made by running this command:
sed -e's/modify-inputs (package-\([a-z-]*\)inputs [a-zA-Z0-9-]\+)/modify-inputs \1inputs/g' -i gnu/packages/*.scm
… and then reverting individual hunks where the change would trigger unbound
variable warnings or other issues (such as ‘native-inputs’ is bound in the
body of the ‘inputs’ field, but it refers to the ‘native-inputs’ thunk defined
just above).
Change-Id: I6d94819f2809313fa1fbefc61897502ee7d66fab
|
|
This commit was made by running this command:
sed -e's/substitute-keyword-arguments (package-arguments [a-zA-Z0-9-]\+)/substitute-keyword-arguments arguments/g' -i gnu/packages/*.scm
… and then:
1. reverting changes from ‘gnu/packages/rust.scm’ and
‘gnu/packages/java.scm’ since they would incur derivation changes and/or
breakage;
2. reverting the change for ‘gcc-final’ in ‘gnu/packages/commencement.scm’;
3. reverting the change for ‘onnx-optimizer’, ‘openquest’, and ‘certbot’,
which use ‘substitute-keyword-arguments’ for arguments that are not
inherited (and thus ‘arguments’ would be unbound);
4. reverting the change for ‘insight-toolkit-legacy’ and ‘wine64-staging’
which make bogus assumptions about inherited arguments.
Change-Id: I122a7cf517b6b63cae38944b5d33ade4b1f5a89c
|
|
* gnu/packages/ocaml.scm (ocaml-4.07)[arguments]:
<#:phases>{patch-cflags}: Add CFLAGS
`-Wno-incompatible-pointer-types` and
`-Wno-implicit-function-declaration` to configure and build scripts.
Also remove `-Werror` to avoid failure on macro redefinition.
Change-Id: I2defd11fc2741856cd48f853706fe37b165a16c0
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (camlboot)[arguments]:
<#:phases>{patch-makefile}: Make configure errors more visible.
<#:phases>{patch-cflags}: Add CFLAGS
`-Wno-incompatible-pointer-types` and
`-Wno-implicit-function-declaration` to configure and build scripts.
Also remove `-Werror` to avoid failure on macro redefinition.
Change-Id: I132ae6af1360f63cccfa6dd3afcb643c92726487
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-guile)[arguments]: Modify Dune
configurator script to add CFLAG `-Wno-int-conversion`.
Change-Id: I9eab10fc7e10904e46346bfeb207eae3a58ca300
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-5.0):
[arguments]:
<#:parallel-tests?>: disable.
<#:phases>{enable-parallel-tests}: patch `tests` build target to enable
parallelism via GNU Parallel.
[native-inputs]: add `parallel`.
* gnu/packages/ocaml.scm: (ocaml-5.3): inherits the changes above via `ocaml-5.0`.
Change-Id: I0d25350a04b89585f5526cedbf7420d51d40ab34
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-5.3): New variable.
Change-Id: I76c5d18b586d0258bda741ac43c12868a96c88ac
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
This is much faster than an external solver as it doesn't rely on
forking an external solver and instead uses the API provided by
ocaml-z3. This feature was added in binsec release 0.9.1.
* gnu/packages/ocaml.scm (binsec)[propagated-inputs]: Add ocaml-z3.
* gnu/packages/ocaml.scm (binsec)[native-inputs]: Add z3.
Change-Id: I246fd1a13e8c9d6a6764608281a2bea5ac0a054b
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
This reverts commit a7db92d9b389cbe565395523882c34c6eff2c21a, this time with
the more careful command, to avoid a world rebuild:
grep -rl --exclude-dir=build --exclude-dir=patches --exclude=ld-wrapper.in \
--exclude=sitecustomize.py --exclude=guix-emacs.el maxim.cournoyer@gmail.com |
xargs sed -i 's/maxim.cournoyer@gmail.com/maxim@guixotic.coop/g'
Change-Id: I0871f5cf9ace79e34e78e24154d0da6ea95a3a91
|
|
This reverts commit d0d87a744d724b7e7d5ac013c586039652087bb3. Oops! This
caused a world rebuild.
Change-Id: I25fff644b2b61d0ee93d69b457b04c72b5b74d15
|
|
The change was automated via:
git grep -l maxim.cournoyer@gmail.com |
xargs sed -i 's/maxim.cournoyer@gmail.com/maxim@guixotic.coop/g'
* .mailmap: New entry.
Change-Id: Iaa88b1e51c94159c49138fb43910badb990eb169
|
|
* gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.8.0.
Change-Id: Ia78a8b750d4f0820eb37c0c783cdb79a80a602dd
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
Dependents still rely on `package-with-ocaml5.0' which generates an
ocaml5.0-ctypes definition that builds properly.
* gnu/packages/ocaml.scm (ocaml5.0-ctypes): remove.
Change-Id: Ic6d42d751bc9ecc3817ab963fde20bb5765399ff
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-luv): Update to 0.5.14.
Change-Id: I473e6afe4a9919c41a9c9b6e166e12d8250af34a
Signed-off-by: Andreas Enge <andreas@enge.fr>
|
|
* gnu/packages/ocaml.scm (ocaml-tsdl): Update to 1.1.0.
Change-Id: I0dc3e7a922cc817c784f7eb11737261fd6a02744
Signed-off-by: Andreas Enge <andreas@enge.fr>
|
|
* gnu/packages/ocaml.scm (ocaml-ctypes): Update to 0.23.0.
[source]: Register patch.
[build-system]: Replace ocaml-build-system by dune-build-system.
[patches]: Fix OO tests failure because of the stricter compiler.
* gnu/packages/patches/ocaml-ctypes-test-oo.patch: New file.
* gnu/local.mk: Add it.
Fixes: guix/guix#1493
Reported-by: jahierwan
Change-Id: I0db64bffade8d78bc92d8b9b9f3206961b35840d
Signed-off-by: Andreas Enge <andreas@enge.fr>
|
|
* gnu/packages/ocaml.scm (binsec): Update to 0.10.1.
Signed-off-by: Andreas Enge <andreas@enge.fr>
|
|
* gnu/packages/ocaml.scm (ocaml-merlin) (ocaml5.0-merlin): Fix tests
Change-Id: I8a7e4cdda499a9ad7296741e4ae581d868aba31b
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (ocaml-pp): Update to 2.0.0.
Change-Id: I35920b9e7ea4def393cd793f20b28f360a985d86
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
* gnu/packages/ocaml.scm (dune-bootstrap): Update to 3.19.1.
Change-Id: Ic1f7e65828e9052591d37ddd870835476bb322a9
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
Otherwise, dune plugins cannot be loaded which results in some command
line options to not work correctly. For example, binsec --help errors
with "The library "binsec.sse.checkct" can't be found in the search
paths". To fix this, this patch adds a wrap-programs phase.
Fixes: https://issues.guix.gnu.org/69996.
* gnu/packages/ocaml.scm (binsec) <arguments>: Add wrap-programs phase.
Change-Id: I31a5aaaf1fc49b46f05551f2ef66947699f602c7
Signed-off-by: Andreas Enge <andreas@enge.fr>
|
|
* gnu/packages/ocaml.scm (ocaml-camlpdf): New variable.
Change-Id: I097280bdd16eaf810f83fbca13f615a03e4d6702
Signed-off-by: Andreas Enge <andreas@enge.fr>
|
|
* gnu/packages/tex.scm (texlive-libkpathsea): Use XDG variables instead of
HOME for cache and user configuration. Re-instate TEXMFLOCAL, which may be
necessary for external TeX installations.
(texlive-luatex): Re-instate TEXFLOCAL.
* gnu/packages/algebra.scm (gap):
* gnu/packages/assembly.scm (asl):
(yaehmop):
* gnu/packages/bioinformatics.scm (discrover):
* gnu/packages/chez.scm (chez-scheme-for-racket):
* gnu/packages/engineering.scm (fastcap):
* gnu/packages/fsf.scm (book-faif):
* gnu/packages/maths.scm (hypre):
(stex-boostrap):
(suitesparse-amd):
(suitesparse-camd):
(suitesparse-cholmod):
(suitesparse-klu):
(suitesparse-ldl):
(suitesparse-mongoose):
(suitesparse-spex):
(suitesparse-spqr):
(suitesparse-umfpack):
* gnu/packages/ocaml.scm (ocaml-bibtex2html):
(unison):
* gnu/packages/python-xyz.scm (python-nbconvert):
* gnu/packages/statistics.scm (r-with-tests)[arguments]: Set TEXMFVAR to
a writable location.
Change-Id: I3d2d069cf41a92214d9d6fb7f4d54fc81fe6db7a
|
|
* doc/build.scm (pdf-manual):
* doc/contributing.texi (Submitting Patches):
* gnu/packages/algebra.scm (pari-gp):
(giac):
* gnu/packages/assembly.scm (asl):
* gnu/packages/audio.scm (chow-tape-model):
* gnu/packages/bioconductor.scm (r-biocstyle):
* gnu/packages/bioinformatics.scm (discrover):
(phyml):
(velvet):
* gnu/packages/chemistry.scm (yaehmop):
* gnu/packages/chez.scm (chez-scheme-for-racket):
(stex-bootstrap):
(chez-web):
(chez-sockets):
* gnu/packages/cran.scm (r-papaja):
(r-prereg):
* gnu/packages/docbook.scm (dblatex):
* gnu/packages/emacs-xyz.scm (emacs-auctex):
* gnu/packages/engineering.scm (fastcap):
* gnu/packages/finance.scm (optionmatrix):
* gnu/packages/fsf.scm (book-faif):
* gnu/packages/gettext.scm (po4a):
(po4a-minimal):
* gnu/packages/graphics.scm (mmg):
* gnu/packages/graphviz.scm (dot2tex):
* gnu/packages/guile-xyz.scm (emacsy):
(guile-cv):
* gnu/packages/lisp.scm (sbcl):
* gnu/packages/maths.scm (cddlib):
(gnuplot):
(itpp):
(octave):
(suitesparse-amd):
(suitesparse-camd):
(suitesparse-cholmod):
(suitesparse-klu):
(suitesparse-ldl):
(suitesparse-mongoose):
(suitesparse-spex):
(suitesparse-spqr):
(suitesparse-umfpack):
(hypre):
* gnu/packages/music.scm (lilypond):
* gnu/packages/ocaml.scm (unison):
(ocaml-bibtex2html):
* gnu/packages/pdf.scm (extractpdfmark):
* gnu/packages/photo.scm (enblend-enfuse):
* gnu/packages/plotutils.scm (asymptote):
* gnu/packages/python-xyz.scm (python-numpy-documentation):
(python-ipython-documentation):
(python-pypandoc):
* gnu/packages/radio.scm (gnuradio):
(libosmo-dsp):
* gnu/packages/scheme.scm (mit-scheme):
* gnu/packages/security-token.scm (yubico-piv-tool):
* gnu/packages/sphinx.scm (python-sphinx):
(python-sphinx-5):
* gnu/packages/statistics.scm (r-with-tests):
(r-spams):
* gnu/packages/tex.scm (texlive-local-tree): Renamed from…
(texlive-updmap.cfg): … this. Deprecate the latter.
(texlive-biblatex-philosophy):
(texlive-bropd):
(texlive-fontsize):
(texlive-poetrytex):
(texlive-reverxii):
(texlive-stix):
(texlive-suftesi):
(texlive-thucoursework):
(texlive-ulqda):
(texlive-yathesis):
(texlive-makecell):
(texlive-robotarm):
(texlive-bbold):
(texlive-babel-romansh):
(texlive-polyglossia):
(texlive-innerscript):
(teximpatient):
(texlive-xkeyval):
(texlive-arabxetex):
(texlive-blox):
(texlive-ecgdraw):
(texlive-gradientframe):
(texlive-everyhook):
(texlive-actuarialangle):
(texlive-actuarialsymbol):
(texlive-autopdf):
(texlive-etaremune):
(texlive-extract):
(texlive-forarray):
(texlive-graphicx-psmin):
(texlive-ha-prosper):
(texlive-namespc):
(texlive-newspaper):
(texlive-powerdot):
(texlive-recipecard):
(texlive-show2e):
(texlive-tablists):
(texlive-ted):
(texlive-xargs):
(texlive-xpeek):
* gnu/packages/xdisorg.scm (xforms):
* gnu/packages/algebra.scm (gap):
* gnu/packages/cpp.scm (jthread):
* guix/lint.scm (check-inputs-should-be-native): Rename `texlive-updmap.cfg' into `texlive-local-tree'.
Change-Id: I129280807c418e57acbcbda399545ab27a9e0a33
|
|
* gnu/packages/ocaml.scm (binsec): Update to 0.10.0.
Change-Id: I9bca10b74b6bc7d9b2f26710ef3fc10fc91fba4e
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
|