10 commits

Author	SHA1	Message	Date
Daiderd Jordan	23d0c17130	picosat: fix darwin build ... /cc ZHF #36454	2018-03-24 02:11:58 +01:00
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