From 9417fae9fb21772a86f0d279f019b0caf2d71e77 Mon Sep 17 00:00:00 2001 From: Julien Lepiller Date: Sat, 19 Jun 2021 12:52:17 +0200 Subject: gnu: cubicle: Fix build with newer ocaml-num. * gnu/packages/ocaml.scm (cubicle)[arguments]: Adjust Makefile for changes in ocaml-num. --- gnu/packages/ocaml.scm | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'gnu') diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index a47267916c..3c781d51e4 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4728,10 +4728,13 @@ the OCaml language.") (add-before 'configure 'fix-ocaml-num (lambda* (#:key inputs #:allow-other-keys) (substitute* "Makefile.in" + (("nums.cma") "num.cma num_core.cma") (("= \\$\\(FUNCTORYLIB\\)") (string-append "= -I " (assoc-ref inputs "ocaml-num") - "/lib/ocaml/site-lib" + "/lib/ocaml/site-lib/num/core -I " + (assoc-ref inputs "ocaml-num") + "/lib/ocaml/site-lib/num" " $(FUNCTORYLIB)"))) #t))))) (home-page "http://cubicle.lri.fr/") -- cgit 1.4.1