guix/gnu/packages
Julien Lepiller 564cf93f2a
gnu: ocaml: Update to 4.7.0.
Update ocaml to the latest version and fixes dependent packages by
updating them or by adding new inputs, such as ocaml-num and ocamlbuild,
that were removed from the core ocaml package. Rename packages that
cannot be built with the new compiler with an ocaml4.02 prefix. Add
ocaml4.02 dependencies.

* gnu/packages/ocaml.scm (ocaml): Update to 4.7.0.
(ocaml-4.02, ocamlbuild, camlp4-4.02, ocaml-num, ocaml4.02-menhir)
(ocaml4.02-lablgtk, ocaml4.02-findlib, ocaml4.02-ounit, ocaml4.02-camlzip)
(ocaml4.02-ocamlmod, ocaml4.02-zarith, ocaml4.02-qcheck, ocaml4.02-qtest)
(ocaml4.02-stringext, ocaml4.02-bisect, dune, ocaml-migrate-parsetree)
(ocaml-ppx-tools-versioned, ocaml-ppx-tools-versioned)
(ocaml4.02-bitstring, ocaml4.02-result, ocaml4.02-topkg, ocaml4.02-rresult)
(ocaml4.02-sqlite3, ocaml4.02-csv, ocaml4.02-mtime, ocaml4.02-cmdliner)
(ocaml4.02-fmt, ocaml4.02-astring, ocaml4.02-alcotest, ocaml4.02-ppx-tools)
(ocaml4.02-react, ocaml4.02-ssl, ocaml4.02-lwt, ocaml-lwt-log)
(ocaml4.02-lwt-log, ocaml4.02-logs, ocaml4.02-fpath, ocaml4.02-bos)
(ocaml4.02-xmlm, ocaml4.02-ulex, ocaml4.02-uchar, ocaml4.02-uutf)
(ocaml4.02-jsonm, ocaml4.02-ocurl, ocaml4.02-base64, ocaml4.02-omake)
(ocaml4.02-batteries, ocaml4.02-pcre, ocaml4.02-oasis)
(ocaml4.02-js-build-tools, ocaml4.02-cppo, ocaml-seq, ocaml4.02-seq)
(ocaml4.02-re, ocaml4.02-ocplib-endian, ocaml4.02-easy-format)
(ocaml4.02-piqilib, ocaml4.02-uuidm, ocaml4.02-graph, ocaml4.02-piqi)
(ocaml4.02-camomile, ocaml4.02-zed, ocaml4.02-lambda-term): New packages.
(opam): Update to 2.0.0.
(camlp4): Update to 4.07+1.
(camlp5): Update to 7.06.
(hevea): Update to 2.32.
(coq)[inputs]: Add ocaml-num.
(emacs-tuareg): Update to 2.2.0.
(ocaml-menhir)[native-inputs]: Add ocamlbuild.
(ocaml-lablgtk): Update to 2.18.6.
(unison)[inputs]: Use ocaml-4.02.
(ocaml-findlib): Update to 1.8.0.
(ocaml-ounit)[native-inputs]: Add ocamlbuild.
(ocamlmod): Update to 0.0.9.
(ocaml-frontc)[arguments]: Use ocaml-4.02.
(ocaml-qcheck)[native-inputs]: Add ocamlbuild.
(ocaml-qtest)[native-inputs]: Remove ocaml-findlib and add ocamlbuild.
(ocaml-stringext)[native-inputs]: Add ocamlbuild.
(ocaml-bisect): Update to 1.3.1.
(ocaml4.01-bisect): Downgrade to 1.3.
(ocaml-bitstring): Update to 3.1.0.
(ocaml-topkg)[native-inputs]: Add ocamlbuild.
(ocaml-rresult)[native-inputs]: Add ocamlbuild.
(ocaml-sqlite3)[native-inputs]: Add ocamlbuild.
(ocaml-csv)[native-inputs]: Add ocamlbuild.
(ocaml-mtime)[native-inputs]: Add ocamlbuild.
(ocaml-cmdliner)[native-inputs]: Add ocamlbuild.
(ocaml-fmt)[native-inputs]: Add ocamlbuild.
(ocaml-astring)[native-inputs]: Add ocamlbuild.
(ocaml-alcotest)[native-inputs]: Add ocamlbuild.
(ocaml-ppx-tools)[native-inputs]: Add ocamlbuild.
(ocaml-react)[native-inputs]: Add ocamlbuild.
(ocaml-ssl)[arguments]: Return #t in phases.
(ocaml-lwt): Update to 4.1.0.
(ocaml-logs)[native-inputs]: Add ocamlbuild.
(ocaml-fpath)[native-inputs]: Add ocamlbuild.
(ocaml-bos)[native-inputs]: Add ocamlbuild.
(ocaml-xmlm): Update to 1.3.0.
(ocaml-ulex): Update to 1.2.0.
(ocaml-uchar)[native-inputs]: Add ocamlbuild.
(ocaml-uutf): Update to 1.0.1.
(ocaml-jsonm): Update to 1.0.1.
(ocaml-ocurl): Update to 0.8.2.
(ocaml-base64)[native-inputs]: Add ocamlbuild.
(ocamlify)[native-inputs]: Use ocaml-4.02.
(omake): Update to 0.10.3.
(ocaml-batteries): Update to 2.9.0.
(ocaml-pcre)[native-inputs]: Add ocamlbuild.
(ocaml-expect): Update 0.0.6.
(ocaml4.02-fileutils): Update to 0.5.3.
(ocaml-oasis): Update 0.4.11.
(ocaml-js-build-tools)[native-inputs]: Add ocamlbuild.
(ocaml-bin-prot): Rename to ocaml4.02-bin-prot.
(ocaml-fieldslib): Rename to ocaml4.02-fieldslib.
(ocaml-ppx-core): Rename to ocaml4.02-ppx-core.
(ocaml-ppx-optcomp): Rename to ocaml4.02-ppx-optcomp.
(ocaml-ppx-driver): Rename to ocaml4.02-ppx-driver.
(ocaml-cppo): Update to 1.6.5.
(ocaml-ppx-deriving): Rename to ocaml4.02-ppx-deriving.
(ocaml-ppx-type-conv): Rename to ocaml4.02-ppx-type-conv.
(ocaml-ppx-inline-test): Rename to ocaml4.02-ppx-inline-test.
(ocaml-ppx-bench): Rename to ocaml4.02-ppx-bench.
(ocaml-ppx-compare): Rename to ocaml4.02-ppx-compare.
(ocaml-sexplib): Rename to ocaml4.02-sexplib.
(ocaml-typerep): Rename to ocaml4.02-typerep.
(ocaml-variantslib): Rename to ocaml4.02-variantslib.
(ocaml-ppx-sexp-conv): Rename to ocaml4.02-ppx-sexp-conv.
(ocaml-ppx-variants-conv): Rename to ocaml4.02-ppx-variants-conv.
(ocaml-ppx-here): Rename to ocaml4.02-ppx-here.
(ocaml-ppx-assert): Rename to ocaml4.02-ppx-assert.
(ocaml-ppx-enumerate): Rename to ocaml4.02-ppx-enumerate.
(ocaml-ppx-let): Rename to ocaml4.02-ppx-let.
(ocaml-ppx-typerep-conv): Rename to ocaml4.02-ppx-typerep-conv.
(ocaml-ppx-sexp-value): Rename to ocaml4.02-ppx-sexp-value.
(ocaml-ppx-pipebang): Rename to ocaml4.02-ppx-pipebang.
(ocaml-ppx-bin-prot): Rename to ocaml4.02-ppx-bin-prot.
(ocaml-ppx-fail): Rename to ocaml4.02-ppx-fail.
(ocaml-ppx-custom-printf): Rename to ocaml4.02-ppx-custom-printf.
(ocaml-ppx-sexp-message): Rename to ocaml4.02-ppx-sexp-message.
(ocaml-ppx-fields-conv): Rename to ocaml4.02-ppx-fields-conv.
(ocaml-re): Update to 1.8.0.
(ocaml-ppx-expect): Rename to ocaml4.02-ppx-expect.
(ocaml-ppx-jane): Rename to ocaml4.02-ppx-jane.
(ocaml-core-kernel): Rename to ocaml4.02-core-kernel.
(ocaml-async-kernel): Rename to ocaml4.02-async-kernel.
(ocaml-async-rpc-kernel): Rename to ocaml4.02-async-rpc-kernel.
(ocaml-core): Rename to ocaml4.02-core.
(ocaml-async-unix): Rename to ocaml4.02-async-unix.
(ocaml-async-extra): Rename to ocaml4.02-async-extra.
(ocaml-async): Rename to ocaml4.02-async.
(ocaml-ocplib-endian)[native-inputs]: Update to 1.0.
(ocaml-cstruct): Rename to ocaml4.02-cstruct.
(ocaml-hex): Rename to ocaml4.02-hex.
(ocaml-ezjsonm): Rename to ocaml4.02-ezjsonm.
(ocaml-uri): Rename to ocaml4.02-uri.
(optcomp): Use ocaml-4.02.
(ocaml-piqilib): Update to 0.6.14.
(ocaml-uuidm)[native-inputs]: Add ocamlbuild.
(ocaml-graph): Update to 1.8.8.
(ocaml-piqi): Update to 0.7.6.
(bap): Update to 1.3.0.
(ocaml-camomile): Update to 1.0.1.
(ocaml-jbuilder): Use ocaml-4.02.
(ocaml-lambda-term): Update to 1.13.
(ocaml-utop): Update to 2.2.0.
(ocaml-integers)[native-inputs]: Add ocamlbuild.
(ocaml-ctypes): Update to 0.14.0.
(ocaml-ocb-stubblr)[native-inputs]: Add ocamlbuild.
(ocaml-tsdl)[native-inputs]: Add ocamlbuild.
* gnu/packages/machine-learning.scm (ocaml-mcl): Use ocaml-4.02.
* gnu/packages/maths.scm (cubicle): Update to 1.1.2.
* gnu/packages/patches/ocaml-bisect-fix-camlp4-in-another-directory.patch:
Update patch.
* guix/build-system/ocaml.scm: (default-ocaml4.02, default-ocaml4.02-findlib)
(package-with-ocaml4.02, strip-ocaml4.02-variant): New variables.
2018-11-18 18:51:08 +01:00
..
aux-files
bootstrap
patches gnu: ocaml: Update to 4.7.0. 2018-11-18 18:51:08 +01:00
abduco.scm
abiword.scm
accessibility.scm
acct.scm
acl.scm
ada.scm
admin.scm gnu: sudo: Update to 1.8.26. 2018-11-14 21:05:30 +01:00
adns.scm
agda.scm
aidc.scm
algebra.scm gnu: Add cmh. 2018-11-16 09:06:31 +01:00
android.scm
animation.scm
anthy.scm
antivirus.scm gnu: Add ClamAV. 2018-11-17 00:20:44 -06:00
apl.scm
apr.scm
aspell.scm
assembly.scm
astronomy.scm
attr.scm
audio.scm llvm: Build with RTTI by default. 2018-11-17 00:19:53 -06:00
augeas.scm
authentication.scm
autogen.scm
autotools.scm
avahi.scm
avr.scm
axoloti.scm
backup.scm gnu: restic: Fix build phase. 2018-11-13 15:03:15 +03:00
base.scm
bash.scm
batik.scm
bdw-gc.scm
benchmark.scm
bioconductor.scm gnu: Add r-destiny. 2018-11-09 17:15:31 +01:00
bioinformatics.scm gnu: Add nanopolish. 2018-11-15 22:23:57 +01:00
bison.scm
bittorrent.scm
boost.scm
bootloaders.scm gnu: u-boot: Update to 2018.11. 2018-11-17 00:16:29 +01:00
bootstrap.scm
build-tools.scm
busybox.scm
c.scm gnu: pcc: Use INVOKE. 2018-11-08 10:08:09 +01:00
calcurse.scm
calendar.scm
ccache.scm
cdrom.scm
certs.scm
check.scm
chemistry.scm
chez.scm
ci.scm
cinnamon.scm
cluster.scm
cmake.scm
cobol.scm
code.scm
commencement.scm
compression.scm gnu: xdelta: Remove custom bootstrap phase. 2018-11-11 12:52:46 +01:00
compton.scm
conkeror.scm
conky.scm
connman.scm
cook.scm
cpio.scm
cpp.scm
cppi.scm
cran.scm gnu: Add r-ouch. 2018-11-14 15:13:20 +01:00
cross-base.scm
crypto.scm gnu: opendht: Remove custom bootstrap phase. 2018-11-11 10:21:02 +01:00
cryptsetup.scm
cups.scm
curl.scm
cyrus-sasl.scm
databases.scm gnu: PostgreSQL: Update to 10.6 [fixes CVE-2018-16850]. 2018-11-11 14:10:03 -05:00
datamash.scm
datastructures.scm gnu: Add marisa. 2018-11-10 23:33:46 +01:00
dav.scm
dc.scm
debian.scm
debug.scm
dejagnu.scm
dico.scm
dictionaries.scm
digest.scm
direct-connect.scm
disk.scm
display-managers.scm
django.scm
djvu.scm
dlang.scm
dns.scm
docbook.scm
docker.scm
documentation.scm
dunst.scm
dvtm.scm
ebook.scm
ed.scm
education.scm
electronics.scm
elf.scm
elixir.scm
emacs.scm gnu: emacs-realgud: Patch configure.ac to repair the build. 2018-11-15 22:42:35 -05:00
embedded.scm gnu: openocd: Use INVOKE. 2018-11-11 11:32:12 +01:00
emulators.scm
enchant.scm
engineering.scm
enlightenment.scm
entr.scm
erlang.scm
fabric-management.scm
fcitx.scm
figlet.scm
file-systems.scm
file.scm
finance.scm
firmware.scm
flashing-tools.scm
flex.scm
fltk.scm
fonts.scm
fontutils.scm
forth.scm
fpga.scm
freedesktop.scm
freeipmi.scm
fribidi.scm
ftp.scm
fvwm.scm
game-development.scm gnu: tiled: Update to 1.2.1. 2018-11-16 10:34:29 -05:00
games.scm
gawk.scm
gcal.scm
gcc.scm
gd.scm
gdb.scm
geo.scm gnu: r-rgooglemaps: Update to 1.4.3. 2018-11-09 19:41:53 +01:00
gettext.scm
ghostscript.scm
gimp.scm
gkrellm.scm
gl.scm gnu: mesa: Stay on RTTI-less LLVM. 2018-11-17 22:54:03 +01:00
glib.scm
gnome.scm
gnu-doc.scm
gnu-pw-mgr.scm
gnucash.scm
gnunet.scm
gnupg.scm
gnustep.scm gnu: wmclock: Remove custom bootstrap phase. 2018-11-10 23:42:54 +01:00
gnuzilla.scm gnu: icecat: Add more fixes from mozilla-esr60. 2018-11-10 20:29:19 -05:00
gobby.scm
golang.scm gnu: go-github-com-aarzilli-golua: Fix for go-1.11. 2018-11-12 10:31:23 +01:00
gperf.scm
gprolog.scm
gps.scm
graph.scm
graphics.scm
graphviz.scm
groff.scm
groovy.scm
gsasl.scm
gstreamer.scm
gtk.scm gnu: gtk-doc: Use local docbook-xsl. 2018-11-11 16:41:45 +01:00
guile-wm.scm
guile.scm guile: newt: Update revision to 2. 2018-11-16 17:42:07 +09:00
gv.scm
gxmessage.scm
ham-radio.scm
hardware.scm
haskell-check.scm
haskell-crypto.scm
haskell-web.scm
haskell.scm
hexedit.scm
hugs.scm
hurd.scm
ibus.scm gnu: ibus-rime: Fetch sources from git. 2018-11-11 10:03:06 +01:00
icu4c.scm
idris.scm
idutils.scm
image-processing.scm
image-viewers.scm gnu: feh: Update to 3.0. 2018-11-14 21:05:30 +01:00
image.scm
imagemagick.scm gnu: ImageMagick: Update to 6.9.10-14. 2018-11-14 03:09:37 +08:00
inklingreader.scm
inkscape.scm
ipfs.scm
irc.scm
iso-codes.scm
java.scm
javascript.scm
jemalloc.scm
jrnl.scm
julia.scm
kde-frameworks.scm
kde.scm
kerberos.scm
key-mon.scm
kodi.scm gnu: kodi: Update to 18.0b5. 2018-11-08 12:01:24 +02:00
language.scm
ld-wrapper.in
lego.scm
less.scm
lesstif.scm
libbsd.scm
libcanberra.scm
libdaemon.scm
libedit.scm
libevent.scm
libffcall.scm
libffi.scm
libftdi.scm
libidn.scm
libphidget.scm
libreoffice.scm
libsigsegv.scm
libunistring.scm
libunwind.scm
libusb.scm
license.scm
lighting.scm
linux.scm gnu: linux-libre: Update to 4.19.2. 2018-11-14 19:16:24 -05:00
lirc.scm
lisp.scm gnu: ccl: Include x86-headers and remove missing "contrib" folder. 2018-11-18 10:39:47 +01:00
llvm.scm gnu: mesa: Stay on RTTI-less LLVM. 2018-11-17 22:54:03 +01:00
logging.scm
lolcode.scm
lout.scm
lsof.scm
lua.scm
lxde.scm gnu: lxsession: Remove custom bootstrap phase. 2018-11-11 10:16:43 +01:00
lxqt.scm
m4.scm
machine-learning.scm gnu: ocaml: Update to 4.7.0. 2018-11-18 18:51:08 +01:00
mail.scm gnu: mumi: Update to 0.0.0-2.bfd96ce7. 2018-11-11 20:51:51 +01:00
make-bootstrap.scm
man.scm
markup.scm
marst.scm
mate.scm
maths.scm gnu: ocaml: Update to 4.7.0. 2018-11-18 18:51:08 +01:00
maven.scm
mc.scm
mcrypt.scm
medical.scm
mes.scm
messaging.scm gnu: c-toxcore: Fetch sources from git. 2018-11-13 10:51:41 +01:00
microcom.scm
mingw.scm
moe.scm
monitoring.scm
mono.scm
moreutils.scm
motti.scm
mp3.scm
mpd.scm
mpi.scm gnu: Add python-mpi4py. 2018-11-14 21:34:08 +01:00
mtools.scm gnu: mtools: Update to 4.0.20. 2018-11-14 21:05:30 +01:00
multiprecision.scm gnu: Add TomsFastMath. 2018-11-17 00:20:44 -06:00
music.scm gnu: schismtracker: Remove custom bootstrap phase. 2018-11-11 12:19:23 +01:00
musl.scm
nano.scm gnu: nano: Update to 3.2. 2018-11-14 21:05:30 +01:00
ncdu.scm
ncurses.scm
netpbm.scm
nettle.scm
networking.scm
nfs.scm
nickle.scm
nim.scm
ninja.scm
node.scm
noweb.scm
ntp.scm
nutrition.scm
nvi.scm
ocaml.scm gnu: ocaml: Update to 4.7.0. 2018-11-18 18:51:08 +01:00
ocr.scm
onc-rpc.scm
openbox.scm
opencl.scm
openldap.scm
openstack.scm
orpheus.scm
ots.scm
package-management.scm gnu: guix-daemon: Install 'guix-authenticate'. 2018-11-14 21:34:08 +01:00
parallel.scm
password-utils.scm
patchutils.scm
pciutils.scm
pcre.scm
pdf.scm gnu: Poppler: Fix CVE-2018-19149. 2018-11-13 11:28:23 -05:00
pem.scm
perl-check.scm
perl-web.scm
perl.scm gnu: perl-autovivification: Update to 0.18. 2018-11-11 08:21:59 +02:00
photo.scm
php.scm gnu: php: Update to 7.2.12. 2018-11-12 23:57:42 +01:00
pkg-config.scm
plotutils.scm
polkit.scm
popt.scm
pretty-print.scm
printers.scm
profiling.scm
protobuf.scm
pth.scm
pulseaudio.scm
pumpio.scm
pure.scm
pv.scm
python-crypto.scm
python-web.scm
python.scm gnu: Add python-precis-i18n. 2018-11-11 15:58:50 +01:00
qt.scm
ragel.scm
rails.scm
ratpoison.scm
rdesktop.scm
rdf.scm gnu: lrdf: Replace bootstrap phase. 2018-11-11 11:22:22 +01:00
re2c.scm
readline.scm
regex.scm
robotics.scm
rrdtool.scm
rsync.scm
ruby.scm
rush.scm
rust.scm
samba.scm gnu: cifs-utils: Remove autoreconf phase. 2018-11-11 13:08:56 +01:00
sawfish.scm
scanner.scm
scheme.scm
screen.scm
scribus.scm
scsi.scm
sdcc.scm
sdl.scm
search.scm
security-token.scm
selinux.scm
serialization.scm gnu: msgpack: Remove custom bootstrap phase. 2018-11-10 23:30:52 +01:00
serveez.scm
shells.scm gnu: scsh: Remove custom bootstrap phase. 2018-11-11 12:56:22 +01:00
shellutils.scm gnu: direnv: Build with Go 1.9. 2018-11-13 11:28:23 -05:00
simh.scm
simulation.scm gnu: Add fenics. 2018-11-14 21:34:09 +01:00
skarnet.scm
skribilo.scm
slang.scm
smalltalk.scm
sml.scm
speech.scm
spice.scm gnu: spice-vdagent: Fix typo in desktop file. 2018-11-13 15:26:30 -05:00
ssh.scm gnu: libssh: Fetch source over HTTPS. 2018-11-13 11:43:35 -05:00
sssd.scm
stalonetray.scm
statistics.scm gnu: Add jags. 2018-11-14 15:13:17 +01:00
stb.scm
storage.scm
suckless.scm
swig.scm
sync.scm
syncthing.scm gnu: go-gopkg.in-asn1-ber.v1: Fix tests for go-1.11. 2018-11-12 10:29:43 +01:00
syndication.scm
synergy.scm
task-management.scm
tbb.scm
tcl.scm
telephony.scm gnu: libiax2: Fetch sources from git. 2018-11-11 13:06:31 +01:00
terminals.scm
terraform.scm
tex.scm
texinfo.scm
text-editors.scm
textutils.scm gnu: dotconf: Fetch sources from git. 2018-11-11 11:37:01 +01:00
time.scm
tls.scm gnu: certbot, python-acme: Update to 0.28.0. 2018-11-13 10:10:42 -05:00
tmux.scm
tor.scm gnu: privoxy: Remove custom bootstrap phase. 2018-11-11 13:10:56 +01:00
toys.scm
tryton.scm
tv.scm
uml.scm
unrtf.scm
upnp.scm
uucp.scm
valgrind.scm
version-control.scm gnu: Add git-when-merged. 2018-11-16 23:11:40 +01:00
video.scm gnu: youtube-dl: Update to 2018.11.07. 2018-11-12 22:09:12 +05:30
vim.scm gnu: vifm: Update to 0.10. 2018-11-12 12:37:00 +02:00
virtualization.scm
vpn.scm
vulkan.scm
w3m.scm
wdiff.scm
web-browsers.scm
web.scm gnu: hpcguix-web: Do not re-bootstrap. 2018-11-11 12:27:01 +01:00
webkit.scm gnu: webkitgtk@2.22: Adjust to documentation output. 2018-11-11 22:47:06 +01:00
wget.scm
wicd.scm
wine.scm gnu: wine-staging: Update to 3.20. 2018-11-13 10:24:42 +01:00
wm.scm
wordnet.scm
wv.scm
wxwidgets.scm
xdisorg.scm gnu: nxbelld: Remove custom bootstrap phase. 2018-11-10 23:42:54 +01:00
xfce.scm
xfig.scm
xiph.scm
xml.scm gnu: Add xmlrpc-c. 2018-11-09 11:55:08 +01:00
xnee.scm
xorg.scm gnu: xf86-video-r128: Update to 6.12.0. 2018-11-14 21:05:30 +01:00
zile.scm