[Makefile] fix #16858 prefix OCAMLINSTALLLIB with $(DESTDIR)

0ce2d3c0 · François Bobot · c1491413 · 0ce2d3c0
Commit 0ce2d3c0 authored Jan 13, 2014 by François Bobot
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Makefile.in Makefile.in +1 -1

No files found.
--- a/Makefile.in
+++ b/Makefile.in
@@ -43,7 +43,7 @@ OCAMLLEX  = @OCAMLLEX@
 OCAMLYACC = @OCAMLYACC@
 OCAMLDOC  = @OCAMLDOC@
 OCAMLLIB  = @OCAMLLIB@
-OCAMLINSTALLLIB  = @OCAMLINSTALLLIB@
+OCAMLINSTALLLIB  = $(DESTDIR)@OCAMLINSTALLLIB@
 OCAMLBEST = @OCAMLBEST@
 OCAMLVERSION = @OCAMLVERSION@
 COQC      = @COQC@