Commit graph

2031 commits

Author SHA1 Message Date
Gabriel Ebner da3326902a vampire: fix nondeterministic hash
Probably related to #8567
2018-09-01 15:03:31 +02:00
R. RyanTM 7fdaf76869 verilator: 3.924 -> 3.926 (#45797)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
verilator
2018-09-01 12:14:00 +02:00
John Ericson 2c2f1e37d4 reewide: Purge all uses stdenv.system and top-level system
It is deprecated and will be removed after 18.09.
2018-08-30 17:20:32 -04:00
R. RyanTM e301589013 gmsh: 3.0.6 -> 4.0.0 (#45592)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gmsh/versions.
2018-08-27 16:06:28 +02:00
Timo Kaufmann 0e4160a3a1 pythonPackages.sympy: 1.1.1 -> 1.2 2018-08-26 19:56:44 +02:00
wucke13 b7e695461e apmplanner2: fixed wrong path in .desktop file
The `apmplanner2.desktop` file defaults to `/usr/share/...` regardless which out
prefix is given to make. So I chose to fix it manually.
2018-08-25 00:39:58 +02:00
Vladimír Čunát 7db611f2af
Merge branch 'staging'
Includes libX11 security update.
2018-08-24 09:19:43 +02:00
Bignaux Ronan 70d5f16898 astrolabe-generator: init at 3.3 (#45429) 2018-08-23 22:35:05 +02:00
Joachim F 0d80f9659c
Merge pull request #45305 from wucke13/apmplanner2
apmplanner2: init at 2.0.26
2018-08-23 14:07:45 +00:00
Matthew Bauer f7bc33abf0 Revert "treewide: fixup breakage due to absolute compiler path"
This reverts commit d0888d1503.
2018-08-22 01:14:53 +02:00
xeji 6216f5da04
Merge pull request #45263 from r-ryantm/auto-update/bowtie2
bowtie2: 2.3.4.1 -> 2.3.4.2
2018-08-21 19:51:36 +02:00
Uli Baum c47aafde87 bowtie2: broken on aarch64
never built as far back as hydra logs go.
2018-08-21 19:11:37 +02:00
Vladimír Čunát 765d695b89
Merge branch 'staging-next'
Security fixes for a few packages are included.
2018-08-21 15:36:02 +02:00
Vladimír Čunát d0888d1503
treewide: fixup breakage due to absolute compiler path
Some packages just can't handle them #44767.  It was tempting to try
to abstract this in some way, but I didn't do that ATM.
2018-08-21 12:34:33 +02:00
xeji 54ff14b6f3
Merge pull request #45399 from markuskowa/license-8
Add licenses
2018-08-21 12:05:10 +02:00
Jörg Thalheim 736db8db10
Merge pull request #44951 from rittelle/eagle
eagle: 7.7 -> 9.1.2
2018-08-21 10:51:13 +01:00
wucke13 b4531605c3 apmplanner2: init at 2.0.26
I would like to see more Ground Control Stations in the nixpkgs.
2018-08-21 02:02:51 +02:00
Markus Kowalewski a1129ef9cb
glsurf: add license 2018-08-20 21:15:16 +02:00
Markus Kowalewski 3c1819fcce
ginac: add license 2018-08-20 21:02:45 +02:00
Joachim F 6755ab8b34
Merge pull request #44250 from jbedo/strelka
strelka: init 2.9.5
2018-08-20 06:24:15 +00:00
Justin Bedo 27960b6acf
strelka: init 2.9.5 2018-08-20 08:58:22 +10:00
rittelle 9e4d2d723a
eagle: 7.7 -> 9.1.2
Updated eagle to version to 9.1.2 while keeping version 7.7 as eagle7.
2018-08-19 15:36:08 +02:00
Jörg Thalheim 4609e3abf2
Merge pull request #45303 from markuskowa/molden-up
molden: 5.7 -> 5.8.2
2018-08-19 13:32:28 +01:00
Markus Kowalewski 04d283ecda
molden: patch to deactivate extension installer script 2018-08-19 11:29:31 +02:00
Orivej Desh 65663f883c msgpack: rename from libmsgpack
The project does not use the name "libmsgpack". It variously uses "msgpack" and
"msgpack-c", and "msgpackc" for the name of the library.
2018-08-18 23:19:54 +00:00
Markus Kowalewski 79bf57ca23
molden: 5.7 -> 5.8.2 2018-08-18 14:24:39 +02:00
Vladimír Čunát 209730208a
Merge branch 'staging-next' 2018-08-17 20:51:31 +02:00
Jörg Thalheim 5cb9703a8f
Merge pull request #45173 from r-ryantm/auto-update/octopus
octopus: 8.1 -> 8.2
2018-08-17 16:10:43 +01:00
R. RyanTM 73f1448a1f bowtie2: 2.3.4.1 -> 2.3.4.2
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/bowtie2/versions.
2018-08-17 06:50:10 -07:00
Vladimír Čunát cbabebcc2e
Merge branch 'master' into staging-next
Hydra: ?compare=1473892
2018-08-17 13:45:21 +02:00
Jörg Thalheim 3dd311bde9
Merge pull request #45220 from r-ryantm/auto-update/gtkwave
gtkwave: 3.3.92 -> 3.3.93
2018-08-17 11:58:27 +01:00
Jörg Thalheim 0359c5eb65
Merge pull request #45217 from r-ryantm/auto-update/igv
igv: 2.4.13 -> 2.4.14
2018-08-17 11:56:26 +01:00
Peter Simons a721bc4bf3
Merge pull request #45134 from r-ryantm/auto-update/stellarium
stellarium: 0.18.1 -> 0.18.2
2018-08-17 11:55:31 +02:00
R. RyanTM 190bd05de2 gtkwave: 3.3.92 -> 3.3.93
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gtkwave/versions.
2018-08-17 02:05:58 -07:00
R. RyanTM 33ebfbfcf8 igv: 2.4.13 -> 2.4.14
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/igv/versions.
2018-08-17 01:23:03 -07:00
R. RyanTM ae846c0c03 octopus: 8.1 -> 8.2
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/octopus/versions.
2018-08-16 20:04:53 -07:00
Jörg Thalheim 4e9b4a9ca7
Merge pull request #45158 from r-ryantm/auto-update/picard-tools
picard-tools: 2.18.10 -> 2.18.11
2018-08-17 00:36:56 +02:00
R. RyanTM ff7d82d405 picard-tools: 2.18.10 -> 2.18.11
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/picard-tools/versions.
2018-08-16 14:33:38 -07:00
R. RyanTM c274490146 stellarium: 0.18.1 -> 0.18.2
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/stellarium/versions.
2018-08-16 12:03:22 -07:00
zimbatm b7e50d52f0
caffe: add darwin support (#44616) 2018-08-16 12:46:51 +01:00
Gabriel Ebner f207998d79 qalculate-gtk: 2.6.1 -> 2.6.2 2018-08-16 11:56:27 +02:00
Austin Seipp d5e496a2bb boolector: 2.4.1 -> 3.0.0, relicensed to MIT
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-15 20:44:05 -05:00
Austin Seipp 9b64100add btor2tools: init at pre55_8c150b39
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-15 20:44:05 -05:00
Austin Seipp 68cc845295 lingeling: init at pre1_03b4860d
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-15 20:44:05 -05:00
Austin Seipp 6e910b2b3d aiger: clean up configurePhase, install multi-output objects/headers
The library and header files are useful for other tools, such as
the upcoming 'lingeling'.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-15 20:44:05 -05:00
Michael Mercier b8566965df Update simgrid 3.19.1 -> 3.20 + parallel tests + enable darwin (#42721)
* simgrid: 3.19.1 -> 3.20

Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/simgrid/versions.

These checks were done:

- built on NixOS
- /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/smpicc passed the binary check.
- /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/smpicxx passed the binary check.
- /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/smpirun passed the binary check.
- Warning: no invocation of /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/tesh had a zero exit code or showed the expected version
- /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/simgrid-colorizer passed the binary check.
- Warning: no invocation of /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/simgrid_update_xml had a zero exit code or showed the expected version
- /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/simgrid_convert_TI_traces passed the binary check.
- Warning: no invocation of /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/smpimain had a zero exit code or showed the expected version
- /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/graphicator passed the binary check.
- 6 of 9 passed binary check by having a zero exit code.
- 4 of 9 passed binary check by having the new version present in output.
- found 3.20 with grep in /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20
- directory tree listing: https://gist.github.com/edefc2f1a2e81412484edc2e45986e03
- du listing: https://gist.github.com/a44f7d57537e93152a8e6c569f8ed1ae

* simgrid: 3.19.1 -> 3.20 + add darwin

- Fix dependencies to enable build on darwin
- Add ctest flag to enable parallel testing

* Use simpler parallel testing logic

because it is already done in nixpkgs/pkgs/stdenv/generic/setup.sh
2018-08-15 19:54:41 -05:00
Bernard Fortz 22c15abe20 cplex: init at 12.8 (#44029)
* cplex: init at 12.8

* Removed bundled java from bin directory

* Refactored

* More refactoring

* Added config option for releasePath

* Minor cleanup
2018-08-15 19:46:09 -05:00
adisbladis 2937e7367f
Merge pull request #45009 from jbaum98/ratpoints-darwin
ratpoints: 2.1.3 -> 2.1.3.p4; add darwin support
2018-08-15 15:28:39 +08:00
Jörg Thalheim 0ee6d7e3ab
Merge pull request #45011 from jbaum98/symmetrica-darwin
symmetrica: Add darwin support
2018-08-15 07:54:56 +02:00
Jake Waksbaum 47aa6abe96 ratpoints: 2.1.3 -> 2.1.3.p4; add darwin support 2018-08-14 11:27:59 -04:00