summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNicolas Braud-Santoni <nicolas@braud-santoni.eu>2018-04-15 14:19:23 +0200
committerNicolas Braud-Santoni <nicolas@braud-santoni.eu>2018-04-15 14:19:23 +0200
commit8bee0be348718128931e4217b7a011fb077a1c5d (patch)
tree2475c483d1e4ba0ea82b291d5012e1f764298f42
parentc17968c363bc2b9462a4eb114c51997f7171fe4c (diff)
debian/rules: Fix library installation path
-rwxr-xr-xdebian/rules3
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules
index 1e96630..f2aba8e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -10,7 +10,8 @@ include /usr/share/ocaml/ocamlvars.mk
DESTDIR := $(CURDIR)/debian/cppo
export OCAMLFIND_DESTDIR=$(DESTDIR)/$(OCAML_STDLIB_DIR)
-INSTALL := opam-installer --prefix=$(DESTDIR)/usr \
+INSTALL := opam-installer --prefix=$(DESTDIR)/usr \
+ --libdir=$(DESTDIR)/usr/lib/ocaml \
--docdir=$(DESTDIR)/usr/share/doc
%: