Guillaume Girol
33afbf39f6
treewide: switch to nativeCheckInputs
...
checkInputs used to be added to nativeBuildInputs. Now we have
nativeCheckInputs to do that instead. Doing this treewide change allows
to keep hashes identical to before the introduction of
nativeCheckInputs.
2023-01-21 12:00:00 +00:00
figsoda
ec8cb34358
treewide: fix typos
2022-12-17 19:39:44 -05:00
Artturin
a584822577
treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH'
...
f7414e2
2022-07-15 02:50:09 +03:00
P. R. d. O
17be6f75ce
python3Packages.monosat: disable failing tests
2022-05-11 18:29:58 -06:00
Ryan Burns
2175b157ac
treewide: refactor isi686 && isx86_64 -> isx86
2021-11-20 17:50:41 -08:00
Robert Scott
e4362cea6f
monosat, python3Packages.monosat: fix for non-x86
2021-11-14 22:25:09 +00:00
Ben Siraphob
badf51221d
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
Ben Siraphob
b04fc593e7
treewide: cmake buildInputs to nativeBuildInputs, minor cleanups
2021-01-01 11:52:33 +07:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Aiken Cairncross
3db82f6fc3
python3Packages.monosat: Fix hash
...
PR #81562 inadvertently broke these builds
2020-03-03 11:02:23 -08:00
Aiken Cairncross
2148a154c6
python3Packages.monosat: Fix Python 3.8 build
2020-03-03 07:40:57 +01:00
Aiken Cairncross
15dbd8de7c
monosat: 60528a3 -> 1.8.0
...
This fixes the broken Linux build by only building the dynamic library/
executable (an option that was only added in the latest tagged version).
2019-10-15 16:52:25 -04:00
Aiken Cairncross
b4da391ade
monosat: Add self as maintainer
2019-10-15 12:20:55 +01:00
Linus Heckemann
5aa4b19946
treewide: mark some broken packages as broken
...
Refs:
e6754980264fe927320d5ff2dbd24ca4fac9a160
1e9cc5b9844ef603fe160e9f671178f96200774f
793a2fe1e8bb886ca2096c5904e1193dc3268b6d
c19cf65261639f749012454932a532aa7c681e4b
f6544d618f30fae0bc4798c4387a8c7c9c047a7c
2019-10-08 17:14:26 +02:00
volth
08f68313a4
treewide: remove redundant rec
2019-08-28 11:07:32 +00:00
Dan Peebles
1dd7bc7dfc
monosat: update build to use handy new environment variable
2018-07-08 22:04:05 -04:00
Dan Peebles
0372c87481
monosat: cbaf79cf -> 2deeadef
...
Upstream fixed a few things I needed to work around
2018-07-08 21:57:00 -04:00
Dan Peebles
631dd7a4e9
monosat: init at 1nx3wh34
...
Also includes the python and java bindings (although java is only
currently enabled on Linux)
2018-07-08 12:43:29 -04:00
