11 commits

Author	SHA1	Message	Date
Will Dietz	0443affe17	yices: Add darwin to meta.platforms	2016-10-30 13:38:07 -05:00
Will Dietz	3cf27a654a	yices: Build in parallel, run tests, fix test shebang.	2016-10-26 13:01:21 -05:00
Will Dietz	8584ec97ed	yices: fix install target by using 'true' as ldconfig	2016-10-26 12:59:34 -05:00
Will Dietz	1f89121551	yices: 2.3.1 -> 2.5.1	2016-10-26 12:59:06 -05:00
Vladimír Čunát	fd1619cf60	yices: use correct static gmp ... It still won't build due to trying to use /sbin/ldconfig, but gmp-related things do seem OK.	2015-10-28 11:50:05 +01:00
Vladimír Čunát	148e03b2f1	gmp: split into multiple outputs	2015-10-28 10:15:49 +01:00
Austin Seipp	da76434dbd	nixpkgs: yices 2.2.1 -> 2.3.1, now with source ... It's still under a non-commercial license, but the source build is waay better than the binary build. Can probably work on OS X too now. Signed-off-by: Austin Seipp <aseipp@pobox.com>	2015-06-14 19:48:11 -05:00
Joachim Fasting	bf7ad2d84f	meta.description fixups ... Mostly scripted substitutions with a couple of subjective enhancements.	2015-04-30 18:17:42 +02:00
John Wiegley	28b6fb61e6	Change occurrences of gcc to the more general cc ... This is done for the sake of Yosemite, which does not have gcc, and yet this change is also compatible with Linux.	2014-12-26 11:06:21 -06:00
Eelco Dolstra	ce6b86cc68	Fix various evaluation problems ... http://hydra.nixos.org/build/13616685	2014-08-22 11:57:40 +02:00
Austin Seipp	da0c8f33ef	nixpkgs: yices 2.2.1 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-04-27 13:05:40 -05:00