Commit Graph

7559 Commits

Author SHA1 Message Date
Christopher Allan Webber 16c84f9031 gnu: Add python2-execnet.
* gnu/packages/python.scm (python2-execnet): New variable.
2016-02-21 18:59:30 -08:00
Christopher Allan Webber e08739c3c6 gnu: Add python2-apipkg.
* gnu/packages/python.scm (python2-apipkg): New variable.
2016-02-21 18:59:30 -08:00
Christopher Allan Webber af5a460222 gnu: Add python-alembic.
* gnu/packages/python.scm (python-alembic, python2-alembic): New variables.
2016-02-21 18:59:29 -08:00
Ludovic Courtès 95001d4b46 download: Add 'url-fetch/tarbomb'.
Suggested by Federico Beffa.
Fixes <http://bugs.gnu.org/22676>.
Reported by Danny Milosavljevic <dannym@scratchpost.org>.

* gnu/packages/engineering.scm (broken-tarball-fetch): Remove.
(fastcap)[source](method): Use URL-FETCH/TARBOMB instead.
* gnu/packages/scheme.scm (broken-tarball-fetch): Remove.
(scmutils)[source](method): Use URL-FETCH/TARBOMB instead.
* guix/download.scm (url-fetch/tarbomb): New procedure, renamed from
'broken-tarball-fetch'.
2016-02-22 00:36:24 +01:00
Andy Wingo d5df6fc755 gnu: icu4c: Fetch from sourceforge.
* gnu/packages/icu4c.scm (icu4c): Download via sourceforge mirrors.  The
  previous URL,
  http://download.icu-project.org/files/icu4c/55.1/icu4c-55_1-src.tgz,
  redirects to sourceforge, which then fails because that redirects to
  https and as the original URL didn't start with HTTPS, gnutls wasn't
  included in the downloader.
2016-02-21 21:21:09 +01:00
Andy Wingo 5cc3096c73 Update all sources from freedesktop.org to use https
* gnu/packages/xorg.scm:
* gnu/packages/xdisorg.scm:
* gnu/packages/video.scm:
* gnu/packages/tls.scm:
* gnu/packages/python.scm:
* gnu/packages/pulseaudio.scm:
* gnu/packages/polkit.scm:
* gnu/packages/pdf.scm:
* gnu/packages/libcanberra.scm:
* gnu/packages/gtk.scm:
* gnu/packages/gstreamer.scm:
* gnu/packages/gnome.scm:
* gnu/packages/glib.scm:
* gnu/packages/ghostscript.scm:
* gnu/packages/freedesktop.scm:
* gnu/packages/fontutils.scm: Update all sources hosted on freedesktop
  to fetch tarballs via https.  freedesktop.org appears to have updated
  recently to redirect all http to https.  As an exception, we leave
  pkg-config like it is, because pkg-config is needed to build gnutls,
  and without gnutls we can't download https URLs.
