Commit Graph

1985 Commits

Author SHA1 Message Date
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
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
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
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
Timo Kaufmann
289173366b singular: backport ntl error handling patch 2018-08-04 14:22:27 +02:00
Timo Kaufmann
840b64fdb8 sage: 8.2 -> 8.3 2018-08-04 14:22:21 +02:00
Robert Schütz
ae3bbf2958 almonds: use python3 2018-08-03 18:04:46 +02:00
Johannes Frankenau
79cd841713 bcal: 1.8 -> 1.9 2018-08-03 09:08:26 +02:00
Uli Baum
052e4baf0a somatic-sniper: disable parallel building
to fix non-deterministic failure
2018-08-03 08:27:41 +02:00
xeji
9e52696649
Merge pull request #44325 from markuskowa/molcas
openmolcas: init at 20180529
2018-08-02 10:32:04 +02:00
Markus Kowalewski
484473b184
openmolcas: init at 20180529 2018-08-02 10:18:17 +02:00
Justin Bedő
51fc0ef8d2 somatic-sniper: init 1.0.5.0 (#43403) 2018-08-01 22:11:13 +02:00
Jörg Thalheim
9cff865230
Merge pull request #44122 from bgamari/kicad-0.5
kicad: 4.0.7 -> 5.0.0
2018-07-31 15:12:27 +01:00
Jörg Thalheim
71b579f9d4 kicad: remove scripting flag for simplicity 2018-07-31 14:44:49 +01:00
Jörg Thalheim
611f0ed188 kicad: properly wrap wxPython 2018-07-31 14:37:59 +01:00
R. RyanTM
38c8be3726 gp2c: 0.0.10pl1 -> 0.0.11 (#43941)
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/gp2c/versions.
2018-07-31 00:30:21 +02:00
R. RyanTM
d7c3926352 bcftools: 1.8 -> 1.9 (#43950)
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/bcftools/versions.
2018-07-30 22:36:27 +02:00
Timo Kaufmann
ae821e09e7 glpk: adopt error recovery patch (#44201)
This makes it possible to use "vanilla" glpk for sage and shouldn't
affect anything else.
2018-07-29 20:53:56 +02:00
Frederik Rietdijk
e46e7f44c2
Merge staging-next into master 2018-07-29 09:13:54 +02:00