ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-11-18 12:47:33 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: cubicle: Fix build with newer ocaml-num.

Browse source 
* gnu/packages/ocaml.scm (cubicle)[arguments]: Adjust Makefile for
changes in ocaml-num.
This commit is contained in:
Julien Lepiller 2021-06-19 12:52:17 +02:00
parent c85ed0e758
commit 9417fae9fb
No known key found for this signature in database
GPG key ID: 53D457B2D636EE82
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gnu/packages/ocaml.scm
View file

@ -4728,10 +4728,13 @@ (define-public cubicle
(add-before 'configure 'fix-ocaml-num (add-before 'configure 'fix-ocaml-num
(lambda* (#:key inputs #:allow-other-keys) (lambda* (#:key inputs #:allow-other-keys)
(substitute* "Makefile.in" (substitute* "Makefile.in"
(("nums.cma") "num.cma num_core.cma")
(("= \\$\\(FUNCTORYLIB\\)") (("= \\$\\(FUNCTORYLIB\\)")
(string-append "= -I " (string-append "= -I "
(assoc-ref inputs "ocaml-num") (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)"))) " $(FUNCTORYLIB)")))
#t))))) #t)))))
(home-page "http://cubicle.lri.fr/") (home-page "http://cubicle.lri.fr/")