Jan Tojnar
c5881ec2c9
Merge remote-tracking branch 'upstream/master' into staging
2018-11-30 20:09:45 +01:00
Frederik Rietdijk
1828a5c5ba
Merge master into staging-next
2018-11-30 17:46:21 +01:00
Matthew Bauer
76c7a8bac0
Merge pull request #51205 from matthewbauer/more-setup-hooks
...
Add premake & imake setup hook
2018-11-29 19:36:25 -06:00
Frederik Rietdijk
9b81c7e455
Merge staging-next into staging
2018-11-29 09:18:35 +01:00
Frederik Rietdijk
9db2421d1f
Merge master into staging-next
2018-11-29 08:12:56 +01:00
Matthew Bauer
c0a804c747
treewide: add dontUseImakeConfigure where needed
...
We need to set dontUseImakeConfigure in a few places to prevent imake
from overriding the default configure phase. This packages all have a
configure script that needs to get run:
- Xaw3d
- R
- tkgate
- ssvnc
2018-11-28 20:14:45 -06:00
Matthew Bauer
8a4da41849
xearth: use imake setup hook
2018-11-28 20:14:36 -06:00
Will Dietz
d7a0e03cfa
Merge pull request #51162 from dtzWill/update/z3-4.8.3
...
z3: 4.8.1 -> 4.8.3
2018-11-28 18:15:31 -06:00
Timo Kaufmann
aa053197de
Merge pull request #51191 from timokau/sage-fixes
...
sage: fix test timeout and downgraded R tests
2018-11-28 23:10:32 +01:00
Timo Kaufmann
d6376bca6d
sage: don't test the downgraded R
...
Fails transiently. See https://github.com/NixOS/nixpkgs/pull/49249 . The
failures look harmless and are fixed with R 3.5 which will be used in
sage 8.5.
2018-11-28 22:52:15 +01:00
Timo Kaufmann
359bf7f1e3
sage: disable test timeout
...
Hydra build failed due to timeout:
https://hydra.nixos.org/build/84870983
2018-11-28 22:37:24 +01:00
Renaud
d209180c78
Merge pull request #51087 from Luz/librepcb
...
librepcb: 20181031 -> 0.1.0
2018-11-28 08:19:13 +01:00
Will Dietz
a034d90e3b
z3: 4.8.1 -> 4.8.3
...
https://github.com/Z3Prover/z3/releases/tag/z3-4.8.3
2018-11-27 22:00:19 -06:00
R. RyanTM
36a0335d02
picard-tools: 2.18.14 -> 2.18.17 ( #50647 )
...
* picard-tools: 2.18.14 -> 2.18.16
Changelog: https://github.com/broadinstitute/picard/releases/tag/2.18.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/picard-tools/versions
* picard-tools: 2.18.16 -> 2.18.17
Changelog: https://github.com/broadinstitute/picard/releases/tag/2.18.17
2018-11-27 14:31:09 +01:00
Nick Hu
583911a0b2
quantomatic: init at 0.7
2018-11-26 21:51:58 +00:00
Luz
021b6e86fa
librepcb: 20181031 -> 0.1.0
2018-11-26 22:33:39 +01:00
Vladimír Čunát
a5de78b7d7
Merge branch 'master' into staging-next
2018-11-26 10:28:00 +01:00
Timo Kaufmann
2fbde72556
sage: add tkinter as matplotlib backend ( #51032 )
...
Fixes #50959 .
2018-11-25 17:38:45 +01:00
Timo Kaufmann
98c94d3d7d
sage: add jupyter notebook support
...
Fixes #48544 .
2018-11-25 15:54:31 +01:00
Timo Kaufmann
0c23fa9aaf
Merge pull request #50998 from timokau/sage-refactor
...
Sage refactor
2018-11-24 23:59:28 +01:00
Timo Kaufmann
a0723f1285
sage: don't fix node version
2018-11-24 23:14:38 +01:00
Timo Kaufmann
e28a8ed287
sage: add some flexibility to the test runner
...
Make it possible to run individual tests. This is very useful while
git-bisecting.
2018-11-24 23:14:38 +01:00
Timo Kaufmann
21f9123ea6
sage: remove openblas hack
...
The pc files have since been included into the openblas package.
2018-11-24 23:14:38 +01:00
Timo Kaufmann
3832ddedb9
sage: refactor
2018-11-24 23:14:33 +01:00
c0bw3b
0ea604ac1d
Treewide: use https for SourceForge
2018-11-24 19:58:03 +01:00
Timo Kaufmann
9b4a518465
sage: drop known-padics-failure patch
...
The failure was not observed for a while and is probably fixed now.
2018-11-24 19:01:57 +01:00
Timo Kaufmann
ca6475b5e8
sage: drop unused patches
2018-11-24 19:01:57 +01:00
Frederik Rietdijk
c1792242ef
Merge staging-next into staging
2018-11-24 10:44:50 +01:00
Frederik Rietdijk
e41154d1ab
Merge master into staging-next
2018-11-24 10:43:33 +01:00
Gabriel Ebner
4e1323a0cf
vampire: fix nondeterministic hash
...
Probably related to #8567
2018-11-22 14:15:55 +01:00
Michael Raskin
6fe39605df
polymake: init at 3.2r4
2018-11-22 12:29:14 +03:00
Frederik Rietdijk
2219e2578e
Merge staging-next into staging
2018-11-22 10:10:40 +01:00
Frederik Rietdijk
c31cb577ae
Merge master into staging-next
2018-11-22 09:57:08 +01:00
worldofpeace
2e70b40f58
Merge pull request #49376 from dpaetzel/package-netlogo
...
NetLogo: init 6.0.4
2018-11-21 21:37:01 -05:00
Frederik Rietdijk
fed881e510
Merge staging-next into staging
2018-11-21 12:39:46 +01:00
Frederik Rietdijk
701375662b
Merge master into staging-next
2018-11-21 12:39:20 +01:00
Gabriel Ebner
f505340252
iprover: 2.5 -> 2018_Jul_24_11h
2018-11-21 12:15:48 +01:00
David Pätzel
fa623ad828
netlogo: init 6.0.4
2018-11-21 09:38:22 +01:00
Matthew Bauer
d492f53faf
Merge pull request #50527 from matthewbauer/ninja-check-phase
...
Add check phase to ninja setup hook
2018-11-20 16:55:12 -06:00
markuskowa
0e98312b72
Merge pull request #50734 from r-ryantm/auto-update/gromacs
...
gromacs: 2018.3 -> 2018.4
2018-11-20 22:14:05 +01:00
Frederik Rietdijk
aabf1a93bc
Merge staging-next into staging
2018-11-20 11:51:11 +01:00
Frederik Rietdijk
fd26e7be2a
Merge master into staging-next
2018-11-20 11:47:26 +01:00
Renaud
6550c0275e
Merge pull request #50703 from r-ryantm/auto-update/ltl2ba
...
ltl2ba: 1.2b1 -> 1.2
2018-11-19 22:21:52 +01:00
luzpaz
0ec2af3736
gmsh: 4.0.4 -> 4.0.5
...
Manually updated
2018-11-19 11:12:38 -05:00
R. RyanTM
08a0192340
gromacs: 2018.3 -> 2018.4
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gromacs/versions
2018-11-19 06:47:47 -08:00
R. RyanTM
5648699f6c
ltl2ba: 1.2b1 -> 1.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/ltl2ba/versions
2018-11-19 02:28:38 -08:00
Frederik Rietdijk
e343a85cfb
Merge master into staging-next
2018-11-19 09:55:32 +01:00
Matthew Bauer
2c47a4229f
treewide: remove ctest usages
...
These are already in the generated makefiles!
2018-11-18 19:31:02 -06:00
Matthew Bauer
2c1d3a9a82
Merge remote-tracking branch 'upstream/master' into staging
2018-11-18 19:02:09 -06:00
Jörg Thalheim
1282ba6ac4
Merge pull request #50554 from r-ryantm/auto-update/verilator
...
verilator: 4.004 -> 4.006
2018-11-18 12:18:45 +00:00