Gabriel Ebner
f5b173ffbc
qalculate-gtk: 2.1.0 -> 2.2.1
2018-02-24 11:54:53 +01:00
Timo Kaufmann
89162cdd29
sage: explicitly use gfortran6
...
The recent change from gfortran=gfortran6 to gfortran=gfortran7 broke
the build.
2018-02-23 17:00:21 +01:00
Johannes Frankenau
74029a21bf
bcal: init at 1.7
2018-02-21 00:05:16 +01:00
Vladimír Čunát
b5aaaf87a7
Merge staging and PR #35021
...
It's the last staging commit (mostly) built on Hydra,
and a minimal fix for Darwin regression in pysqlite.
2018-02-16 09:13:12 +01:00
John Wiegley
90252481bf
coq: 8.7.1 -> 8.7.2
2018-02-15 23:12:43 -08:00
Vincent Laporte
e75009ecdc
eprover: fix build in non-GCC environments
2018-02-14 22:46:12 +00:00
Frederik Rietdijk
672bb6b4ab
Merge remote-tracking branch 'upstream/master' into HEAD
2018-02-14 21:30:08 +01:00
Jörg Thalheim
6ec8fe0408
z3: also needs setuptools
2018-02-14 10:01:25 +00:00
Timo Kaufmann
0713bde50f
sage: Don't build docs by default
...
This makes the HTML-docs an default-off option. Inline documentation
(`matrix-plot??`) is still available and HTML docs are available online.
Motivation: Get below the Hydra output size limit.
2018-02-13 17:52:41 +01:00
Will Dietz
2974ed9266
avy: fixes to work with clang and musl
2018-02-13 09:44:52 -06:00
Will Dietz
cbdd20878e
cvc4: build in parallel
2018-02-13 09:44:45 -06:00
Will Dietz
12e60c232a
cvc4: patch up fpu_control usage
2018-02-13 09:44:45 -06:00
Will Dietz
4c767417ea
picosat: fix ar and ranlib usage for cross
2018-02-13 09:44:32 -06:00
Will Dietz
36b2706916
picosat: fixup include for unistd.h
2018-02-13 09:44:32 -06:00
Will Dietz
46cbded0de
boolector: patch usage of ar and ranlib for cross
...
eep.
2018-02-13 09:44:32 -06:00
Will Dietz
9138d055bf
boolector: fix missing stdint.h include
2018-02-13 09:44:31 -06:00
Jörg Thalheim
a0a3f674a7
Merge pull request #34094 from markuskowa/octopus-pr
...
octopus: init at 7.2
2018-02-10 14:14:01 +00:00
Jörg Thalheim
08d1400816
Merge pull request #34530 from unode/samtools-old
...
samtools-old: init at 0.1.19
2018-02-10 08:34:26 +00:00
Jörg Thalheim
80b096b2b3
Merge pull request #34531 from unode/raxml
...
RAxML: init at 8.2.11 (SSE3 & MPI)
2018-02-10 08:32:19 +00:00
Frederik Rietdijk
50a9d51a09
Merge commit '30d031b5d8d05422586043c3f105f4d9110e4f59' into HEAD
2018-02-08 12:14:07 +01:00
Peter Simons
fa23ff4a7d
Merge pull request #34651 from mnacamura/r-darwin-libcxx
...
R: add libcxx to default LDFLAGS and CPPFLAGS on Darwin
2018-02-07 08:31:10 +01:00
Tuomas Tynkkynen
4c6c919a31
Merge remote-tracking branch 'upstream/master' into HEAD
...
Conflicts:
pkgs/os-specific/linux/kernel/generic.nix
2018-02-07 03:41:24 +02:00
Renato Alves
154d1d2f19
samtools: 1.6 -> 1.7
2018-02-06 15:38:00 +01:00
Mitsuhiro Nakamura
f4a031c63f
R: add libcxx to default LDFLAGS and CPPFLAGS on Darwin
2018-02-06 18:57:12 +09:00
Tuomas Tynkkynen
9548028a22
Merge remote-tracking branch 'upstream/master' into staging
...
Conflicts:
pkgs/os-specific/linux/cpupower/default.nix
2018-02-06 04:11:23 +02:00
Timo Kaufmann
272e930827
sage: fix non-deterministic build failures
...
The build was failing on some machines because of a `find` command that
touched files in different orders on different machines.
That confused `make`s timestamp mechanism.
2018-02-05 15:03:24 +01:00
Austin Seipp
0e371a60a5
symbiyosys: 2018.01.10 -> 2018.02.04
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-02-04 11:59:35 -06:00
Frederik Rietdijk
c1d79509a0
Merge pull request #34553 from NixOS/python-unstable
...
Python package updates
2018-02-04 13:29:23 +00:00
Frederik Rietdijk
aaa50d506e
python.pkgs.spyder: fix expression
...
Note I still get
```
This application failed to start because it could not find or load the
Qt platform plugin "xcb"
in "".
```
but that may be because I run it from the store which is not support for
Qt5 applications.
2018-02-04 10:17:35 +01:00
Bjørn Forsman
6b834384f6
bitscope: create derivations with version info
...
So far the store paths produced by the bitscope derivations have been
version-less. Fix it.
2018-02-03 21:14:50 +01:00
Frederik Rietdijk
c7f535c82d
spyder: 3.2.4 -> 3.2.6
2018-02-03 17:43:30 +01:00
Renato Alves
65ea5f8857
samtools_0_1_19: init at 0.1.19
...
samtools-1.5 already exists but some software requires the older version
2018-02-02 21:49:50 +01:00
Renato Alves
05889c52b9
RAxML: init at 8.2.11 (SSE3 & MPI)
...
This can potentially be extended to cover all the other compilation
targets. SSE3-PTHREADS and MPI being the most commonly used.
2018-02-02 18:31:40 +01:00
Vladimír Čunát
c9171e5a4c
Merge branch 'master' into staging
...
Hydra: ?compare=1430035
2018-01-30 19:51:33 +01:00
Renato Alves
b22e4976cb
muscle: init at 3.8.31
2018-01-28 12:32:46 +01:00
Markus Kowalewski
ec6e7c6eeb
octopus: init at 7.2
2018-01-27 16:23:04 -08:00
Tuomas Tynkkynen
c3a658deb1
Merge remote-tracking branch 'upstream/master' into staging
2018-01-27 21:53:16 +02:00
Alexey Shmalko
38fbc93f46
Merge pull request #34156 from arcadio/star
...
star: init at 2.5.3a
2018-01-27 17:02:16 +02:00
Vladimír Čunát
2d2dbe083f
Merge branch 'master' into staging
...
Hydra: ?compare=1429281
2018-01-27 09:14:22 +01:00
Timo Kaufmann
b223662ad1
sage: 8.0 -> 8.1, fix sandbox build
...
The sandboxed build was failing, because it relied heavily on
/usr/bin/env. This is fixed with a lot of shebang patching (both
to system packages and to sage-internal packages).
2018-01-26 14:42:24 +01:00
adisbladis
7a2d35d9db
Merge pull request #34119 from arcadio/master
...
igv: 2.3.98 -> 2.4.6
2018-01-25 18:33:49 +08:00
Samuel Leathers
efdb0983da
Merge pull request #34199 from arcadio/kallisto
...
kallisto: init at 0.43.1
2018-01-24 20:43:24 -07:00
Arcadio Rubio García
a7333e9ced
kallisto: init at 0.43.1
2018-01-24 16:16:46 +00:00
Arcadio Rubio García
72d675b23c
star: init at 2.5.3a
2018-01-24 16:07:15 +00:00
Frederik Rietdijk
769342b37b
Merge remote-tracking branch 'upstream/master' into HEAD
2018-01-24 14:17:49 +01:00
Daiderd Jordan
5569851745
R: fix dylib install_name on darwin
2018-01-24 00:23:16 +01:00
Frederik Rietdijk
8510550b77
Merge pull request #34169 from Infinisil/add/almonds
...
almonds: init at 2015-12-27
2018-01-23 17:37:54 +01:00
Silvan Mosberger
8e8a259df4
almonds: init at 2015-12-27
2018-01-23 14:16:28 +01:00
adisbladis
266979a360
Merge pull request #34125 from arcadio/bwa
...
bwa: 0.7.16a -> 0.7.17
2018-01-23 20:12:56 +08:00
adisbladis
b0603f514b
Merge pull request #34139 from arcadio/bedtools
...
bedtools: 2.26.0 -> 2.27.1
2018-01-23 12:56:01 +08:00