2016-02-21 21:11:49 +01:00
Efraim Flashner 466a7d706d gnu: libx264: Update to 20160220-2245.
* gnu/packages/video.scm (libx264): Update to 20160220-2245.
2016-02-21 16:16:54 +02:00
Efraim Flashner 62fe2d4752 gnu: xvid: Use 'modify-phases'.
* gnu/packages/video.scm (xvid)[arguments]: Use 'modify-phases'.
2016-02-21 16:16:54 +02:00
Efraim Flashner e05035c70d gnu: xvid: Update to 1.3.4.
* gnu/packages/video.scm (xvid): Update to 1.3.4.
2016-02-21 16:16:54 +02:00
Ludovic Courtès 5c7dd5ac3a linux-modules: Use normalized module names for 'modprobe.blacklist'.
* gnu/build/linux-modules.scm (normalize-module-name): New procedure.
(file-name->module-name): Use it.
(module-black-list): Expound docstring.
2016-02-21 13:04:10 +01:00
Mark H Weaver 57a41bfb3c gnu: linux-libre: Update to 4.4.2.
* gnu/packages/linux.scm (linux-libre): Update to 4.4.2.
2016-02-21 03:05:24 -05:00
Leo Famulari 9eb05bc381 gnu: python-enum34: Remove python-setuptools from inputs.
* gnu/packages/python.scm (python-enum34)[inputs]: Remove
python-setuptools.
2016-02-21 02:46:23 -05:00
Leo Famulari 68f1cdecf1 gnu: Don't use python-enum34 when building with python-3.4.
* gnu/packages/docker.scm (docker-compose)[inputs]: Remove python-enum34.
* gnu/packages/python.scm (python-parse-type)[inputs]: Likewise.
(behave)[inputs]: Likewise.
(python-cryptography)[propagated-inputs]: Likewise.
(python2-cryptography)[propagated-inputs]: Add python2-enum34.
2016-02-21 02:46:23 -05:00
Leo Famulari 820acd1bc3 gnu: Add python2-enum34.
* gnu/packages/python.scm (python2-enum34): New variable.
2016-02-21 02:46:23 -05:00
Leo Famulari d39ae1e5c6 gnu: python-enum34: Update to 1.1.0.
* gnu/packages/python.scm (python-enum34): Update to 1.1.0.
[source]: Use pypi-uri.
2016-02-21 02:46:23 -05:00
Leo Famulari 7bac09f45a gnu: dvtm: Update to 0.15.
* gnu/packages/dvtm.scm (dvtm): Update to 0.15.
2016-02-21 02:04:59 -05:00
Leo Famulari b860bbd9ee gnu: abduco: Update to 0.5.
* gnu/packages/abduco.scm (abduco): Update to 0.5.
2016-02-21 02:04:10 -05:00
Mark H Weaver 065932966f Revert "gnu: coreutils: Update URI for tail-inotify-race.patch."
This reverts commit 1a51cbc825.
2016-02-20 19:58:19 -05:00
Mark H Weaver 1f7309a6d1 gnu: dmd: Update URI of dmd-user-group.patch.
* gnu/packages/admin.scm (dmd)[source]: Update URI of patch.
2016-02-20 18:41:34 -05:00
Mark H Weaver 1a51cbc825 gnu: coreutils: Update URI for tail-inotify-race.patch.
* gnu/packages/base.scm (coreutils)[source]: Update URI of patch.
2016-02-20 18:41:34 -05:00
Ricardo Wurmus eeabe5a186 gnu: wine: Update to 1.9.4.
* gnu/packages/wine.scm (wine): Update to 1.9.4.
[origin]: Remove snippet.
[arguments]: Set SHELL with make-flags.
2016-02-20 22:38:33 +01:00
宋文武 56f5f921b4 gnu: nix: Update to 1.11.2.
* gnu/packages/package-management.scm (nix): Update to 1.11.2.
2016-02-20 18:22:26 +08:00
Roel Janssen 6ef0ec7600 gnu: Add libotf.
* gnu/packages/fontutils.scm (libotf): New variable.
2016-02-20 08:41:51 +08:00
Leo Famulari 4e58a402ff gnu: cpio: Add fix for CVE-2016-2037.
* gnu/packages/patches/cpio-CVE-2016-2037.patch: New file.
* gnu-system.am (dist_patch_DATA): Add it.
* gnu/packages/cpio.scm (cpio)[source]: Add patch.
2016-02-19 18:04:15 -05:00
Leo Famulari 6399941555 gnu: rxvt-unicode: Update source URL.
* gnu/packages/xdisorg.scm (rxvt-unicode)[source]: Update URL.
2016-02-19 01:49:30 -05:00
Mark H Weaver 3729ff4183 gnu: glibc: Add fix for CVE-2015-7547.
* gnu/packages/patches/glibc-CVE-2015-7547.patch: New file.
* gnu-system.am (dist_patch_DATA): Add it.
* gnu/packages/base.scm (glibc)[source]: Add patch.
2016-02-19 00:42:10 -05:00
Christopher Baines 1c7f1fb133 gnu: Add perl-shell-command.
* gnu/packages/perl.scm (perl-shell-command): New variable.

Signed-off-by: Andreas Enge <andreas@enge.fr>
2016-02-18 21:16:25 +01:00
Alex Sassmannshausen 3c98acb79b gnu: guile-config: Update to 0.1.1.
* gnu/packages/guile.scm (guile-config): Update to 0.1.1.

