10 commits

Author	SHA1	Message	Date
Vincent Laporte	c0691a0659	compcert: 2.5 -> 2.6	2016-01-25 11:48:47 +01:00
Vincent Laporte	475527adb7	compcert: 2.4 -> 2.5 ... Also installs the Coq library as a separate output.	2015-07-15 19:14:18 +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
Vincent Laporte	579e74549d	CompCert: update to 2.4	2014-10-05 23:38:16 +01:00
John Wiegley	f666bf4ddf	compcert: Correct syntax used in default.nix	2014-07-01 17:01:11 -05:00
John Wiegley	8d5c4e8b4b	compcert: build with 64-bit compiler, add darwin support	2014-07-01 16:43:27 -05:00
Austin Seipp	8155e5d119	compcert: fix build by adding menhir dependency ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-06-09 01:25:27 -05:00
Austin Seipp	8c0b63162b	compcert: 2.2 -> 2.3pl2 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-06-06 23:09:47 -05:00
Austin Seipp	27a0d56514	compcert: Fix Hydra platforms ... Copy-pasta error, and compcert doesn't really make sense on Darwin or 64bit linux (it's callPackage_i686 anyway). Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-05-02 14:07:36 -05:00
Austin Seipp	0c51a4ac98	nixpkgs: add CompCert ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-05-01 19:11:46 -05:00