Robert Scott
8db3ea1ef1
Merge pull request #98614 from r-burns/aragorn
...
aragorn: fix build on darwin
2020-09-25 19:58:10 +01:00
Dmitry Kalinkin
7867aafa51
Merge pull request #97613 from drewrisinger/zhf/verilog
...
verilog: cleanup & test
2020-09-25 10:37:34 -04:00
R. RyanTM
e66a7e2fb7
cytoscape: 3.8.0 -> 3.8.1
2020-09-25 04:38:49 +00:00
R. RyanTM
0765b507f9
jmol: 14.31.2 -> 14.31.3
2020-09-23 23:36:41 -07:00
Ryan Burns
6cc2d3e6f2
aragorn: fix build on darwin
...
Use environment-specified $CC for C compiler
2020-09-23 20:45:21 -07:00
Ryan Mulligan
dfd2eeabd6
Merge pull request #69644 from bzizou/obitools
...
obitools3: init at 3.0.0-beta14
2020-09-23 19:04:11 -07:00
Doron Behar
0307d0e82b
Merge pull request #98441 from vbgl/why3-1.3.3
...
why3: 1.3.1 -> 1.3.3
2020-09-23 10:35:57 +03:00
Daniël de Kok
af5b1a9f94
Merge pull request #98427 from jbedo/octopus
...
octopus-caller: 0.6.3 -> 0.7.0
2020-09-23 08:24:10 +02:00
Jon
c7fdc43709
Merge pull request #98283 from risicle/ris-truvari-2.0.2
...
truvari: 1.3.4 -> 2.0.2, add new dependencies & fix build
2020-09-22 23:10:58 -07:00
Robert Scott
fc709e6dfe
cvc3: enable for darwin
...
it may be possible to get it building under clang with some work, but
switching it to gcc for now allows us to enable it
2020-09-22 23:06:45 -07:00
Robert Scott
53a8a415ac
cvc3: fix build against bison 3.7
...
for some reason bison 3.7 output references $x_defs.h files under the name
$x.hpp. create symlinks to make this work.
2020-09-22 23:06:45 -07:00
Austin Seipp
daaa0e3350
Merge pull request #98239 from Sohalt/avy
...
avy: 2017.10.16 -> cav19
2020-09-22 23:19:05 -05:00
Vincent Laporte
64b68b30e9
why3: 1.3.1 -> 1.3.3
2020-09-23 03:24:02 +02:00
Drew Risinger
ba886f7b1a
verilog: add tests
...
Run recommended self-tests from iverilog's CI.
Tests add about a minute to the build time on local machine
(2 -> 3 mins).
2020-09-22 13:58:15 -04:00
Drew Risinger
0d9a6e2da5
verilog: cleanup
...
Meta attributes were out of date or not in current style,
and some attributes of derivation were redundant.
2020-09-22 13:58:06 -04:00
Justin Bedo
4bbdb75f22
octopus-caller: 0.6.3 -> 0.7.0
2020-09-22 08:43:04 +10:00
sohalt
40722346b8
avy: 2017.10.16 -> 2019.05.01
2020-09-20 16:13:29 +02:00
Robert Scott
ecd5886830
truvari: 1.3.4 -> 2.0.2, fixing build
...
seeing it has no tests, use pythonImportsCheck in an attempt to detect
total breakage, even though it's not intended to be used as an importable
module
2020-09-20 12:25:17 +01:00
Robert Scott
f1d2491057
bwa: include static library and some key headers in output
2020-09-20 12:23:18 +01:00
Gabriel Ebner
efa2089077
Merge pull request #89731 from doronbehar/jdk_rename
2020-09-20 11:07:55 +02:00
Robert Scott
4637721bc1
truvari: fix build
...
be less strict about versions
2020-09-19 20:25:08 -07:00
Gabriel Ebner
67ff41201f
leo3: fix executable
2020-09-19 15:05:02 +02:00
Gabriel Ebner
1c576d0b37
sage: use jdk8
2020-09-19 14:22:43 +02:00
Hannes Weisbach
9c73e34d18
kicad: remove gettext from buildInputs, add to nativeBuildInputs
...
The i18n "library" does not link against gettext. It only requires the
msgfmt utility from gettext, hence gettext should be a nativeBuildInput
2020-09-17 19:48:50 +02:00
Vladyslav M
9147432d5f
Merge pull request #98062 from jonringer/fix-streamlit
...
streamlit: fix build
2020-09-16 23:45:32 +03:00
Austin Seipp
f1f1396167
Merge pull request #98109 from Pamplemousse/verilator
...
verilator: 4.040 -> 4.100
2020-09-16 14:25:25 -05:00
Pamplemousse
9839c0b292
verilator: 4.040 -> 4.100
...
Signed-off-by: Pamplemousse <xav.maso@gmail.com>
2020-09-16 08:40:01 -07:00
Anderson Torres
811709ff94
Merge pull request #95734 from trepetti/flatcam
...
flatcam: init at 8.5
2020-09-15 23:17:59 -03:00
Jonathan Ringer
07660b28bc
streamlit: fix build
2020-09-15 11:19:26 -07:00
Vincent Laporte
cc4a33d78c
ott: 0.30 → 0.31
2020-09-14 21:42:22 +02:00
Sébastien Maret
234b39a6d4
gildas: 20200601_b -> 20200901_a ( #97968 )
2020-09-14 11:18:06 -04:00
Robert Scott
35ca475f8b
Merge pull request #97757 from freezeboy/fix-lp_solve
...
lp_solve: fix build
2020-09-13 11:00:26 +01:00
freezeboy
3fc3fd14cf
lp_solve: fix buildCommand some binaries moved
2020-09-13 03:51:51 +02:00
Thomas Tuegel
87c7d1d4f8
z3: 4.8.8 -> 4.8.9
2020-09-11 14:38:43 -05:00
Maximilian Bosch
56708c3bf3
Merge pull request #97555 from badmutex/badi/maintainers-update
...
maintainers: updates for badi/badmutex
2020-09-09 23:03:52 +02:00
Badi Abdul-Wahid
f3ce1df79a
tlaplus: remove myself from maintainers list
2020-09-09 10:40:46 -05:00
Cole Helbling
339f6248f6
verilog: unstable-2019-08-01 -> unstable-2020-08-24
...
The build would previously fail due to a change in bison's behavior (see
5b699c1be7
2020-09-09 00:47:52 -07:00
Emery Hemingway
dc09e3edfc
nim: wrap compiler for cross-compilation support
2020-09-07 16:16:55 +02:00
Emery Hemingway
06ac3c1d2a
nim: patch to fix dynamic library loading
2020-09-07 16:16:55 +02:00
Vincent Laporte
2a82f71bed
proverif: 2.01 → 2.02pl1
2020-09-07 09:54:54 +02:00
Vladimír Čunát
0ecc8b9a56
Merge #97229 : picard-tools: 2.23.3 -> 2.23.4
2020-09-07 09:38:34 +02:00
R. RyanTM
1cd9dafce0
ott: 0.30 -> 0.31
2020-09-06 22:25:50 +01:00
Daniël de Kok
193a6a2307
Merge pull request #97243 from r-ryantm/auto-update/rink
...
rink: 0.5.0 -> 0.5.1
2020-09-06 10:52:28 +02:00
Ryan Mulligan
6748689238
Merge pull request #97251 from r-ryantm/auto-update/star
...
star: 2.7.4a -> 2.7.5c
2020-09-05 19:28:47 -07:00
R. RyanTM
cc797c4ab8
star: 2.7.4a -> 2.7.5c
2020-09-05 18:44:51 +00:00
R. RyanTM
f47530237d
rink: 0.5.0 -> 0.5.1
2020-09-05 16:48:17 +00:00
R. RyanTM
1c368b0f13
picard-tools: 2.23.3 -> 2.23.4
2020-09-05 14:02:32 +00:00
voidless
721da4b5e2
geogebra6: 6-0-598-0 -> 6-0-600-0
2020-09-04 11:49:44 +02:00
Tom Repetti
10e5003d20
flatcam: init at 8.5
2020-09-03 14:19:59 -04:00
John Ericson
1965a241fc
Merge pull request #61019 from volth/gcc.arch-amd
...
platform.gcc.arch: support for AMD CPUs
2020-09-01 22:31:16 -04:00
