Commit df653f41 authored by MARCHE Claude's avatar MARCHE Claude

Added missing $(DESTDIR)

parent 0402a819
......@@ -49,7 +49,7 @@ OCAMLVERSION = @OCAMLVERSION@
COQC = @COQC@
COQDEP = @COQDEP@
CAMLP5O = @CAMLP5O@
FRAMAC_LIBDIR = @FRAMAC_LIBDIR@
FRAMAC_LIBDIR = $(DESTDIR)@FRAMAC_LIBDIR@
DEPFLAGS = -slash -I lib/why3
ifeq (@OCAMLBEST@,opt)
......
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