aboutsummaryrefslogtreecommitdiff


 
                         
generated by
                             
                                 cgit
                             
                         

                        
 


kages/ocaml.scm
AgeCommit message (Expand)Author


2023-09-22gnu: bap: Update to 2.6.0-alpha-0.f995d28....* gnu/packages/ocaml.scm (bap): Update to 2.6.0-alpha-0.f995d28.
Simon Tournier


2023-09-22gnu: bap: Update to 2.5.0-alpha-0.a972f8a....* gnu/packages/ocaml.scm (bap): Explicitly refer to commit instead of mutable
Git tag.
Simon Tournier


2023-09-16gnu: ocaml: Allow not to build the native compiler....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>
Vivien Kraus


2023-07-18gnu: ocaml-bibtex2html: Fix build....* gnu/packages/ocaml.scm (ocaml-bibtex2html)[native-inputs]: Add TEXLIVE-PREPRINT.
Nicolas Goaziou


2023-07-18gnu: Deprecate `texlive-tiny'....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.
Nicolas Goaziou


2023-07-18gnu: Rationalize texlive-updmap.cfg and texlive-tiny inputs....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.
Nicolas Goaziou


2023-07-18gnu: ocaml-bibtex2html: Improve package style....* gnu/packages/ocaml.scm (ocaml-bibtex2html)[origin]<uri>: Re-use version.
[arguments]: Use G-expressions.  Remove trailing #T from phases.
[native-inputs]: Remove labels.
Nicolas Goaziou


2023-07-18gnu: ocaml-bibtex2html: Fix build....* gnu/packages/ocaml.scm (ocaml-bibtex2html)[native-inputs]: Add
TEXLIVE-INFWARERR, TEXLIVE-KVOPTINOS, TEXLIVE-PDFTEXCMDS.
Nicolas Goaziou


2023-07-18gnu: texlive-fonts-ec -> texlive-ec....* gnu/packages/tex.scm (texlive-ec): New variable.
(texlive-fonts-ec): Deprecate variable.
(lyx):
(biber):
* gnu/packages/python-xyz.scm (python-pypandoc):
* gnu/packages/statistics.scm (r-with-tests):
* doc/build.scm (pdf-manual):
* gnu/packages/bioinformatics.scm (discrover):
(phyml):
(velvet):
* gnu/packages/chemistry.scm (yaehmop):
* gnu/packages/chez.scm (stex-bootstrap):
* gnu/packages/ocaml.scm (unison):
(ocaml-bibtex2html):
* gnu/packages/plotutils.scm (asymptote): Use new name.
Nicolas Goaziou


2023-07-18gnu: texlive-dvips-l3backend -> texlive-l3backend....* gnu/packages/tex.scm (texlive-dvips-l3backend): Deprecate package.
* gnu/packages/chez.scm (stex-bootstrap):
* gnu/packages/maths.scm (cddlib):
* gnu/packages/ocaml.scm (unison):
* gnu/packages/plotutils.scm (asymptote): Use new name.
Nicolas Goaziou


2023-06-02gnu: Add ocaml-pyml....* gnu/packages/ocaml.ml (ocaml-pyml): New variable.

Signed-off-by: Jean-Pierre De Jesus DIAZ <jean@foundationdevices.com>
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Jean-Pierre De Jesus DIAZ


2023-06-02gnu: Add ocaml-stdcompat....* gnu/packages/ocaml.scm (ocaml-stdcompat): New variable.

Signed-off-by: Jean-Pierre De Jesus DIAZ <jean@foundationdevices.com>
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Jean-Pierre De Jesus DIAZ


2023-06-02gnu: Add ocaml-parmap....* gnu/packages/ocaml.scm (ocaml-parmap): New variable.

Signed-off-by: Jean-Pierre De Jesus DIAZ <jean@foundationdevices.com>
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Jean-Pierre De Jesus DIAZ


2023-04-25gnu: ocaml-lwt: Add ocaml4.07 variant....* gnu/packages/ocaml.scm (ocaml-lwt)[properties]: New field.
(ocaml4.07-lwt): New variable.
Efraim Flashner


2023-04-14Merge branch 'master' into core-updates....Conflicts:
	gnu/local.mk
	gnu/packages/build-tools.scm
	gnu/packages/certs.scm
	gnu/packages/check.scm
	gnu/packages/compression.scm
	gnu/packages/cups.scm
	gnu/packages/fontutils.scm
	gnu/packages/gnuzilla.scm
	gnu/packages/guile.scm
	gnu/packages/ibus.scm
	gnu/packages/image-processing.scm
	gnu/packages/linux.scm
	gnu/packages/music.scm
	gnu/packages/nss.scm
	gnu/packages/pdf.scm
	gnu/packages/python-xyz.scm
	gnu/packages/qt.scm
	gnu/packages/ruby.scm
	gnu/packages/shells.scm
	gnu/packages/tex.scm
	gnu/packages/video.scm
	gnu/packages/vulkan.scm
	gnu/packages/web.scm
	gnu/packages/webkit.scm
	gnu/packages/wm.scm
Maxim Cournoyer


2023-04-12gnu: ocaml-mdx: Fix tests....* gnu/packages/ocaml.scm (ocaml-mdx)[arguments]: Substitue obsolete 'egrep' by
'grep -E'.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Simon Tournier


2023-04-12gnu: ocaml-ppxlib: Fix tests....* gnu/packages/ocaml.scm (ocaml-ppxlib)[arguments]: Substitue obsolete 'egrep'
by 'grep -E'.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Simon Tournier


2023-03-27gnu: hevea: Update to 2.36....* gnu/packages/ocaml.scm (hevea): Update to 2.36.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Philippe SWARTVAGHER


2023-03-20Merge remote-tracking branch 'origin/master' into core-updatesAndreas Enge


2023-03-05gnu: Update ocaml-eio to 0.8.1....* gnu/packages/ocaml.scm (ocaml-eio): Update to 0.8.1.
  [native-inputs]: Add ocaml-mdx.
  (ocaml-mtime): Update to 2.0.0.
  [source]: Use https instead of http.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
pukkamustard


2023-03-05gnu: Update ocaml-uring to 0.5....* gnu/packages/ocaml.scm (ocaml-uring): Update to 0.5.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
pukkamustard


2023-03-02Merge remote-tracking branch 'savannah/master' into core-updates...Conflicts:
	gnu/local.mk
	gnu/packages/autotools.scm
	gnu/packages/cmake.scm
	gnu/packages/gnuzilla.scm
	gnu/packages/haskell.scm
	gnu/packages/pdf.scm
	gnu/packages/python-xyz.scm
	gnu/packages/samba.scm
	gnu/packages/tex.scm
	gnu/packages/tls.scm
	gnu/packages/wxwidgets.scm
Christopher Baines


2023-02-22gnu: ocaml-4.07: Fix signal handling with newer glibc....* gnu/packages/patches/ocaml-4.07-dynamically-allocate-signal-stack.patch:
New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/ocaml.scm (ocaml-4.07-boot): Use it.
Julien Lepiller


2023-02-19gnu: camlboot: Fix signal handling with newer glibc....* gnu/packages/patches/camlboot-dynamically-allocate-stack-signal.patch:
  New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/ocaml.scm (camlboot): Use it.
Julien Lepiller


2023-02-19gnu: ocaml-4.09: Fix signal handling with newer glibc....* gnu/packages/patches/ocaml-4.09-dynamically-allocate-signal-stack.patch:
New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/ocaml.scm (ocaml-4.09): Use it.
Julien Lepiller