Jonathan Brielmaier
036092e3fb
nongnu: compcert: Update to 3.12.
...
* nongnu/packages/coq.scm (compcert): Update to 3.12.
[arguments]: Adapt 'allow-newer-coq-version phase.
2023-04-05 21:29:25 +02:00
Jonathan Brielmaier
62a5df4222
*.scm: Use SPDX license identifiers.
...
Fixes https://gitlab.com/nonguix/nonguix/-/issues/224
* *.scm: Use SPDX license identifier and remove obsolete license
statement.
2022-12-19 17:17:39 +01:00
Jonathan Brielmaier
8fe57ffd70
nongnu: compcert: Fix build with coq@8.16.0.
...
* nongnu/packages/coq.scm (compcert)[arguments]: Reintroduce the 'allow-newer-coq-version phase.
2022-10-24 21:44:59 +02:00
Jonathan Brielmaier
d2717cb03b
nongnu: compcert: Update to 3.11.
...
* nongnu/packages/coq.scm (compcert): Update to 3.11.
[arguments]: Remove no longer required phase 'allow-newer-coq-version.
2022-08-09 17:10:43 +02:00
Jonathan Brielmaier
cdb9c16106
nongnu: compcert: Remove input labels.
...
* nongnu/packages/coq.scm (compcert)[native-inputs]: Remove input
labels.
[inputs]: dito.
2022-05-26 10:27:13 +02:00
Jonathan Brielmaier
b8404abba7
nongnu: compcert: Allow build against newer coq version.
...
* nongnu/packages/coq.scm (compcert)[arguments]: New phase
'allow-newer-coq-version.
2022-05-26 10:15:27 +02:00
Jonathan Brielmaier
5da5ec3428
nongnu: compcert: Update to 3.10.
...
* nongnu/packages/coq.scm (compcert): Update to 3.10.
2021-12-17 17:20:44 +01:00
Jonathan Brielmaier
0ce5f43c24
nongnu: compcert: Update to 3.9.
...
* nongnu/packages/coq.scm (compcert): Update to 3.9.
2021-10-27 01:26:47 +02:00
Jonathan Brielmaier
919727dcd4
nongnu: Add missing copyright headers for Isaac and me.
...
* nongnu/packages/coq.scm: Add copyright for Isaac Young.
* nongnu/packages/linux.scm: Add copyright year for me.
2021-02-02 22:16:11 +01:00
Isaac Young
fd668447b3
nongnu: compcert: Update to 3.8.
...
* nongnu/packages/coq.scm (compcert): Update to 3.8.
[source]: Switch from url-fetch to git-fetch.
Signed-off-by: Jonathan Brielmaier <jonathan.brielmaier@web.de>
2021-02-02 21:35:25 +01:00
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
