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:
e6754980261e9cc5b984793a2fe1e8c19cf65261f6544d618f
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