Signed-off-by: Andreas Enge <andreas@enge.fr>
2016-02-18 20:40:12 +01:00
Efraim Flashner c8732e192e gnu: gccgo: Update to 4.9.
* gnu/packages/gcc.scm (gccgo): Update to 4.9.
2016-02-18 20:52:02 +02:00
Efraim Flashner 2a817081e2 gnu: aria2: Update to 1.20.0.
* gnu/packages/bittorrent.scm (aria2): Update to 1.20.0.
2016-02-18 19:47:49 +02:00
Efraim Flashner 723a6910ca gnu: glpk: Update to 4.58.
* gnu/packages/maths.scm (glpk): Update to 4.58.
2016-02-18 15:35:28 +02:00
Efraim Flashner f6b1a8f7be gnu: ykclient: Update to 2.15.
* gnu/packages/yubico.scm (ykclient): Update to 2.15.
2016-02-18 11:47:19 +02:00
Efraim Flashner 58c5fb76f5 gnu: libyubikey: Update to 1.13.
* gnu/packages/yubico.scm (libyubikey): Update to 1.13.
2016-02-18 11:47:19 +02:00
Efraim Flashner e095be68dd gnu: yasm: Update to 1.3.0.
* gnu/packages/yasm.scm (yasm): Update to 1.3.0.
2016-02-18 11:47:19 +02:00
宋文武 83f64925ae gnu: retroarch: Update to 1.3.1.
* gnu/packages/games.scm (retroarch): Update to 1.3.1.
2016-02-18 17:32:51 +08:00
Nils Gillmann e11d14fe55 gnu: Add emacs-popup.
* gnu/packages/emacs.scm (emacs-popup): New variable.

Signed-off-by: Alex Kost <alezost@gmail.com>
2016-02-18 11:59:03 +03:00
Rene Saavedra fdba447c62 gnu: Add gnome-backgrounds.
* gnu/packages/gnome.scm (gnome-backgrounds): New variable.

Signed-off-by: Alex Kost <alezost@gmail.com>
2016-02-18 11:59:03 +03:00
Alex Kost 5dccaffe64 system: Add iproute to '%base-packages'.
* gnu/system.scm (%base-packages): Add iproute.
2016-02-18 11:59:03 +03:00
Leo Famulari 42e92e069a gnu: letsencrypt and python-acme: Update to 0.4.0.
These packages should be updated together.

* gnu/packages/tls.scm (letsencrypt): Update to 0.4.0.
(python-acme, python2-acme): Update to 0.4.0.
2016-02-17 22:43:08 -05:00
David Thompson 50aaec25ca gnu: Add python-mako.
* gnu/packages/python.scm (python-mako, python2-mako): New variables.
2016-02-17 21:21:47 -05:00
Efraim Flashner 373dfe64a3 gnu: moe: Update to 1.8.
* gnu/packages/moe.scm (moe): Update to 1.8.
2016-02-17 16:25:46 +02:00
宋文武 972f4e5082 gnu: gnunet: Install NSS module.
* gnu/packages/gnunet.scm (gnunet)[arguments]: Pass '--with-nssdir'.
2016-02-17 20:57:55 +08:00
宋文武 dc05025165 gnu: Add gnome.
* gnu/packages/gnome.scm (gnome): New variable.
2016-02-17 20:57:55 +08:00
Fabian Harfert 7af1ca29f4 gnu: Add mate-menus.
* gnu/packages/mate.scm (mate-menus): New variable.
2016-02-17 13:39:41 +02:00
Fabian Harfert f2c7369abc gnu: Add libmateweather.
* gnu/packages/mate.scm (libmateweather): New variable.
2016-02-17 13:39:41 +02:00
Fabian Harfert 4b48a9fee0 gnu: Add mate-desktop.
* gnu/packages/mate.scm (mate-desktop): New variable.
2016-02-17 13:39:40 +02:00
Fabian Harfert cbfe494dd7 gnu: Add mate-themes.
* gnu/packages/mate.scm (mate-themes): New variable.
2016-02-17 12:14:02 +02:00
Fabian Harfert bb2fe79e6e gnu: Add mate-icon-theme.
* gnu/packages/mate.scm: New file.
* gnu-system.am (GNU_SYSTEM_MODULES): Add it.
* gnu/packages/mate.scm (mate-icon-theme): New variable.
2016-02-17 12:14:02 +02:00
Alex Sassmannshausen 44a2bdf8e7 gnu: Add guile-config.
* gnu/packages/guile.scm (guile-config): New variable.
2016-02-16 11:24:08 -08:00
Efraim Flashner 1486d67ee8 gnu: qrencode: Update to 3.4.4.
* gnu/packages/aidc.scm (qrencode): Update to 3.4.4.
2016-02-16 19:28:00 +02:00
Andreas Enge 9bd9486df4 gnu: pari-gp: Build documentation.
* gnu/packages/algebra.scm (pari-gp)[native-inputs]: Add texlive-minimal.
  [arguments]: Modify make-flags to build documentation.
