Will Dietz
4c767417ea
picosat: fix ar and ranlib usage for cross
2018-02-13 09:44:32 -06:00
Will Dietz
36b2706916
picosat: fixup include for unistd.h
2018-02-13 09:44:32 -06:00
Austin Seipp
b72f543f96
picosat: install more stuff
...
Projects like the AIGER toolkit want to use the picosat.o object file in order
to do SAT solving. Install this, along with the header and version information,
so a build of the AIGER can use it. This means that picosat does not need to be
built twice.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Gabriel Ebner
e336cd003a
picosat: enable proof output and install various utils
2016-04-02 18:45:47 +02:00
Gabriel Ebner
659c240be8
picosat: 960 -> 965
2016-04-02 18:43:32 +02:00
Austin Seipp
2dfb657b94
nixpkgs: picosat 936 -> 960, add myself as a maintainer
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-06-14 19:48:12 -05:00
Mateusz Kowalczyk
7a45996233
Turn some license strings into lib.licenses values
2014-07-28 11:31:14 +02:00
Eelco Dolstra
c556a6ea46
* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless
...
function, so obsolete it.
svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
2012-01-18 20:16:00 +00:00
Russell O'Connor
491c6e43b1
Package for picosat.
...
svn path=/nixpkgs/trunk/; revision=29869
2011-10-17 22:18:21 +00:00
