Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | compcert: Permit building with Coq 8.7.2 | John Wiegley | 2018-02-16 |
| | |||
* | compcert: 3.1 -> 3.2 | Vincent Laporte | 2018-02-13 |
| | |||
* | compcert: fix license | Théo Zimmermann | 2017-09-21 |
| | | | | | | The license of CompCert is not a generic "INRIA" license. It is "INRIA Non-Commercial Agreement for the CompCert verified compiler". As unfortunate as it may seem, this is a non-free license (clearly mentioned as such in its preamble). See also #20256. | ||
* | compcert: 3.0.1 -> 3.1 | Théo Zimmermann | 2017-09-21 |
| | | | | Note that the fix of the VERSION file can likely be removed at the next update. | ||
* | coqPackages.compcert: Recent compcert supports 64-bit architectures | John Wiegley | 2017-07-17 |
| | |||
* | compcert: 2.7.1 -> 3.0.1 | Vincent Laporte | 2017-02-20 |
| | |||
* | compcert: adding clightgen to the build | Russell O'Connor | 2017-02-01 |
| | | | | | clightgen is a tool for coverting C to C-light. This patch enable the build of this tool which is added to $out/bin/. | ||
* | compcert: patch to build with Coq-8.5pl3 | Vincent Laporte | 2016-11-02 |
| | |||
* | treewide: move to ocaml-ng system | Kirill Boltaev | 2016-09-26 |
| | |||
* | nixpkgs: compcert 2.6 -> 2.7.1 | Austin Seipp | 2016-08-13 |
| | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com> | ||
* | compcert: 2.5 -> 2.6 | Vincent Laporte | 2016-01-25 |
| | |||
* | compcert: 2.4 -> 2.5 | Vincent Laporte | 2015-07-15 |
| | | | | Also installs the Coq library as a separate output. | ||
* | Change occurrences of gcc to the more general cc | John Wiegley | 2014-12-26 |
| | | | | | This is done for the sake of Yosemite, which does not have gcc, and yet this change is also compatible with Linux. | ||
* | CompCert: update to 2.4 | Vincent Laporte | 2014-10-05 |
| | |||
* | compcert: Correct syntax used in default.nix | John Wiegley | 2014-07-01 |
| | |||
* | compcert: build with 64-bit compiler, add darwin support | John Wiegley | 2014-07-01 |
| | |||
* | compcert: fix build by adding menhir dependency | Austin Seipp | 2014-06-09 |
| | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com> | ||
* | compcert: 2.2 -> 2.3pl2 | Austin Seipp | 2014-06-06 |
| | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com> | ||
* | compcert: Fix Hydra platforms | Austin Seipp | 2014-05-02 |
| | | | | | | | 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> | ||
* | nixpkgs: add CompCert | Austin Seipp | 2014-05-01 |
Signed-off-by: Austin Seipp <aseipp@pobox.com> |