2016-02-16 17:11:28 +01:00
Andreas Enge 6b5eb8406c gnu: Add texlive-minimal.
* gnu/packages/texlive.scm (texlive-texmf-minimal, texlive-minimal):
  New variables.
2016-02-16 16:44:36 +01:00
Efraim Flashner b736776255 gnu: hydrogen: Update to 0.9.6.1.
* gnu/packages/music.scm (hydrogen): Update to 0.9.6.1.
[build-system]: Switch to cmake-build-system.
[arguments]: Enable configure and tests, remove custom phases.
[native-inputs]: Remove python-2, scons. Add cppunit.
[inputs]: Add libarchive, lrdf.
2016-02-16 17:24:45 +02:00
Ricardo Wurmus 578b05d99e gnu: htseq: Add PySam to inputs.
* gnu/packages/bioinformatics.scm (htseq)[inputs]: Add "python2-pysam".
2016-02-16 15:32:15 +01:00
Ricardo Wurmus d15d981ea2 gnu: Add StringTie.
* gnu/packages/bioinformatics.scm (stringtie): New variable.
2016-02-16 14:51:10 +01:00
Ricardo Wurmus 469d6589e3 gnu: Add Augeas.
* gnu/packages/augeas.scm: New file.
* gnu-system.am (GNU_SYSTEM_MODULES): Add it.
2016-02-16 14:41:25 +01:00
Efraim Flashner c5a6e33b56 gnu: gpsbabel: Use 'modify-phases'.
* gnu/packages/gps.scm (gpsbabel)[arguments]: Use 'modify-phases'.
2016-02-16 12:13:01 +02:00
Efraim Flashner 6f1c3b806a gnu: gpsbabel: Update to 1.5.2.
* gnu/packages/gps.scm (gpsbabel): Update to 1.5.2.
[inputs]: Remove qt-4, add qt.
2016-02-16 11:10:45 +02:00
Efraim Flashner d694230abe gnu: librecad: Use 'modify-phases'.
* gnu/packages/engineering.scm (librecad)[arguments]: Use 'modify-phases'.
2016-02-16 09:30:40 +02:00
Efraim Flashner d8a4b93253 gnu: librecad: Update to 2.0.9.
* gnu/packages/engineering.scm (librecad): Update to 2.0.9.
[inputs]: Use qt instead of qt-4.
2016-02-16 08:53:18 +02:00
Leo Famulari d4e21fbbe0 gnu: iftop: Fix license.
* gnu/packages/admin.scm (iftop)[license]: Correct 'gpl3' to 'gpl2+'.
2016-02-15 21:37:07 -05:00
Leo Famulari 6ac2af78e0 gnu: shntool: Fix license.
* gnu/packages/audio.scm (shntool)[license]: Correct 'gpl3+' to 'gpl2+'
and add 'x11'.
2016-02-15 21:36:46 -05:00
Leo Famulari 8763fdf8a5 gnu: pioneers: Fix license.
* gnu/packages/games.scm (pioneers)[license]: Correct 'gpl3+' to 'gpl2+'.
2016-02-15 21:14:18 -05:00
Rodger Fox 7e2e115501 gnu: Add pioneers.
* gnu/packages/games.scm (pioneers): New variable.

