Commit Graph

2053 Commits

Author SHA1 Message Date
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
Andrew Childs
07bd1d8737 kicad: use default cmake 2018-08-13 11:05:54 +09: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
Chris Ostrouchov
9745611ed6
lammps: 16Feb16 -> patch_2Aug2018
Major changes and update to lammps build

 - using fetchFromGitHub to get source instead of lammps mirror
 - configurable lammps packages included and includes for compilation
 - cleaner build script
 - preserving the executable, shared library names, and include headers
2018-08-10 16:35:54 -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
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
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
Tuomas Tynkkynen
008fd5fcf5 Merge remote-tracking branch 'upstream/master' into staging 2018-08-04 15:17:42 +03:00
John Ericson
db965063b3 treewide: Make configureFlags lists 2018-08-03 17:06:03 -04:00
John Ericson
85a9913edd treewide: Make more complicated configureFlags lists 2018-08-03 17:06:03 -04:00
John Ericson
632d24f11f scilab: Make configureFlags a list 2018-08-03 17:05:58 -04: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
Lluís Batlle i Rossell
f54b387b63 Merge remote-tracking branch 'central/master' into viric_clean 2018-07-28 19:25:14 +02:00
Frederik Rietdijk
8db716d9f3 Merge master into staging-next 2018-07-28 12:31:35 +02:00
Frederik Rietdijk
1fe2a0f81e
Merge pull request #44129 from timokau/pari-2.11.0
pari: 2.9.5 -> 2.11.0
2018-07-27 11:57:57 +02:00
Timo Kaufmann
330c501be0 pari: 2.9.5 -> 2.11.0
The pari update makes it necessary to disable a giac test that only
fails because it directly tests the pari interface.
2018-07-26 18:42:17 +02:00
Ben Gamari
a4c932fa51 kicad: 4.0.7 -> 5.0.0 2018-07-26 12:27:27 -04:00
Frederik Rietdijk
f59e6f4037 Merge master into staging 2018-07-26 16:18:53 +02:00
Robert Schütz
daabcc3b9a spyder: use python3
Dependency pylint is no longer supported on Python 2.
2018-07-26 12:43:18 +02:00
Matthew Bauer
6d880d2d5b
Merge pull request #42149 from timjrd/openspace-rebase
openspace: init at 0.11.1
2018-07-23 11:38:06 -04:00
Timo Kaufmann
024c23503c singular: 4.1.1p1 -> 4.1.1p2 2018-07-23 12:17:25 +02:00
Lluís Batlle i Rossell
66d7126255 Take me (viric) out of most maintenance
Since years I'm not maintaining anything of the list below other
than some updates when I needed them for some reason. Other people
is doing that maintenance on my behalf so I better take me out but
for very few packages. Finally!
2018-07-22 21:50:19 +02:00
Frederik Rietdijk
f3088832df
Merge pull request #43899 from r-ryantm/auto-update/tla-toolbox
tlaplusToolbox: 1.5.6 -> 1.5.7
2018-07-22 08:44:58 +02:00
Frederik Rietdijk
5dcb1febac
Merge pull request #43913 from r-ryantm/auto-update/picard-tools
picard-tools: 2.18.9 -> 2.18.10
2018-07-22 08:42:32 +02:00
Frederik Rietdijk
935a54f300
Merge pull request #43940 from r-ryantm/auto-update/gtkwave
gtkwave: 3.3.91 -> 3.3.92
2018-07-22 08:23:25 +02:00
R. RyanTM
a7a3526f71 gtkwave: 3.3.91 -> 3.3.92
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-07-21 17:57:51 -07:00
Ricardo M. Correia
0cf09556eb
why3: 0.88.3 -> 1.0.0 2018-07-21 22:53:44 +00:00
R. RyanTM
668047ca55 picard-tools: 2.18.9 -> 2.18.10
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-07-21 12:28:41 -07:00
R. RyanTM
9882d5635c tlaplusToolbox: 1.5.6 -> 1.5.7
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/tla-toolbox/versions.
2018-07-21 08:39:53 -07:00
Jörg Thalheim
218298b30f
Merge branch 'master' into unused5 2018-07-21 15:41:22 +01:00
Sebastien Maret
9092083e9e gildas: fix architecture detection for aarch64 2018-07-21 13:21:06 +02:00
volth
52f53c69ce pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
volth
6d2857a311 [bot] treewide: remove unused 'inherit' in let blocks 2018-07-20 19:38:19 +00:00
Frederik Rietdijk
1a6af9f88e
Merge pull request #43857 from volth/unused
[bot] treewide: remove unreferenced code
2018-07-20 21:06:32 +02:00
volth
87f5930c3f [bot]: remove unreferenced code 2018-07-20 18:48:37 +00:00
Matthew Bauer
fddd90e9ea
Merge pull request #43538 from timokau/fetchpatch-fix
fetchpatch: quote excludes
2018-07-19 00:35:09 -04:00
Matthew Bauer
76999cc40e treewide: remove aliases in nixpkgs
This makes the command ‘nix-env -qa -f. --arg config '{skipAliases =
true;}'’ work in Nixpkgs.

Misc...

- qtikz: use libsForQt5.callPackage

  This ensures we get the right poppler.

- rewrites:

  docbook5_xsl -> docbook_xsl_ns
  docbook_xml_xslt -> docbook_xsl

diffpdf: fixup
2018-07-18 23:25:20 -04:00
Michael Raskin
877899fdb9
Merge pull request #43679 from timokau/ntl-11.2.1
ntl: 9.11.0 -> 11.2.1
2018-07-18 15:08:43 +00:00
Jan Tojnar
a4443ef859
nasc: 0.4.6 → 0.4.7 2018-07-18 15:38:52 +02:00
Timo Kaufmann
cad446513e ntl: 9.11.0 -> 11.2.1
ntl hasn't been updated in a while. So I'm doing that and adding myself
as the maintainer. I'm also adding some options and pinning the sage
dependency, since it is unfortunately not compatible with the latest ntl
yet.

I've also enabled the tests, since they don't take terribly long and are
worth the time in my opinion.
2018-07-18 14:58:38 +02:00
Timo Kaufmann
3058513941 fetchpatch: add option to revert a patch 2018-07-16 22:46:54 +02:00
Jan Malakhovski
e80ca2182c clp: cleanup expression 2018-07-16 16:33:14 +00:00
Gabriel Ebner
862e4e4fdb cvc4: fix homepage url 2018-07-16 15:58:22 +01:00
fragamus
794a60a2fb bliss: fix header location (#43170) 2018-07-16 04:12:07 +00:00