diff options
Diffstat (limited to 'tools/ocaml/common.make')
-rw-r--r-- | tools/ocaml/common.make | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/ocaml/common.make b/tools/ocaml/common.make index 949433faba..d5478f626f 100644 --- a/tools/ocaml/common.make +++ b/tools/ocaml/common.make @@ -7,6 +7,7 @@ OCAMLMKLIB ?= ocamlmklib OCAMLDEP ?= ocamldep OCAMLLEX ?= ocamllex OCAMLYACC ?= ocamlyacc +OCAMLFIND ?= ocamlfind CFLAGS += -fPIC -Werror -I$(shell ocamlc -where) @@ -16,6 +17,6 @@ OCAMLCFLAGS += -g $(OCAMLINCLUDE) -w F -warn-error F VERSION := 4.1 -OCAMLDESTDIR ?= $(DESTDIR)$(shell ocamlfind printconf destdir) +OCAMLDESTDIR ?= $(DESTDIR)$(shell $(OCAMLFIND) printconf destdir) o= >$@.new && mv -f $@.new $@ |