Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit c3dd3b8a authored by erwan's avatar erwan
Browse files

'opam config var prefix' is more reliable than 'ocamlc -where/..' to

find where lib are installed (work both on system and custom opam)
parent 90957fc8
......@@ -22,10 +22,10 @@ build: setup.data
setup.ml:_oasis lutin/src/version.ml polka/vector.ml lutin-utils/src/lutinUtils.ml
oasis setup
BINPATH=$(shell opam config var prefix)
PREFIX=$(shell opam config var prefix)
configure: setup.ml
ocaml setup.ml -configure --prefix $(BINPATH)
ocaml setup.ml -configure --prefix $(PREFIX)
......@@ -37,7 +37,7 @@ man:
ocaml setup.ml -install
cp lutin/src/lut4c_stubs.h $(shell ocamlc -where)/../lutin/
cp lutin/src/lut4c_stubs.h $(PREFIX)/lib/lutin/
ocaml setup.ml -uninstall
OASISFormat: 0.4
Name: Lutin
Version: 2.42
Version: 2.43
Authors: Erwan Jahier
Maintainers: erwan.jahier@imag.fr
License: PROP
let str="2.42"
let sha="656b2a1"
let str="2.43"
let sha="90957fc"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment