summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonathan Brielmaier <jonathan.brielmaier@web.de>2022-05-26 10:27:13 +0200
committerJonathan Brielmaier <jonathan.brielmaier@web.de>2022-05-26 10:27:13 +0200
commitcdb9c161062a3f5435a36a2c2d9b31877b0975a9 (patch)
tree61fe40ba2355909ec8c1628408c8d8781972653a
parentb8404abba7b365997ee7abcbc95c6e3008858999 (diff)
nongnu: compcert: Remove input labels.
* nongnu/packages/coq.scm (compcert)[native-inputs]: Remove input labels. [inputs]: dito.
-rw-r--r--nongnu/packages/coq.scm8
1 files changed, 4 insertions, 4 deletions
diff --git a/nongnu/packages/coq.scm b/nongnu/packages/coq.scm
index f247483..f45b44c 100644
--- a/nongnu/packages/coq.scm
+++ b/nongnu/packages/coq.scm
@@ -73,11 +73,11 @@
;; MIPS is not supported.
(supported-systems (delete "mips64el-linux" %supported-systems))
(native-inputs
- `(("ocaml" ,ocaml)
- ("ocaml-findlib" ,ocaml-findlib); for menhir --suggest-menhirlib
- ("coq" ,coq)))
+ (list coq
+ ocaml
+ ocaml-findlib)) ; for menhir --suggest-menhirlib
(inputs
- `(("menhir" ,ocaml-menhir)))
+ (list ocaml-menhir))
(home-page "http://compcert.inria.fr")
(synopsis "Certified C compiler")
(description "The CompCert project investigates the formal verification of