Lispln/nonguix
1
0
Fork 0
mirror of https://gitlab.com/nonguix/nonguix.git synced 2024-11-25 09:58:09 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

nongnu: compcert: Remove input labels.

Browse source 
* nongnu/packages/coq.scm (compcert)[native-inputs]: Remove input
labels.
[inputs]: dito.
This commit is contained in:
Jonathan Brielmaier 2022-05-26 10:27:13 +02:00
parent b8404abba7
commit cdb9c16106
No known key found for this signature in database
GPG key ID: ECFC83988B4E4B9F
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
nongnu/packages/coq.scm
View file

@ -73,11 +73,11 @@
;; MIPS is not supported. ;; MIPS is not supported.
(supported-systems (delete "mips64el-linux" %supported-systems)) (supported-systems (delete "mips64el-linux" %supported-systems))
(native-inputs (native-inputs
`(("ocaml" ,ocaml) (list coq
("ocaml-findlib" ,ocaml-findlib); for menhir --suggest-menhirlib ocaml
("coq" ,coq))) ocaml-findlib)) ; for menhir --suggest-menhirlib
(inputs (inputs
`(("menhir" ,ocaml-menhir))) (list ocaml-menhir))
(home-page "http://compcert.inria.fr") (home-page "http://compcert.inria.fr")
(synopsis "Certified C compiler") (synopsis "Certified C compiler")
(description "The CompCert project investigates the formal verification of (description "The CompCert project investigates the formal verification of