Signed-off-by: Leo Famulari <leo@famulari.name>
2016-02-15 20:12:08 -05:00
Leo Famulari be6f30047e gnu: vdirsyncer: Update to 0.9.0.
* gnu/packages/dav.scm (vdirsyncer): Update to 0.9.0.
2016-02-15 18:48:36 -05:00
Leo Famulari a9da8fec62 gnu: python-click-log: Update to 0.1.3.
* gnu/packages/python.scm (python-click-log): Update to 0.1.3.
2016-02-15 18:48:36 -05:00
Leo Famulari c834cf82b6 gnu: python-atomicwrites: Update to 0.1.9.
* gnu/packages/python.scm (python-atomicwrites): Update to 0.1.9.
2016-02-15 18:48:36 -05:00
Leo Famulari 97bbc48023 gnu: python-lxml: Update to 3.5.0.
* gnu/packages/python.scm (python-lxml, python2-lxml): Update to 3.5.0.
[source]: Use pypi-uri.
2016-02-15 18:48:36 -05:00
Tobias Geerinckx-Rice 85a94d296e gnu: redshift: Update to 1.11.
* gnu/packages/xdisorg.scm (redshift): Update to 1.11.
2016-02-15 23:37:21 +01:00
Christopher Allan Webber a4ba286baf gnu: python-sqlalchemy: Update to 1.0.12.
* gnu/packages/python.scm (python-sqlalchemy): Update to 1.0.12.
2016-02-15 14:02:06 -08:00
Pjotr Prins 552f5c009e gnu: Add slurm.
* gnu/packages/parallel.scm (slurm): New variable.
* gnu/packages/patches/slurm-configure-remove-nonfree-contribs.patch:
  New file.
* gnu-system.am (dist_patch_DATA): Add it.
* gnu/packages/parallel.scm: Introduce license name space.

Co-authored-by: Andreas Enge <andreas@enge.fr>
2016-02-15 22:47:47 +01:00
Ben Woodcroft e70f7a2306 gnu: prodigal: Update to 2.6.3.
* gnu/packages/bioinformatics.scm (prodigal): Update to 2.6.3.
2016-02-16 07:18:59 +10:00
Efraim Flashner 7fe8ad7616 gnu: polkit-qt: Build with qt-5.
*gnu/packages/polkit.scm (polkit-qt)[propagated-inputs]: Use qt.
2016-02-15 20:22:28 +02:00
Efraim Flashner d1cba090a8 gnu: bazaar: Update to 2.7.0.
* gnu/packages/version-control.scm (bazaar): Update to 2.7.0.
2016-02-15 19:53:27 +02:00
Ricardo Wurmus 258c0a365e gnu: r-annotationdbi: Update to 1.32.3.
* gnu/packages/bioinformatics.scm (r-annotationdbi): Update to 1.32.3.
2016-02-15 16:11:22 +01:00
Ricardo Wurmus 3d7a157c62 gnu: Add audit.
* gnu/packages/admin.scm (audit): New variable.
2016-02-15 16:06:09 +01:00
Efraim Flashner fdc1b2fd65 gnu: vera: Update to 1.23.
* gnu/packages/dictionaries.scm (vera): Update to 1.23.
2016-02-15 15:49:13 +02:00
Efraim Flashner e0ef3708f7 gnu: nano: Update to 2.5.2.
* gnu/packages/nano.scm (nano): Update to 2.5.2.
2016-02-15 15:49:13 +02:00
Efraim Flashner 4bc0c634b3 gnu: bitcoin-core: Update to 0.11.2.
* gnu/packages/finance.scm (bitcoin-core): Update to 0.11.2.
[native-inputs]: Use python-2 instead of python-wrapper.
2016-02-15 15:46:00 +02:00
Efraim Flashner 87062f75e4 gnu: owncloud-client: Update to 2.1.1.
* gnu/packages/owncloud.scm (owncloud-client): Update to 2.1.1.
2016-02-15 15:46:00 +02:00
Ben Woodcroft cf6edaba74 gnu: vsearch: Update to 1.10.0.
* gnu/packages/bioinformatics.scm (vsearch): Update to 1.10.0.
[origin]: Adapt to changes in bundling of cityhash.
2016-02-15 22:54:25 +10:00
Ben Woodcroft a64a8c465d gnu: cityhash: Install citycrc.h.
* gnu/packages/textutils.scm (cityhash)[arguments]: Install citycrc.h.
[version]: Use standardised format, increment to 1.1-2.
2016-02-15 22:54:12 +10:00
Mark H Weaver e86409c566 gnu: graphite2: Update to 1.3.5. Update home-page and source URI.
* gnu/packages/fontutils.scm (graphite2): Update to 1.3.5.
  [source, home-page]: Update to reflect upstream move to github.
2016-02-15 02:51:35 -05:00
Mark H Weaver 4373278ea5 gnu: libsndfile: Update to 1.0.26 [with follow-up fix CVE-2015-7805].
Note: The previous fix for CVE-2015-7805 was incomplete.

