guix-play/gnu/packages
Julien Lepiller e0ddaa8be3
gnu: camlp4: Compile native version.
* gnu/packages/ocaml.scm (camlp4)[arguments]: Disable parallel-build.
  Change default target to "all" to compile native and byte version.

Signed-off-by: David Craven <david@craven.ch>
2017-01-04 16:03:16 +01:00
..
bootstrap
patches gnu: ocaml: Add a .file directive to generated .s files. 2017-01-04 16:02:38 +01:00
abduco.scm
abiword.scm
acct.scm
acl.scm
admin.scm gnu: Use HTTPS for all sourceforge.net home pages. 2017-01-04 05:14:22 +01:00
adns.scm
aidc.scm
algebra.scm gnu: fftw: Factorize creation of the --enable-threads variant. 2017-01-02 14:54:24 +01:00
animation.scm
anthy.scm
apl.scm
apr.scm
aspell.scm gnu: Add Ancient Greek Aspell dictionary. 2016-12-20 05:36:57 +01:00
assembly.scm gnu: nasm: Update to 2.12.02. 2016-12-01 10:50:46 +02:00
astronomy.scm
attr.scm
audacity.scm
audio.scm gnu: bs1770gain: Update to 0.4.12. 2017-01-03 23:39:22 -05:00
augeas.scm
autogen.scm
autotools.scm
avahi.scm
avr.scm
backup.scm gnu: Add wimlib. 2017-01-04 05:14:22 +01:00
base.scm gnu: glibc-hurd: Disable werror. 2017-01-03 16:00:43 +02:00
bash.scm
bdw-gc.scm
benchmark.scm
bioinformatics.scm gnu: Use HTTPS for all sourceforge.net home pages. 2017-01-04 05:14:22 +01:00
bison.scm
bittorrent.scm gnu: Add mktorrent. 2016-12-05 20:33:30 +01:00
boost.scm gnu: mdds: Replace dead Google Code home-page. 2016-12-14 21:59:40 +01:00
bootstrap.scm gnu: Add dummy linker for propeller-elf. 2017-01-01 13:56:27 +01:00
busybox.scm gnu: busybox: Update to 1.26.0. 2016-12-25 01:47:22 +02:00
c.scm
calcurse.scm
calendar.scm gnu: khal: Fix build. 2016-11-15 22:31:59 +01:00
ccache.scm
cdrom.scm gnu: Add ripit. 2016-12-26 12:58:29 +01:00
certs.scm Revert "gnu: nss, nss-certs: Update to 3.27.2." 2016-12-20 14:35:21 -05:00
check.scm gnu: cppcheck: Update to 1.76.1. 2016-12-20 05:36:58 +01:00
chez.scm gnu: chez.scm: Add '#:use-module srfi srfi-1'. 2016-11-23 12:42:36 +02:00
ci.scm gnu: cuirass: Make sure 'cuirass' has 'evaluate' in $PATH. 2016-12-20 10:27:08 +01:00
cmake.scm
code.scm gnu: global: Update to 6.5.6. 2017-01-04 05:14:22 +01:00
commencement.scm gnu: Use hurd-triplet? to check if GNU/Hurd. 2017-01-03 16:00:39 +02:00
compression.scm gnu: lz4: Update to 1.7.4.2. 2016-11-25 16:31:20 +01:00
conkeror.scm
conky.scm
connman.scm gnu: Add cmst. 2017-01-02 22:55:33 +01:00
cook.scm
cpio.scm
cppi.scm
cross-base.scm gnu: Use hurd-triplet? to check if GNU/Hurd. 2017-01-03 16:00:39 +02:00
crypto.scm gnu: libsodium: Update to 1.0.11. 2016-11-26 20:48:34 -05:00
cryptsetup.scm gnu: Add 'cryptsetup-static'. 2016-11-22 23:45:01 +01:00
cups.scm gnu: Add and use sane-backends-minimal. 2016-12-17 23:13:04 +01:00
curl.scm gnu: curl: Update replacement to 7.52.1 [fixes CVE-2016-{9586,9594}]. 2016-12-23 15:31:36 +01:00
cyrus-sasl.scm gnu: cyrus-sasl: Fix CVE-2013-4122. 2016-11-26 16:21:02 -05:00
databases.scm gnu: mariadb: Update to 10.1.20. 2017-01-01 14:51:04 -05:00
datamash.scm
datastructures.scm
dav.scm gnu: radicale: Skip the test suite. 2016-12-06 20:46:18 -05:00
dc.scm
debug.scm gnu: Add zzuf 2016-11-29 21:32:09 +01:00
dejagnu.scm
dico.scm gnu: dico: Update to 2.4. 2016-11-21 15:25:38 +01:00
dictionaries.scm
dillo.scm
disk.scm gnu: Add fatfsck-static. 2016-12-17 10:13:22 +01:00
display-managers.scm gnu: Use HTTPS for all sourceforge.net home pages. 2017-01-04 05:14:22 +01:00
django.scm gnu: python-pytest-django: Remove needless propagated input "python-py". 2016-11-15 22:32:02 +01:00
djvu.scm
dns.scm gnu: yadifa: Explicitly enable DNSSEC & caching. 2016-12-23 23:54:15 +01:00
docbook.scm Merge branch 'master' into staging 2016-12-04 17:41:36 +01:00
docker.scm gnu: Remove python-setuptools and python2-setuptools from inputs (part 1b) 2016-11-15 21:58:44 +01:00
documentation.scm
dunst.scm
dvtm.scm
ebook.scm gnu: calibre: Update to 2.76.0. 2017-01-04 00:00:34 -05:00
ed.scm
education.scm
elf.scm
elixir.scm
emacs.scm gnu: Add emacs-git-gutter 2017-01-03 22:46:55 -05:00
embedded.scm gnu: Add propeller-development-suite. 2017-01-01 13:56:28 +01:00
enchant.scm
engineering.scm gnu: Add kicad-library. 2016-11-25 00:38:11 -05:00
enlightenment.scm gnu: enlightenment: Update to 0.21.5. 2016-12-20 04:22:29 +02:00
entr.scm
erlang.scm
fcitx.scm
figlet.scm
file.scm
finance.scm
firmware.scm gnu: Add openfwwf-firmware. 2016-11-22 09:38:36 -06:00
flashing-tools.scm gnu: Add rkflashtool. 2016-12-04 08:39:48 +02:00
flex.scm
fltk.scm
fonts.scm gnu: font-gnu-unifont: Update to 9.0.06. 2016-12-25 05:04:20 +02:00
fontutils.scm
fpga.scm gnu: yosys: Update to 0.7. 2017-01-01 20:06:43 -05:00
freedesktop.scm gnu: elogind: Enable ACL support. 2016-12-29 23:42:23 +01:00
freeipmi.scm
fribidi.scm
ftp.scm gnu: lftp: Update to 4.7.4. 2016-12-13 09:38:01 +01:00
fvwm.scm
game-development.scm gnu: tiled: Update to 0.18.0. 2016-12-30 21:45:51 -05:00
games.scm gnu: Use HTTPS for all sourceforge.net home pages. 2017-01-04 05:14:22 +01:00
gawk.scm
gcal.scm
gcc.scm gnu: gfortran: Remove non-'eq?' duplicate of gfortran@4.9. 2017-01-02 14:54:24 +01:00
gd.scm
gdb.scm
geo.scm
gettext.scm
gforth.scm
ghostscript.scm gnu: Use HTTPS for all sourceforge.net home pages. 2017-01-04 05:14:22 +01:00
gimp.scm gnu: gimp: Enable PDF support 2017-01-03 00:18:51 -05:00
gkrellm.scm
gl.scm gnu: libepoxy: Add patch to avoid segfault when GL support is missing. 2016-12-09 18:09:43 +01:00
glib.scm Merge branch 'master' into staging 2016-12-04 17:41:36 +01:00
gnome.scm gnu: arc-theme: Update to 20161119. 2017-01-03 00:29:42 -05:00
gnu-doc.scm
gnu-pw-mgr.scm
gnucash.scm
gnunet.scm gnu: gnurl: Split man pages to doc output. 2016-12-23 11:58:03 -05:00
gnupg.scm gnu: Add python-gpg. 2017-01-03 12:35:44 -05:00
gnustep.scm gnu: windowmaker: Fix invocation of 'wmsetbg'. 2016-12-09 22:10:06 -05:00
gnuzilla.scm gnu: nss: Add comment about test failures in NSS 3.27.2 2016-12-20 14:44:53 -05:00
gobby.scm
golang.scm gnu: Fix header in (gnu packages golang). 2016-12-04 08:50:30 +02:00
gperf.scm
gprolog.scm
gps.scm gnu: exiv2: Move to (gnu packages image). 2016-12-04 17:39:48 +03:00
graphics.scm
graphviz.scm gnu: Add xdot. 2017-01-01 20:06:43 -05:00
groff.scm gnu: Add roffit. 2016-12-25 22:02:39 +01:00
grub.scm gnu: Add grub-efi. 2016-12-19 23:43:47 +01:00
gsasl.scm
gstreamer.scm gnu: python-gst: Update to 1.10.2. 2016-12-01 12:56:23 +02:00
gtk.scm Merge branch 'master' into staging 2016-12-04 17:41:36 +01:00
guile-wm.scm
guile.scm gnu: Fix load-extension path in packaging of guile-ncurses. 2016-12-20 06:43:29 +01:00
gv.scm
gxmessage.scm
haskell.scm gnu: idris: Move to (gnu packages idris). 2017-01-04 11:51:36 +01:00
hexedit.scm
hugs.scm
hurd.scm gnu: Use hurd-triplet? to check if GNU/Hurd. 2017-01-03 16:00:39 +02:00
ibus.scm
icu4c.scm
idris.scm gnu: Add idris-lens. 2017-01-04 12:11:14 +01:00
idutils.scm
image-viewers.scm gnu: feh: Update to 2.18. 2017-01-03 23:39:22 -05:00
image.scm gnu: Use HTTPS for all sourceforge.net home pages. 2017-01-04 05:14:22 +01:00
imagemagick.scm gnu: imagemagick: Update to 6.9.7-0. 2016-12-20 20:50:50 -05:00
indent.scm
inklingreader.scm
inkscape.scm
irc.scm gnu: weechat: Use new xz-compressed tarball. 2016-12-20 05:36:56 +01:00
iso-codes.scm
java.scm gnu: icedtea-8: Update to 3.2.0 [fixes CVE-2016-{5542,5554,5568,5573,5582,5597}]. 2016-12-14 10:19:32 -05:00
jemalloc.scm
jrnl.scm
julia.scm
kde-frameworks.scm gnu: kdbusaddons: Embed kinit store dir, avoid dependency cycles. 2016-12-19 17:51:00 +01:00
kde.scm gnu: Add kdevelop. 2016-12-15 17:11:32 +01:00
key-mon.scm gnu: Remove python-setuptools and python2-setuptools from inputs (part 1b) 2016-11-15 21:58:44 +01:00
kodi.scm
language.scm
ld-wrapper.in
ldc.scm gnu: Add missing module import to (gnu packages ldc). 2016-11-25 23:18:29 -05:00
lego.scm
less.scm
lesstif.scm
libbsd.scm
libcanberra.scm
libdaemon.scm
libedit.scm
libevent.scm gnu: libev: Update to 4.23. 2016-12-09 18:23:05 +01:00
libffcall.scm
libffi.scm
libftdi.scm
libidn.scm
libphidget.scm
libreoffice.scm gnu: Use HTTPS for all sourceforge.net home pages. 2017-01-04 05:14:22 +01:00
libsigsegv.scm
libunistring.scm gnu: libunistring: support mingw: propagate libiconv if needed. 2016-12-07 10:23:17 +01:00
libunwind.scm
libupnp.scm gnu: libupnp: Fix CVE-2016-8863. 2016-12-16 15:28:02 -05:00
libusb.scm
lighting.scm
links.scm gnu: links: Update to 2.14. 2016-12-06 10:11:27 +02:00
linux-libre-4.1-i686.conf
linux-libre-4.1-x86_64.conf
linux-libre-4.4-i686.conf
linux-libre-4.4-x86_64.conf
linux-libre-4.8-i686.conf Revert "gnu: linux-libre: Update to 4.9." 2016-12-19 14:03:41 -05:00
linux-libre-4.8-x86_64.conf Revert "gnu: linux-libre: Update to 4.9." 2016-12-19 14:03:41 -05:00
linux.scm gnu: Use HTTPS for all sourceforge.net home pages. 2017-01-04 05:14:22 +01:00
lirc.scm gnu: Remove python-setuptools and python2-setuptools from inputs (part 2) 2016-11-15 22:27:31 +01:00
lisp.scm gnu: clisp: Remove timestamps. 2017-01-01 13:55:50 +01:00
llvm.scm gnu: Disambiguate packages with the same name. 2017-01-02 14:54:24 +01:00
logging.scm
lolcode.scm
lout.scm
lsof.scm
lua.scm gnu: Add lua-lpeg. 2016-12-07 23:20:24 +01:00
lxde.scm
lxqt.scm
lynx.scm gnu: lynx: Update to 2.8.9dev.11 [fixes CVE-2016-9179]. 2017-01-02 23:52:12 -05:00
m4.scm
machine-learning.scm gnu: Add r-kernlab. 2016-11-28 22:43:17 +01:00
mail.scm gnu: Use HTTPS for all sourceforge.net home pages. 2017-01-04 05:14:22 +01:00
make-bootstrap.scm gnu: Use hurd-triplet? to check if GNU/Hurd. 2017-01-03 16:00:39 +02:00
man.scm gnu: man-pages: Update to 4.09. 2016-12-14 19:09:49 +01:00
markdown.scm
marst.scm
mate.scm
maths.scm gnu: r-rcpparmadillo: Update to 0.7.600.1.0. 2016-12-29 21:49:12 +01:00
mc.scm gnu: mc: Partially fix absolute file paths. 2016-12-31 01:44:04 +01:00
mcrypt.scm
messaging.scm gnu: znc: Update to 1.6.4. 2016-12-28 05:14:05 +01:00
mg.scm
microcom.scm
mingw.scm gnu: Add mingw-w64. 2016-12-07 10:23:16 +01:00
mit-krb5.scm Revert "gnu: Update mit-krb5 to version 1.14.4." 2016-11-23 00:03:17 +01:00
moe.scm
monitoring.scm gnu: nagios: Update to 4.2.4 [fixes CVE-2016-{9565,9566}]. 2016-12-31 20:02:59 +01:00
mono.scm
moreutils.scm gnu: moreutils: Update to 5.9. 2016-12-24 03:19:03 +01:00
mp3.scm gnu: Use HTTPS for all sourceforge.net home pages. 2017-01-04 05:14:22 +01:00
mpd.scm gnu: mpd: Install systemd service files. 2016-12-29 17:28:34 -05:00
mpi.scm
mtools.scm gnu: exfat-utils: Update to 1.2.5. 2016-12-05 20:33:31 +01:00
multiprecision.scm gnu: gmp: build shared library for mingw. 2016-12-07 10:23:17 +01:00
music.scm gnu: beets: Build with Python 3. 2017-01-01 21:06:32 -05:00
musl.scm
nano.scm gnu: nano: Update to 2.7.3. 2017-01-04 05:14:22 +01:00
ncdu.scm
ncurses.scm gnu: ncurses: support mingw. 2016-12-07 10:23:17 +01:00
netpbm.scm
nettle.scm
networking.scm gnu: wireshark: Update to 2.2.3. 2016-12-27 17:05:07 +01:00
nfs.scm
nickle.scm
ninja.scm
node.scm
noweb.scm
ntp.scm gnu: ntp: Update to 4.2.8p9. 2016-11-28 21:56:30 +02:00
nutrition.scm gnu: Remove python-setuptools and python2-setuptools from inputs (part 2) 2016-11-15 22:27:31 +01:00
nvi.scm
ocaml.scm gnu: camlp4: Compile native version. 2017-01-04 16:03:16 +01:00
ocr.scm
onc-rpc.scm gnu: Use HTTPS for all sourceforge.net home pages. 2017-01-04 05:14:22 +01:00
openbox.scm
openldap.scm
openstack.scm gnu: openstack: Correct inputs. 2016-11-15 22:31:27 +01:00
orpheus.scm
ots.scm
package-management.scm gnu: diffoscope: Embed tool references. 2017-01-01 21:53:50 +01:00
parallel.scm gnu: parallel: Update to 20161222. 2017-01-04 05:14:22 +01:00
password-utils.scm gnu: assword: Update to 0.10. 2017-01-03 12:35:45 -05:00
patchutils.scm
pciutils.scm gnu: pciutils: Update to 3.5.2. 2016-11-30 17:35:21 +01:00
pcre.scm
pdf.scm gnu: mupdf: Update to 1.10a. 2016-12-04 17:41:54 +01:00
pem.scm
perl-web.scm gnu: Add perl-mojolicious. 2016-11-27 09:48:39 +01:00
perl.scm gnu: Use HTTPS for all sourceforge.net home pages. 2017-01-04 05:14:22 +01:00
photo.scm gnu: gphoto2, libgphoto2: Use libjpeg-turbo. 2016-11-29 19:15:47 +01:00
php.scm gnu: php: Update to 7.0.14. 2016-12-09 09:58:36 +01:00
pkg-config.scm
plotutils.scm
polkit.scm
popt.scm
pretty-print.scm gnu: Add highlight. 2016-12-03 23:26:16 +01:00
protobuf.scm gnu: Fix python inputs, part 1: all inputs become propagated-inputs. 2016-11-15 22:31:03 +01:00
pth.scm
pulseaudio.scm
pumpio.scm
pv.scm
python.scm gnu: Use HTTPS for all sourceforge.net home pages. 2017-01-04 05:14:22 +01:00
qemu.scm gnu: qemu: Update to 2.8.0. 2016-12-21 21:28:15 +02:00
qt.scm gnu: qt: Update to 5.7.1. 2016-12-25 01:49:36 +02:00
ragel.scm
rails.scm
ratpoison.scm
rdesktop.scm
rdf.scm gnu: Fix python inputs, part 1: all inputs become propagated-inputs. 2016-11-15 22:31:03 +01:00
readline.scm gnu: readline: support mingw. 2016-12-07 10:23:17 +01:00
regex.scm
rrdtool.scm
rsync.scm
ruby.scm gnu: ruby-minitest: Update to 5.10.1. 2016-12-26 22:43:59 +10:00
rush.scm
rust.scm build-system: cargo: Use correct cargo. 2017-01-04 11:29:15 +01:00
samba.scm gnu: samba: Update to 4.5.3 [fixes CVE-2016-{2123,2125,2126}]. 2016-12-19 09:50:02 -05:00
sawfish.scm
scanner.scm gnu: sane-backends: Remove timestamps from the output. 2016-12-17 23:13:05 +01:00
scheme.scm gnu: chicken: Fix CVE-2016-{6830,6831}. 2017-01-03 08:35:02 -05:00
screen.scm
scribus.scm
scsi.scm
sdcc.scm
sdl.scm
search.scm
security-token.scm gnu: pcsc-lite: Update to 1.8.20 [fixes CVE-2016-10109]. 2017-01-03 17:15:04 +01:00
serialization.scm gnu: jsoncpp: Update to 1.8.0. 2016-12-21 16:37:01 +01:00
serveez.scm
shells.scm gnu: xonsh: Update to 0.5.1. 2016-12-29 02:38:21 +01:00
shellutils.scm gnu: trash-cli: Update to 0.17.1.1. 2017-01-03 23:39:21 -05:00
shishi.scm
skarnet.scm
skribilo.scm
slang.scm
smalltalk.scm
speech.scm gnu: Add sonic. 2017-01-02 18:03:10 -05:00
spice.scm gnu: spice: Use libjpeg-turbo instead of libjpeg. 2016-11-29 19:15:47 +01:00
ssh.scm gnu: openssh: Update to 7.4p1. 2016-12-19 10:54:11 -05:00
stalonetray.scm
statistics.scm gnu: r-plotrix: Update to 3.6-4. 2017-01-03 13:51:05 +01:00
suckless.scm gnu: dwm: Update to 6.1. 2017-01-03 23:39:22 -05:00
swig.scm gnu: swig: Update to 3.0.10. 2016-11-21 11:10:06 -05:00
sync.scm gnu: qsyncthingtray: Update to 0.5.7. 2016-12-23 02:01:28 -05:00
syndication.scm gnu: packages: Use gettext-minimal. 2016-11-21 19:47:30 +03:00
synergy.scm
task-management.scm
tbb.scm
tcl.scm
telephony.scm gnu: mumble: Update to 1.2.18. 2016-12-18 16:53:21 +01:00
terminals.scm gnu: libtermkey: Update to 0.19. 2016-12-30 16:15:25 -05:00
tex.scm gnu: Add biber-2.5. 2016-11-27 09:48:43 +01:00
texinfo.scm
text-editors.scm gnu: Add vis. 2016-12-08 15:07:34 +01:00
textutils.scm
time.scm
tls.scm gnu: acme-client: Provide path to certificates. 2016-12-17 00:09:10 -05:00
tmux.scm
tor.scm gnu: tor: Update to 0.2.9.8. 2016-12-20 03:55:38 +02:00
tv.scm
u-boot.scm
uml.scm
unrtf.scm
upnp.scm gnu: miniupnpc: Improve synopsis and description. 2016-11-25 02:21:51 +01:00
uucp.scm
valgrind.scm
version-control.scm gnu: cssc: Update to 1.4.0. 2016-12-12 22:08:45 +01:00
video.scm gnu: mpv: Update to 0.23.0. 2017-01-02 21:48:49 +02:00
vim.scm gnu: vim: Update to 8.0.0133. 2016-12-12 22:08:44 +01:00
vpn.scm gnu: openvpn: Update to 2.3.14. 2017-01-02 21:48:48 +02:00
vtk.scm gnu: vtk: Build with more system libraries. 2016-12-01 23:50:17 -06:00
w3m.scm gnu: w3m: Update to 0.5.3+git20161120 [fixes security issues]. 2016-11-22 14:00:11 +02:00
wdiff.scm
web.scm gnu: r-jsonlite: Update to 1.2. 2017-01-03 13:37:55 +01:00
webkit.scm
wget.scm gnu: Add wgetpaste. 2016-11-29 09:35:39 +02:00
wicd.scm gnu: wicd: Fix build. 2016-11-29 18:39:16 +01:00
wine.scm gnu: Add and use sane-backends. 2016-12-17 23:13:05 +01:00
wm.scm gnu: awesome: Update to 4.0. 2016-12-26 19:13:27 -05:00
wordnet.scm
wv.scm
wxwidgets.scm gnu: wxPython: Remove useless inputs. 2016-11-29 18:39:15 +01:00
xdisorg.scm gnu: Use HTTPS for all sourceforge.net home pages. 2017-01-04 05:14:22 +01:00
xfce.scm
xfig.scm
xiph.scm gnu: opusfile: Update to 0.8. 2016-11-21 10:49:45 +02:00
xml.scm gnu: libxml2: Fix CVE-2016-5131. 2016-12-24 19:19:36 -05:00
xnee.scm
xorg.scm gnu: xf86-video-qxl: Update to 0.1.5. 2016-12-26 04:32:05 +02:00
zile.scm gnu: Add Zile-on-Guile. 2017-01-03 18:16:01 +01:00
zip.scm gnu: perl-zip: Update to 1.59. 2016-12-29 05:37:01 +01:00