Lispln/nonguix
1
0
Fork 0
mirror of https://gitlab.com/nonguix/nonguix.git synced 2024-11-23 17:08:09 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
440 commits 16 branches 1 tag 3.6 MiB
Commit graph

3 commits

Author SHA1 Message Date
Timotej Lazar
1b7a4319fa nongnu: compcert: Build for arm-eabihf on arm. 
* nongnu/packages/coq.scm (compcert)[arguments]: Pass arm-eabihf to configure
script to enable hard float extensions.
 2020-04-11 20:18:39 +02:00
Timotej Lazar
1892d626dd nongnu: compcert: Fix a non-exhaustive match. 
* 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-11 14:11:11 +02:00
Julien Lepiller
048de09ad8 nongnu: Add compcert. 
* nongnu/packages/coq.scm: New file.
 2020-04-04 18:54:06 +02:00