Commit Graph

2004 Commits

Author SHA1 Message Date
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
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
Jake Waksbaum
8ae47fa81a symmetrica: Add darwin support 2018-08-14 11:23:21 -04:00
Jake Waksbaum
be81e1e29c gfan: Add darwin support 2018-08-14 00:16:46 -04:00
Vladimír Čunát
5b0398dc36
Merge branch 'master' into staging-next
Conflicts: gobby and libinfinity - I took the hand-edited versions
instead of those resuting from the mass-replacement.

Hydra: ?compare=1473190
2018-08-13 20:43:59 +02:00
Sebastien Maret
b4599987e3 gildas: 20180701_a -> 20180801_a 2018-08-13 15:17:15 +02:00
Gabriel Ebner
7478da5e84
Merge pull request #42885 from smaret/gildas
gildas: 20180601_a -> 20180701_a
2018-08-13 10:55:18 +02:00
Samuel Dionne-Riel
c9035c6e12
Merge pull request #44681 from r-ryantm/auto-update/vcftools
vcftools: 0.1.15 -> 0.1.16
2018-08-12 19:26:38 -04:00
Vladimír Čunát
00df25ee57
Merge branch 'master' into staging-next
Hydra: ?compare=1472947
2018-08-12 10:33:41 +02:00
Sebastien Maret
e3b42396c6 gildas: update source url 2018-08-10 10:13:31 +02:00
Sebastien Maret
170426510e gildas: patch perl interpreter path 2018-08-10 10:04:27 +02:00
Silvan Mosberger
68d3350433
Merge pull request #44837 from Infinisil/fix/sad
sad: fix build
2018-08-09 22:36:14 +02:00
Jake Waksbaum
3babbaaa47 palp: Add darwin support (#44829) 2018-08-09 22:28:27 +02:00
Silvan Mosberger
e710f80018
sad: fix build 2018-08-09 22:13:44 +02:00
Frederik Rietdijk
d9fa74ba78 Merge master into staging 2018-08-09 18:28:15 +02:00
Austin Seipp
752284680b symbiyosys: 2018.05.03 -> 2018.07.26
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-08 19:49:42 -05:00
R. RyanTM
f5f55e4727 vcftools: 0.1.15 -> 0.1.16
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/vcftools/versions.
2018-08-08 00:48:04 -07:00
Timo Kaufmann
291018b34e arb: 2.13.0 -> 2.14.0 (#44600) 2018-08-07 16:38:34 +02:00
symphorien
0ca40a51c7 gwyddion, ripser: fix derivation name (#44577) 2018-08-07 01:21:53 +02:00
Michael Raskin
75cb04672f
Merge pull request #44508 from timokau/cddlib-0.94j
cddlib: 0.94i -> 0.94j
2018-08-05 19:03:47 +00:00
Timo Kaufmann
0a44ff7676 cddlib: 0.94i -> 0.94j
cddlib was autotoolized, incorporated equivalents to the sage patches
and moved to GitHub.
2018-08-05 19:02:45 +02:00
Michael Raskin
6b0234942b
Merge pull request #44501 from timokau/sage-native-pari
sage: don't override pari
2018-08-05 15:14:00 +00:00
Timo Kaufmann
30c822189d sage: don't override pari
Sage assumes that pari does not use threads. However instead of
disabling them at compile time, we can diable them at runtime instead.
As a result, sage doesn't need its own version of pari anymore. That
means less rebuilds, less complexity and easier debugging.
2018-08-05 13:48:14 +02:00
Michael Raskin
58384b1dd0 scilab-bin: 5.5.2 -> 6.0.1 2018-08-05 11:27:35 +03:00
Michael Raskin
b79dbfe482
Merge pull request #43281 from timokau/sage-8.3
sage: 8.2 -> 8.3
2018-08-04 13:02:06 +00:00
Timo Kaufmann
834a24e0ff sage: don't pin ntl
Now possible because of the lcalc c++11 patch.
2018-08-04 14:22:58 +02:00
Timo Kaufmann
e550e5d0c7 lcalc: apply c++11 patch 2018-08-04 14:22:29 +02:00
Timo Kaufmann
fa34f6d41c sage: don't pin pari 2018-08-04 14:22:28 +02:00
Timo Kaufmann
e82c26af9b sage: don't pin singular 2018-08-04 14:22:28 +02:00