3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

940 commits

Author SHA1 Message Date
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
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
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 introduced a new preConfigure hook that sets the right
qmake path. Unfortunately the mkDerivation attributes of qgroundcontrol
override the whole configurePhase, so this hook isn't run at all.

Instead of using pushd/popd, I'm making it a bit more readable by just
spawning a subshell with the right working directory.

This fixes the build of qgroundcontrol and it now successfully compiles
on my machine.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
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 introduced a new preConfigure hook that sets the right
qmake path. Unfortunately the mkDerivation attributes of fritzing
override the whole configurePhase, so this hook isn't run at all.

This fixes the build of fritzing and it now successfully compiles on my
machine.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
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
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
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
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
Patrick Callahan 66b5055b95 gazebo: init at 6.5.1 and 7.0.0 2016-03-28 11:44:37 -07: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
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
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
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
Vincent Laporte 694a5ba291 eprover: fix build on Darwin 2016-02-29 15:35:40 +01: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
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
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
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.

@oconnorr I will restore this once there is more ecosystem to support it.
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