[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#33079] [PATCH 12/34] gnu: coq: Fix build failure.
From: |
Julien Lepiller |
Subject: |
[bug#33079] [PATCH 12/34] gnu: coq: Fix build failure. |
Date: |
Wed, 17 Oct 2018 22:34:20 +0200 |
* gnu/packages/ocam.scm (coq)[inputs]: Add ocaml-num.
---
gnu/packages/ocaml.scm | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 604726c7b..8cb27a73a 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -623,7 +623,8 @@ the OCaml core distribution.")
(inputs
`(("lablgtk" ,lablgtk)
("python" ,python-2)
- ("camlp5" ,camlp5)))
+ ("camlp5" ,camlp5)
+ ("ocaml-num" ,ocaml-num)))
(arguments
`(#:phases
(modify-phases %standard-phases
--
2.18.0
- [bug#33079] [WIP] ocaml updates, Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 01/34] gnu: ocaml: Update to 4.07.0., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 12/34] gnu: coq: Fix build failure.,
Julien Lepiller <=
- [bug#33079] [PATCH 05/34] gnu: Add ocaml4.02-findlib., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 08/34] gnu: lablgtk: Update to 2.18.6., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 02/34] gnu: Add ocamlbuild., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 03/34] gnu: camlp4: Update to 4.07+1., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 11/34] gnu: Add ocaml-num., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 15/34] gnu: Add ocaml4.02-lablgtk., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 17/34] gnu: Fix ocaml-ounit., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 14/34] gnu: ocaml-menhir: Fix build., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 10/34] gnu: hevea: Update to 2.32., Julien Lepiller, 2018/10/17
- [bug#33079] [PATCH 07/34] guix: ocaml-build-system: Replace system* with invoke., Julien Lepiller, 2018/10/17