13 commits

Author	SHA1	Message	Date
Ben Siraphob	badf51221d	treewide: stdenv.lib -> lib	2021-01-16 17:58:11 +07:00
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
volth	46420bbaa3	treewide: name -> pname (easy cases) (#66585) ... treewide replacement of stdenv.mkDerivation rec { name = "*-${version}"; version = "*"; to pname	2019-08-15 13:41:18 +01:00
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