* gnu/packages/patches/libsndfile-CVE-2014-9496.patch,
  gnu/packages/patches/libsndfile-CVE-2015-7805.patch: Delete files.
* gnu-system.am (dist_patch_DATA): Remove them.
* gnu/packages/pulseaudio.scm (libsndfile): Update to 1.0.26.
  [source]: Remove patches.
2016-02-15 02:51:35 -05:00
Christopher Allan Webber ea79dbb240 gnu: libgcrypt: Update to 1.6.5 [fixes CVE-2015-7511].
* gnu/packages/gnupg.scm (libgcrypt): Update to 1.6.5.
2016-02-15 02:51:35 -05:00
Leo Famulari 68bcac6b62 gnu: btrfs-progs: Fix license.
Reported by Tobias Geerinckx-Rice <tobias.geerinckx.rice@gmail.com>

* gnu/packages/linux.scm (btrfs-progs)[license]: Add GPL2 to list of licenses.
2016-02-14 21:04:05 -05:00
Nils Gillmann acb381566c gnu: font-terminus: Update to 4.40
* gnu/packages/fonts.scm (font-terminus): Update to 4.40.

Signed-off-by: Leo Famulari <leo@famulari.name>
2016-02-14 20:46:49 -05:00
Andreas Enge b6b07d9de3 gnu: python-ly: Update to 0.9.3.
* gnu/packages/python.scm (python-ly): Update to 0.9.3.
2016-02-14 21:49:56 +01:00
Mark H Weaver b042bdc8fd gnu: lxqt: Update source URLs to use HTTPS.
* gnu/packages/lxqt.scm (libqtxdg, liblxqt, lxqt-common)
  (lxqt-session)[source]: Use HTTPS URLs.
2016-02-14 08:48:13 -05:00
Efraim Flashner 38b209110e gnu: openbox: Update to 3.6.1.
* gnu/packages/openbox.scm (openbox): Update to 3.6.1.
2016-02-14 09:51:47 +02:00
Efraim Flashner 8826fb241e gnu: postgresql: Update to 9.3.11. [fixes CVE-2015-{5288,5289},CVE-2016-{0766,0773}]
* gnu/packages/databases.scm (postgresql): Update to 9.3.11.
2016-02-14 09:34:27 +02:00
Jochem Raat 3c697ffda3 gnu: Add baobab.
* gnu/packages/gnome.scm (baobab): New variable.
2016-02-13 21:09:42 -05:00
Al McElrath aa0edd3f5b gnu: Add pianobar.
* gnu/packages/music.scm (pianobar): New variable.

Signed-off-by: Leo Famulari <leo@famulari.name>
2016-02-13 18:40:04 -05:00
Christopher Allan Webber cb34dc6c3e gnu: Add python-wtforms
* gnu/packages/python.scm (python-wtforms, python2-wtforms): New variables.
2016-02-13 15:03:10 -08:00
Alex Kost 75cd4b053e gnu: iproute: Update to 4.4.0.
* gnu/packages/linux.scm (iproute): Update to 4.4.0.
2016-02-13 20:39:34 +03:00
Alex Kost b53e44fb4e gnu: iproute: Use 'modify-phases'.
* gnu/packages/linux.scm (iproute)[arguments]: Use 'modify-phases'.
2016-02-13 20:39:34 +03:00
Andreas Enge a42d99f284 gnu: calibre: Update to 2.51.0.
* gnu/packages/ebook.scm (calibre): Update to 2.51.0.
2016-02-13 14:34:50 +01:00
Andreas Enge ec4130b7e7 gnu: gnuplot: Update to 5.0.2.
* gnu/packages/maths.scm (gnuplot): Update to 5.0.2.
2016-02-13 13:37:49 +01:00
Jan Nieuwenhuizen 8c1088bb0f gnu: lablgtk: Build cmxa libraries.
* gnu/packages/ocaml.scm (lablgtk)[arguments]: Add the make target "opt"
  to also build *.cmxa files.
2016-02-13 09:23:20 +01:00
Jan Nieuwenhuizen 6372e336a2 gnu: ocaml: Set search path.
* gnu/packages/ocaml.scm (ocaml): Register OCAMLPATH as a search path.
2016-02-13 09:21:58 +01:00