Vladimír Čunát
65a9fa8cdc
Merge branch 'master' into staging
2016-05-08 21:24:48 +02:00
Gabriel Ebner
516f331227
minisat: migrate from builderDefsPackage to mkDerivation
2016-05-08 15:32:58 +02:00
Gabriel Ebner
3f19d757cb
veriT: disable broken static linking
2016-05-08 15:11:29 +02:00
Vladimír Čunát
1dc36904d8
Merge #14920 : windows improvements, mainly mingw
2016-05-05 08:30:19 +02:00
Joachim Fasting
35efc53274
Merge pull request #15214 from taku0/lp_solve_isnan
...
lp_solve: fixed build error due to defining isnan
2016-05-04 20:55:51 +02:00
taku0
f2bab58b3e
lp_solve: change source URL to mirror
2016-05-04 22:17:56 +09:00
taku0
3fa49d5ac4
lp_solve: updated description
2016-05-04 22:03:22 +09:00
taku0
725c85c720
lp_solve: fixed build error due to defining isnan
2016-05-04 19:58:05 +09:00
Tuomas Tynkkynen
aadaa91379
Merge remote-tracking branch 'upstream/master' into staging
...
Conflicts:
pkgs/applications/networking/browsers/vivaldi/default.nix
pkgs/misc/emulators/wine/base.nix
2016-05-03 23:12:48 +03:00
Robin Gloster
c92bca56f8
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-05-02 22:58:02 +00:00
Vincent Laporte
60a7c607d1
hol-light: fix build with camlp5-6.16
2016-05-01 16:10:09 +02:00
Nikolay Amiantov
87ebab128a
replace ${stdenv.cc.cc}/lib occurences
2016-05-01 00:13:23 +03:00
Tuomas Tynkkynen
4ff8f377af
Merge remote-tracking branch 'upstream/master' into staging
2016-04-28 00:13:53 +03:00
Tuomas Tynkkynen
ca0e724266
otter: Mark broken
...
Build hangs an hits the hydra time limit:
http://hydra.nixos.org/build/34897110
2016-04-27 03:24:04 +03:00
Edward Tjörnhammar
f027aa2059
jonprl: corrected sha change
2016-04-26 22:23:37 +02:00
Frederik Rietdijk
d5e6a4494a
Python: use PyPI mirror ( #15001 )
...
* mirrors: add pypi
* Python: Use pypi mirror for all PyPI packages
2016-04-26 13:38:03 +01:00
Dmitry Kalinkin
088601cb51
root: fix chrooted build, workaround 491f7f017c (cmake: set LIBDIR and INCLUDEDIR for multiple outputs)
2016-04-25 17:38:19 -04:00
Nikolay Amiantov
ab0a0c004e
makeSearchPathOutputs: refactor to makeSearchPathOutput
2016-04-25 13:24:39 +03:00
Vladimír Čunát
e9379f7416
Merge branch 'staging'
...
This includes a fix to closure-size regression that moved
share/doc/*/ to share/doc/
2016-04-22 16:49:09 +02:00
Vincent Laporte
71e0ce571b
csdp: fix build on Darwin
...
When the `INSTALL` file is present, `make` claims that the `install`
target is up-to-date.
2016-04-22 11:53:43 +02:00
Nikolay Amiantov
fb2c651647
qgroundcontrol: move to qmakeHook
...
This reverts commit 11294eaf16
2016-04-20 18:55:48 +03:00
Nikolay Amiantov
0b88755d37
fritzing: move to qmakeHook
...
This reverts commit 81fc546df3
2016-04-20 18:55:47 +03:00
Dmitry Kalinkin
f2200369e5
root: fix NixOS build, build with lzma from nix, update homepage url
2016-04-20 01:41:46 -04:00
Robin Gloster
d020caa5b2
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-04-18 13:49:22 +00:00
Dmitry Kalinkin
baded4ea96
root: 5.34.15 -> 6.04.16
2016-04-17 22:59:31 -04:00
aszlig
11294eaf16
qgroundcontrol: Fix running of {pre,post}Configure
...
Commit 0055c6a
2016-04-15 05:26:02 +02:00
aszlig
01900ac06e
qgroundcontrol: Drop unused preConfigure phase
...
The configurePhase is overridden here and the preConfigure hook isn't
referenced otherwise in the package, so it's basically dead code.
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2016-04-15 05:26:02 +02:00
aszlig
81fc546df3
fritzing: Fix running of {pre,post}Configure
...
Commit 0055c6a
2016-04-15 05:26:02 +02:00
Nikolay Amiantov
6f3e72eef6
Merge pull request #14658 from abbradar/search-path-fixes
...
Search path fixes
2016-04-14 03:08:41 +04:00
Arseniy Seroka
0420a532e9
Merge pull request #14649 from vbgl/coq_8.5.1
...
Coq 8.5pl1
2016-04-13 22:16:48 +03:00
Nikolay Amiantov
8b7ebaffeb
replace makeSearchPath tree-wise to take care of possible multiple outputs
2016-04-13 22:09:41 +03:00
Vladimír Čunát
39ebb01d6e
Merge branch 'staging', containing closure-size #7701
2016-04-13 09:25:28 +02:00
joachifm
860aa01782
Merge pull request #14618 from moretea/update_mcrl2
...
Update mcrl2
2016-04-12 23:42:45 +02:00
Maarten Hoogendoorn
ec098aad41
mcrl2: 2009.01 -> 2014.09
2016-04-12 22:16:30 +02:00
Tuomas Tynkkynen
d7de8bc911
Merge pull request #14636 from kragniz/samtools
...
samtools: init at 1.3
2016-04-12 22:24:34 +03:00
Louis Taylor
70c1b2b1c0
samtools: init at 1.3
2016-04-12 20:13:40 +01:00
Vincent Laporte
a036fda544
coq: 8.5 -> 8.5pl1
2016-04-12 19:43:11 +02:00
Vladimír Čunát
30f14243c3
Merge branch 'master' into closure-size
...
Comparison to master evaluations on Hydra:
- 1255515 for nixos
- 1255502 for nixpkgs
2016-04-10 11:17:52 +02:00
Robin Gloster
3e68106afd
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-04-07 21:52:26 +00:00
Vladimír Čunát
d1df28f8e5
Merge 'staging' into closure-size
...
This is mainly to get the update of bootstrap tools.
Otherwise there were mysterious segfaults:
https://github.com/NixOS/nixpkgs/pull/7701#issuecomment-203389817
2016-04-07 14:40:51 +02:00
Damien Cassou
8f7d11e39c
Merge pull request #14468 from vbgl/why3-0.87
...
why3: 0.86.3 -> 0.87.0
2016-04-05 19:15:52 +02:00
Vincent Laporte
9dfa26d2ce
why3: 0.86.3 -> 0.87.0
2016-04-05 08:09:00 +02:00
Robin Gloster
bbbaccfa68
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-04-04 15:24:52 +00:00
Robin Gloster
025cedc606
singular.i686-linux: turn off stackprotector hardening
2016-04-03 12:25:05 +00:00
Robin Gloster
696d85a62d
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-04-03 11:01:57 +00:00
Gabriel Ebner
e336cd003a
picosat: enable proof output and install various utils
2016-04-02 18:45:47 +02:00
Gabriel Ebner
659c240be8
picosat: 960 -> 965
2016-04-02 18:43:32 +02:00
Chris Ostrouchov
a32d5d3755
lammps: init at 2016-02-16
2016-04-01 18:37:52 -04:00
Vladimír Čunát
ab15a62c68
Merge branch 'master' into closure-size
...
Beware that stdenv doesn't build. It seems something more will be needed
than just resolution of merge conflicts.
2016-04-01 10:06:01 +02:00
joachifm
0660ff5625
Merge pull request #14334 from ne0phyte/kicad-4.0.2
...
kicad: 2013 stable -> 4.0.2
2016-03-31 21:01:22 +00:00
Michael Raskin
011f69992a
satallax: 1.4 -> 2.7
2016-03-31 16:23:08 +02:00
ne0phyte
cce37d2164
kicad: 2013 stable -> 4.0.2
2016-03-31 15:29:39 +02:00
Franz Pletz
2e08d8234e
Merge remote-tracking branch 'origin/master'
2016-03-31 10:06:30 +02:00
Michael Raskin
016d523d82
cvc4: fix the build by skipping line markers in cpp expansions during configure, helps the configure script to find Boost version
2016-03-31 01:52:33 +02:00
joachifm
532beaa2a3
Merge pull request #13913 from grwlf/torch
...
torch: add expression for Torch7 the machine-learning framework
2016-03-30 14:29:32 +00:00
Robin Gloster
a4e65c3639
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-03-30 09:01:20 +00:00
Patrick Callahan
66b5055b95
gazebo: init at 6.5.1 and 7.0.0
2016-03-28 11:44:37 -07:00
Robin Gloster
f60c9df0ba
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-03-28 15:16:29 +00:00
Patrick Callahan
f30e40df69
qgroundcontrol: init at 2.9.4
2016-03-24 20:06:31 -07:00
Sergey Mironov
de4f541b0e
torch: add unsup package
2016-03-22 22:20:45 +03:00
Sergey Mironov
56b34be001
torch: read user PATH and LD_LIBRARY_PATH
2016-03-22 00:57:30 +03:00
Sergey Mironov
6bb8f45182
torch: image, enable JPEG and PNG support
2016-03-22 00:38:52 +03:00
Sergey Mironov
4a36a0c504
torch: unhardcode references to luajit
2016-03-21 12:53:34 +03:00
Joachim Fasting
649c2cd027
lp_solve: mark as broken
...
See https://hydra.nixos.org/build/32393768/log/raw
2016-03-19 12:46:22 +01:00
Sergey Mironov
a56b9ab5be
torch: use default luajit
2016-03-19 12:37:06 +03:00
Arseniy Seroka
1fb354d1ab
Merge pull request #14008 from bzizou/scotch
...
scotch: init at 6.0.4
2016-03-18 22:50:20 +03:00
Bruno Bzeznik Bruno.Bzeznik@imag.fr
75af59f8eb
scotch: init at 6.0.4
2016-03-18 10:54:41 +01:00
Sergey Mironov
1b05139414
torch: Read LUA_PATH and LUA_CPATH set by users
2016-03-16 23:53:46 +03:00
Sergey Mironov
f499f61c85
torch: don't use default value for src
2016-03-16 23:53:40 +03:00
Robin Gloster
3f45f0948d
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-03-15 01:44:24 +00:00
Sergey Mironov
7f3b083610
torch: init at torch-git-2016-03-08
...
Torch is a machine-learning framework written in Lua
2016-03-14 16:05:55 +03:00
Nicolas B. Pierron
72c6f8a140
Ensure that we can evaluate the platform attribute of ocaml packages.
2016-03-13 19:08:26 +00:00
Thomas Tuegel
3ef7671cea
ncurses: combine $lib and $out outputs
...
The $lib output refers to the terminfo database in $out, which is about
10x larger than the ncurses shared library. Splitting these outputs
saves a small amount of space for any derivations that use the terminfo
database but not the ncurses library, but we do not have evidence that
any such exist.
2016-03-08 11:35:24 -06:00
Vladimír Čunát
09af15654f
Merge master into closure-size
...
The kde-5 stuff still didn't merge well.
I hand-fixed what I saw, but there may be more problems.
2016-03-08 09:58:19 +01:00
Franz Pletz
cb3d27df93
Merge remote-tracking branch 'origin/master' into hardened-stdenv
2016-03-05 18:55:30 +01:00
Franz Pletz
aff1f4ab94
Use general hardening flag toggle lists
...
The following parameters are now available:
* hardeningDisable
To disable specific hardening flags
* hardeningEnable
To enable specific hardening flags
Only the cc-wrapper supports this right now, but these may be reused by
other wrappers, builders or setup hooks.
cc-wrapper supports the following flags:
* fortify
* stackprotector
* pie (disabled by default)
* pic
* strictoverflow
* format
* relro
* bindnow
2016-03-05 18:55:26 +01:00
Peter Simons
288d01fe2b
stellarium: update to 0.14.2
...
This patch also fixes https://github.com/NixOS/nixpkgs/issues/13582 .
2016-03-04 23:05:48 +01:00
Vincent Laporte
014a30da93
why3: 0.86.2 -> 0.86.3
...
And merge with ocamlPackages.why3
(the OCaml library would not work correctly if packaged separately).
2016-03-04 09:29:10 +01:00
Arseniy Seroka
0aac2960fc
Merge pull request #13639 from bzizou/gromacs
...
gromacs: 4.6.5 -> 4.6.7 + MPI support
2016-03-03 23:29:32 +03:00
Robin Gloster
fed49425c5
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-03-03 16:11:55 +00:00
Vincent Laporte
c2a2c2ecd4
ltl2ba: fix build on darwin
2016-03-03 10:24:13 +01:00
Frederik Rietdijk
1d1b0a8ab8
Merge pull request #13510 from lancelotsix/relocate_motu_client
...
pkgs.motuclient: move application away from pythonPackages
2016-03-02 08:02:53 -05:00
Lluís Batlle i Rossell
a95e65b1eb
gtkwave: update to 3.3.70
2016-03-02 12:42:20 +01:00
Lancelot SIX
8f4a7d6c4c
pkgs.motuclient: move application away from pythonPackages
2016-03-02 09:41:02 +01:00
Robin Gloster
9ba6bd4dea
caneda: disable format hardening
2016-03-01 22:09:15 +00:00
Robin Gloster
d47857c3d9
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-03-01 21:09:17 +00:00
Vincent Laporte
694a5ba291
eprover: fix build on Darwin
2016-02-29 15:35:40 +01:00
Robin Gloster
4f0608abdb
perseus: disable stackprotector hardening
2016-02-29 12:51:28 +00:00
Robin Gloster
3b4765c9e5
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-02-28 16:32:57 +00:00
zimbatm
17348dc094
Remove all dots at end of descriptions
...
Specially crafted for @JagaJaga
find pkgs -name "*.nix" -exec \
sed -e 's|\(description.*\)\.";|\1";|g' -i {} \;
2016-02-27 17:30:29 +00:00
Robin Gloster
3477e662e6
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-02-27 00:08:08 +00:00
Franz Pletz
ef0325e940
Merge pull request #13435 from tg-x/calc
...
calc: init at 2.12.5.3
2016-02-26 11:16:11 +01:00
Franz Pletz
db2b0c8406
Merge pull request #13430 from nico202/yarp
...
yarp (+ libace): init at 2.3.64
2016-02-26 09:29:21 +01:00
tg(x)
1fb998f6c6
calc: init at 2.12.5.3
2016-02-24 22:47:55 +01:00
=
a5ed58445f
yarp (+ libace): init at 2.3.64
2016-02-24 22:08:29 +01:00
Bruno Bzeznik Bruno.Bzeznik@imag.fr
14f3b8e6cc
gromacs: 4.6.5 -> 4.6.7 + MPI support
2016-02-24 10:34:22 +01:00
Ben Darwin
69c628e1ff
minc-tools: init at 2.3.00
2016-02-23 14:03:56 -05:00
Frederik Rietdijk
40ca841c5c
Merge pull request #13124 from FRidh/buildPythonApplication
...
buildPythonApplication: use new function for Python applications
2016-02-23 16:02:10 +01:00
Gabriel Ebner
87b0a41ac5
isabelle: 2015 -> 2016
2016-02-23 14:19:13 +01:00
Robin Gloster
bb2639aafc
Merge branch 'curl-7.15-fixup' of https://github.com/zimbatm/nixpkgs into hardened-stdenv
2016-02-22 01:14:22 +00:00
devresse
4046d3ce8d
neuron: init at 7.4
2016-02-21 15:02:47 +00:00
Frederik Rietdijk
4d06bf70f4
buildPythonApplication: use new function for Python applications
2016-02-19 13:16:41 +01:00
Vladimír Čunát
d039c87984
Merge branch 'master' into closure-size
2016-02-14 08:33:51 +01:00
Robin Gloster
c572cc5159
qalculate-gtk: turn off format hardening
2016-02-12 16:16:52 +00:00
Robin Gloster
0ea02595f7
otter: turn off format hardening
2016-02-12 13:51:05 +00:00
Robin Gloster
0afc644cfd
cbc: turn off format hardening
2016-02-09 01:35:33 +00:00
Robin Gloster
457f340785
prover9: turn off format hardening
2016-02-08 00:44:00 +00:00
Robin Gloster
5808bfb977
yacas: no format hardening
2016-02-07 22:51:21 +00:00
Robin Gloster
d117254822
drgeo: turn off format hardening
2016-02-07 20:54:52 +00:00
Robin Gloster
321c57d69e
ltl2ba: turn off format hardening
2016-02-07 16:34:05 +00:00
Vladimír Čunát
ae74c356d9
Merge recent 'staging' into closure-size
...
Let's get rid of those merge conflicts.
2016-02-03 16:57:19 +01:00
Sven Keidel
ca21ae0eda
isabelle: 2014 -> 2015
...
Picked from #8510 . /cc maintainer @jwiegley.
2016-02-03 13:51:35 +01:00
Robin Gloster
8c91610cb2
content: remove
...
Doesn't build and have been abandoned for years
2016-01-30 20:31:05 +00:00
Gabriel Ebner
73468cf4d4
tptp: replace use of builderDefsPackage
2016-01-29 10:33:35 +01:00
Gabriel Ebner
462958b3b7
tptp: 6.1.0 -> 6.3.0
2016-01-29 09:37:11 +01:00
John Wiegley
5009b4a8cf
coq_8_5: 8.5rc1 -> 8.5
2016-01-25 12:33:31 -08:00
Tobias Geerinckx-Rice
32d40f0f98
Remove no longer (or never) referenced patches
...
55 files changed, 6041 deletions. Tested with `nix-build -A tarball`.
2016-01-24 02:02:21 +01:00
Vladimír Čunát
0957359568
Merge branch 'staging'
2016-01-22 13:48:35 +01:00
Arseniy Seroka
f63db297d6
Merge pull request #12519 from gebner/metis-20160102
...
metis-prover: 2.3.20160101 -> 2.3.20160102
2016-01-21 18:39:57 +03:00
Ricardo M. Correia
194168b722
z3: 4.4.0 -> 4.4.1
2016-01-21 13:27:12 +01:00
Gabriel Ebner
d714963d1b
metis-prover: 2.3.20160101 -> 2.3.20160102
2016-01-21 11:26:10 +01:00
Vladimír Čunát
716aac2519
Merge branch 'staging' into closure-size
2016-01-19 09:55:31 +01:00
Robin Gloster
53b389327e
refactor to use autoreconfHook where possible
...
Close #12446 .
2016-01-18 10:45:31 +01:00
Pascal Wittmann
ff837f9288
Merge pull request #12443 from gebner/lean-ninja
...
lean: update and add wrapper for linja
2016-01-17 20:00:16 +01:00
Mathieu Boespflug
545444cd19
R: add a new enableStrictBarrier package option.
...
This option compiles R with --enable-strict-barrier. Doing so is
enables extra memory diagnostics in R that very useful for debugging
memory leak or memory protections issues in extensions to R written in
C, or for any apps embedding R (e.g. Haskell aps embedding R via
HaskellR).
2016-01-17 11:09:05 +01:00
Gabriel Ebner
8a26d9b84f
lean: add wrapper for linja
2016-01-17 09:29:18 +01:00
Gabriel Ebner
36c430de12
lean: 20150821 -> 20160117
2016-01-17 09:29:05 +01:00
Tobias Geerinckx-Rice
d1232049fb
tkgate 2.x: remove dead package
...
Broken since April 2014. Homepage leads to an expired domain.
2016-01-14 23:55:47 +01:00
Vladimír Čunát
4858f3307e
R: fix build after splitting gfortran.lib
...
The extra flag was causing static libraries to be found (and used)
before dynamic ones. /cc #12085
2016-01-12 23:57:48 +01:00
Asko Soukka
a225a650bf
R: fix Darwin build
...
Merged manually from https://github.com/NixOS/nixpkgs/pull/10623 .
2016-01-06 22:20:40 +01:00
Vincent Laporte
fde89b6762
alt-ergo: also supported on Darwin
2016-01-04 17:17:44 +01:00
Gabriel Ebner
711e9e20de
metis-prover: 2.3 -> 2.3.20160101
2016-01-02 16:04:03 +01:00
Michael Raskin
51f8932c8e
pari (PARI/GP): 2.7.4 -> 2.7.5
2016-01-01 12:30:17 +03:00
Vladimír Čunát
f9f6f41bff
Merge branch 'master' into closure-size
...
TODO: there was more significant refactoring of qtbase and plasma 5.5
on master, and I'm deferring pointing to correct outputs to later.
2015-12-31 09:53:02 +01:00
John Wiegley
d80aa87b13
coqPackages_8_5.coq: 8.5b2 -> 8.5rc1
2015-12-21 16:12:43 -08:00
Thomas Tuegel
541b2f20de
fritzing: Qt 5 infrastructure update
2015-12-20 07:56:50 -06:00
Arseniy Seroka
330afe9f4e
Merge pull request #11075 from mogorman/pcb
...
pcb: new package
2015-12-17 09:13:54 +03:00
Matthew O'Gorman
09aff6c104
pcb: init at 20140316
2015-12-16 19:29:17 -05:00
Pascal Wittmann
f45b8176c0
Merge pull request #11074 from mogorman/gerbv
...
gerbv: new package
2015-12-16 18:13:20 +01:00
Matthew O'Gorman
a76241c6cb
gerbv: init at git-2015-10-07
2015-12-15 21:11:54 -05:00
Pascal Wittmann
84c3b5f71f
Merge pull request #11073 from mogorman/geda_fix
...
geda: refdes_renum called /usr/bin/perl
2015-12-14 07:56:41 +01:00
Matthew O'Gorman
f076a0867f
geda: refdes_renum called /usr/bin/perl
2015-12-14 00:04:12 -05:00
Luca Bruno
5b0352a6a4
Merge branch 'master' into closure-size
2015-12-11 18:31:00 +01:00
Michel Kuhlmann
cebbb18e9e
R: 3.2.2 -> 3.2.3
2015-12-11 11:36:30 +01:00
Bjørn Forsman
c27de52d39
eagle: 6.6.0 -> 7.5.0
...
* It grew a couple of extra (hard) dependencies:
libxcb, cups, xkeyboardconfig
* It is also available in native 64-bit version (yay!)
2015-12-08 22:30:10 +01:00
Frederik Rietdijk
4ff3787adb
python spyder: 2.3.7 -> 2.3.8
2015-12-01 20:23:42 +01:00
Vincent Laporte
38eb17c2e2
why3: 0.86.1 -> 0.86.2
2015-12-01 11:04:08 +01:00
Aristid Breitkreuz
158e4ffd9c
mathematica package patchPhase does not like set -e
2015-11-30 21:08:30 +01:00
Luca Bruno
920b1d3591
Merge branch 'master' into closure-size
2015-11-29 16:50:26 +01:00
Arseniy Seroka
c6932509b8
Merge pull request #11302 from fkz/sad
...
add package: system for automated deduction
2015-11-27 22:25:44 +03:00
Fabian Schmitthenner
dc164dc2ee
system for automated deduction: init at 2.3-25
2015-11-27 15:12:09 +00:00
Domen Kožar
67e03d0c50
Merge branch 'buildPythonPackage+wheels'
2015-11-26 17:38:35 +01:00
John Wiegley
2b8ef119c5
Revert "coq: 8.5b2 -> 8.5b3"
...
This reverts commit c111b0cd4d
2015-11-25 12:58:07 -08:00
Luca Bruno
a412927924
Merge remote-tracking branch 'origin/master' into closure-size
2015-11-25 21:37:30 +01:00
Nikolay Amiantov
5ee5b5ba82
R: add curl for https support
2015-11-25 11:39:28 +01:00
Joachim Fasting
6d4ff90207
gap: reimplement using mkDerivation
2015-11-24 14:45:15 +01:00
Joachim Fasting
4229525eac
spass: reimplement using mkDerivation
2015-11-24 14:45:15 +01:00
Joachim Fasting
0a4e12c0e2
opensmt: reimplement using mkDerivation
2015-11-24 14:45:15 +01:00
Joachim Fasting
c6d645803a
iprover: reimplement using mkDerivation
2015-11-24 14:45:15 +01:00
Joachim Fasting
a228252b69
cvc3: reimplement using mkDerivation
2015-11-24 14:45:15 +01:00
Joachim Fasting
022bbe1c0c
singular: reimplement using mkDerivation
2015-11-24 14:45:15 +01:00
Joachim Fasting
42fc03411f
drgeo: reimplement using mkDerivation
2015-11-24 14:45:15 +01:00
Domen Kožar
4b23328e39
buildPythonPackage: fix more wheels failures
2015-11-21 21:44:12 +01:00
Vladimír Čunát
333d69a5f0
Merge staging into closure-size
...
The most complex problems were from dealing with switches reverted in
the meantime (gcc5, gmp6, ncurses6).
It's likely that darwin is (still) broken nontrivially.
2015-11-20 14:32:58 +01:00
Russell O'Connor
c111b0cd4d
coq: 8.5b2 -> 8.5b3
2015-11-19 00:10:22 -05:00
Pascal Wittmann
7fd2796e99
Replace 'with plaforms; platform' with 'platforms.platform'
2015-11-17 21:30:43 +01:00
Marco Maggesi
a487b3326b
Update HOL Light to version 2015-11-02
2015-11-03 15:24:56 +01:00
Vladimír Čunát
fd1619cf60
yices: use correct static gmp
...
It still won't build due to trying to use /sbin/ldconfig,
but gmp-related things do seem OK.
2015-10-28 11:50:05 +01:00
Vladimír Čunát
148e03b2f1
gmp: split into multiple outputs
2015-10-28 10:15:49 +01:00
Vladimír Čunát
cba6641623
cairo, pango: fix some string references
2015-10-13 20:18:51 +02:00
Vladimír Čunát
91407a8bdf
ncurses: split into multiple outputs
...
Some programs (e.g. tput) might better be moved somewhere else than
$dev/bin, but that can be improved later if need be.
2015-10-13 20:18:44 +02:00
Vladimír Čunát
f8c211fd2b
fontconfig: split into multiple outputs
...
Fixed all 'fontconfig}' references as well, hopefully, ugh!
2015-10-05 12:23:56 +02:00
Vladimír Čunát
5227fb1dd5
Merge commit staging+systemd into closure-size
...
Many non-conflict problems weren't (fully) resolved in this commit yet.
2015-10-03 13:33:37 +02:00
Karn Kallio
87b75c33ce
R: advance to version 3.2.2.
...
A test failing without recommended packages has been patched.
2015-10-02 22:15:14 +02:00
Peter Simons
ccd3e52b60
Merge pull request #9917 from FlorentBecker/sage
...
Update sage to 6.8
2015-09-30 17:28:36 +02:00
Vincent Laporte
9a1245280d
hol_light: add support for camlp5 > 6.12
2015-09-23 19:04:51 +02:00
Vladimír Čunát
76ef7a93e3
Merge: xlibs and x11 attribute cleanup
...
Frequently using multiple *almost* identical attributes is bad.
2015-09-23 10:42:34 +02:00
Florent Becker
b860b106c5
sage: 6.1.1 -> 6.8
2015-09-22 09:01:33 +00:00
Gabriel Ebner
5493dccfbb
metis-prover: init at 2.3
2015-09-21 21:42:20 +02:00
Erik Rybakken
64c1a9a2e2
perseus: init at 4-beta
2015-09-19 00:56:24 +02:00
William A. Kennington III
773b4deb7c
Merge commit 'a6f6c0e' into master.upstream
...
This is a partial merge of staging where we have up to date binaries for
all packages.
2015-09-15 12:16:49 -07:00
Vladimír Čunát
88c9f8b574
xlibs: replace occurrences by xorg
...
This seems to have been confusing people, using both xlibs and xorg, etc.
- Avoided renaming local (and different) xlibs binding in gcc*.
- Fixed cases where both xorg and xlibs were used.
Hopefully everything still works as before.
2015-09-15 12:54:34 +02:00
Vladimír Čunát
21e3ff658a
x11: replace its usage by xlibsWrapper directly
...
Scilab note: the parameters already had pointed to nonexistent dirs
before this set of refactoring. But that config wasn't even used by
default.
2015-09-15 12:08:24 +02:00
Mathnerd314
eb7404d97a
all-packages: Use callPackage where possible
2015-09-14 22:27:19 -06:00
Marco Maggesi
cb2a05b826
HOL Light: findlib is not necessary (nor actually used). Remove dependency.
2015-09-13 18:08:20 +02:00
Russell O'Connor
4cc5f5dbb6
coq: Add csdp dependency
...
The csdp program is invoked for some uses of Micromega tactics.
2015-09-10 11:50:38 -04:00
Russell O'Connor
772ec9cae3
csdp: init at 6.1.1
2015-09-10 11:50:18 -04:00
Domen Kožar
f2627f9c81
Merge pull request #9752 from FRidh/maintainer
...
add myself as maintainer
2015-09-09 15:27:34 +02:00
Frederik Rietdijk
cd5a9afeac
add myself as maintainer
2015-09-09 15:25:49 +02:00
Austin Seipp
d8858e48e2
nixpkgs/jonprl: minor touchups
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-09-09 07:48:55 -05:00
Brian McKenna
e9bdf0fc07
JonPRL: init at 0.1.0
2015-09-09 21:23:48 +10:00
Vladimír Čunát
8f33b8cc93
mass rewrite of find parameters to cross-platform style
...
Fixes #9044 , close #9667 . Thanks to @taku0 for suggesting this solution.
Now we have no modes starting with `/` or `+`.
Rewrite the `-perm` parameters of find:
- completely safe: rewrite `/0100` and `+100` to `-0100`,
- slightly semantics-changing: rewrite `+111` to `-0100`.
I cross-verified the `find` manual pages for Linux, Darwin, FreeBSD.
2015-09-06 10:26:30 +02:00
Marco Maggesi
97b27e69c0
Update HOL Light to svn r244.
2015-09-01 16:30:27 +02:00
Eelco Dolstra
8fc039188e
Mark some packages with undownloadable source as broken
2015-09-01 12:00:04 +02:00
Vladimír Čunát
a839a48b0a
root: fix build by -lX11
...
The pkgconfig change didn't help, but I'd leave it in.
2015-09-01 08:23:00 +02:00
Arseniy Seroka
a3fab58287
Merge pull request #9583 from pjones/pkg/geda
...
geda: init at 1.8.2-20130925
2015-09-01 04:42:34 +03:00
Peter Jones
1d4135eab9
geda: init at 1.8.2-20130925
2015-08-31 15:09:58 -06:00
Gabriel Ebner
6b42cd852a
qalculate-gtk: init at 0.9.7
2015-08-31 19:20:29 +02:00
Austin Seipp
16b47aff4b
nixpkgs: saw-tools 0.1-20150609 -> 0.1.1-20150731
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-08-30 02:58:47 -05:00
Frederik Rietdijk
dbc7e0fea5
spyder: 2.2.5 -> 2.3.6
...
Set environment variable to use setuptools (fixes build issue).
[Bjørn: split enabling spyder for python3 into separate commit.]
2015-08-29 17:41:35 +02:00
