mimadrid
14feec44e4
samtools: refactoring
2016-06-24 21:08:17 +02:00
Vladimír Čunát
6b27ceb006
Merge 'master' into staging and re-revert merge
...
... from staging to master, reverted temporarily in aa9a04883e
.
2016-06-23 12:09:03 +02:00
Vladimír Čunát
aa9a04883e
Revert "Merge branch 'staging'" due to glibc
...
The main output started to retain dependency on bootstrap-tools; see
https://github.com/NixOS/nixpkgs/pull/15867#issuecomment-227949096
This reverts commit c05d829598
, reversing
changes made to f073df60d6
.
2016-06-23 09:25:10 +02:00
Vladimír Čunát
c05d829598
Merge branch 'staging'
2016-06-22 10:49:56 +02:00
Gabriel Ebner
0a8e613cea
aspino: init at 2016-01-31
2016-06-21 13:55:28 +02:00
Gabriel Ebner
8f84a5cb08
glucose, glucose-syrup: init at 4.0
2016-06-21 13:26:51 +02:00
Gabriel Ebner
9c5588e99f
spass: 3.7 -> 3.9
2016-06-21 08:18:20 +02:00
Michael Raskin
ca495a53a5
tptp: fix hash
2016-06-20 18:38:08 +02:00
Bjørn Forsman
bd01fad0ed
Captialize meta.description of all packages
...
In line with the Nixpkgs manual.
A mechanical change, done with this command:
find pkgs -name "*.nix" | \
while read f; do \
sed -e 's/description\s*=\s*"\([a-z]\)/description = "\u\1/' -i "$f"; \
done
I manually skipped some:
* Descriptions starting with an abbreviation, a user name or package name
* Frequently generated expressions (haskell-packages.nix)
2016-06-20 13:55:52 +02:00
Gabriel Ebner
727716cd82
speedcrunch: 0.11-alpha -> 0.11
2016-06-19 18:45:04 +02:00
Gabriel Ebner
e5b3b685f4
libqalculate, qalculate-gtk: 0.9.7 -> 0.9.8
2016-06-19 17:33:45 +02:00
Gabriel Ebner
cc0b3bbcc2
minisat: support clang
2016-06-19 15:19:25 +02:00
Vladimír Čunát
e757404555
Merge branch 'master' into staging
...
Hydra nixpkgs: ?compare=1279790
2016-06-19 12:33:04 +02:00
Vladimír Čunát
97c484a10f
treewide: fix #include errors after gcc-5.4
...
They were mostly missing <cmath> or <math.h>.
2016-06-19 10:18:30 +02:00
mimadrid
aa8eba9d95
weka: 3.6.12 -> 3.8.0
...
Closes #16055
2016-06-16 15:47:48 +02:00
mimadrid
9b7a53d9cb
cytoscape: init at 3.4.0
...
Closes #16197
2016-06-16 15:47:21 +02:00
Christopher Lübbemeier
ac4903284c
gmsh: init at 2.12.0
2016-06-09 18:54:26 +02:00
Vincent Laporte
a577b3666e
why3: 0.87.0 -> 0.87.1
2016-06-09 09:51:38 +02:00
Luis Pedro Coelho
bd617cb185
init bwa at 0.7.15
...
Closes #16064
2016-06-08 17:25:20 +01:00
Tuomas Tynkkynen
f1d83444a5
openmodelica: Use makeLibraryPath
2016-06-07 21:18:02 +03:00
Joachim Fasting
e65698db0b
Merge pull request #15939 from ChrisJefferson/fix-gap
...
gap : 4.4.12 -> 4.8.3
2016-06-04 01:14:09 +02:00
Chris Jefferson
75f793bbb2
gap : 4.4.12 -> 4.8.3
2016-06-03 19:01:12 +01:00
Tuomas Tynkkynen
bac26e08db
Fix lots of fetchgit hashes (fallout from #15469 )
2016-06-03 17:17:08 +03:00
Nikolay Amiantov
51f479465c
qgroundcontrol: fix build
2016-05-29 19:51:22 +03:00
Moritz Ulrich
7b2fab05f3
Merge pull request #15606 from dvc94ch/fpga-toolchain-updates
...
FPGA toolchain updates
2016-05-28 15:41:10 +02:00
Vladimír Čunát
e4832c7541
Merge branch 'staging'
...
Includes a security update of libxml2.
2016-05-27 15:58:40 +02:00
Vladimír Čunát
81039713fa
Merge branch 'master' into staging
...
... to get the systemd update (rebuilding ~7k jobs).
2016-05-26 16:50:22 +02:00
Vladimír Čunát
ee1a10ee6b
Revert "root: enable parallel building"
...
This reverts commit 2991fdca52
.
Hydra builds often report missing various files.
2016-05-26 16:27:59 +02:00
Tobias Geerinckx-Rice
dce1edf946
samtools: 1.3 -> 1.3.1
2016-05-25 02:06:47 +02:00
Nicolò Balzarotti
c1c0c99af3
yarp: 2.3.64 -> 2.3.65 ( #15662 )
2016-05-24 13:30:52 +02:00
David Craven
509ce20ded
verilog: 0.97 -> 2016.05.21
2016-05-22 07:38:57 +02:00
David Craven
ce3d510d90
verilator: 3.874 -> 3.884
2016-05-22 07:38:57 +02:00
Tuomas Tynkkynen
8d473f107c
treewide: Make explicit that 'dev' output of readline is used
2016-05-19 10:03:35 +02:00
Tuomas Tynkkynen
47c45e2041
treewide: Make explicit that 'dev' output of gmp is used
2016-05-19 10:00:36 +02:00
Tuomas Tynkkynen
85a51074dc
treewide: Make explicit that 'dev' output of atk is used
2016-05-19 10:00:25 +02:00
Peter Simons
8e462995ba
Bring my stdenv.lib.maintainers user name in line with my github nick.
2016-05-16 22:49:55 +02:00
Vladimír Čunát
6c2fbfbd77
Merge branch 'master' into staging
2016-05-12 04:53:38 +02:00
Bjørn Forsman
300e495101
sigrok: update whole suite to latest (2016-01)
...
Release announcement, 2016-01-30:
https://www.sigrok.org/blog/major-sigrok-releases-libsigrok-libsigrokdecode-sigrok-cli-pulseview
I first tried updating the projects in separate commits. But later I
found cyclic dependencies, that would break git bisect, so I ended up
squashing the commits:
* libsigrok: 0.3.0 -> 0.4.0
Enable building libsigrokcxx.so, the C++ bindings for libsigrok, by
adding doxygen, glibmm and python as build deps. This is needed for
Pulseview >= 0.3.0. Also update the firmware (sigrok-firmware-fx2lafw)
while at it.
* libsigrokdecode: 0.3.0 -> 0.4.0
* sigrok-cli: 0.5.0 -> 0.6.0
* pulseview: 0.2.0 -> 0.3.0
New dependency: glibmm (due to libsigrokcxx.pc from libsigrok).
Note that collectd is incompatible with the new libsigrok release, so
I let it use the old one (0.3.0).
2016-05-11 22:23:29 +02:00
Eelco Dolstra
7ce5d43c63
Fix some URLs that lacked a URI scheme
2016-05-09 19:35:05 +02:00
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
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