summaryrefslogtreecommitdiff
path: root/nongnu/packages/coq.scm
AgeCommit message (Collapse)Author
2020-04-11nongnu: compcert: Build for arm-eabihf on arm.Timotej Lazar
* nongnu/packages/coq.scm (compcert)[arguments]: Pass arm-eabihf to configure script to enable hard float extensions.
2020-04-11nongnu: compcert: Fix a non-exhaustive match.Timotej Lazar
* nongnu/packages/coq.scm (compcert)[arguments]: Add default case to match so that it can be evaluated on all systems. [supported-systems]: Remove unsupported mips64el-linux.
2020-04-04nongnu: Add compcert.Julien Lepiller
* nongnu/packages/coq.scm: New file.