diff options
author | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2018-04-15 14:19:23 +0200 |
---|---|---|
committer | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2018-04-15 14:19:23 +0200 |
commit | 8bee0be348718128931e4217b7a011fb077a1c5d (patch) | |
tree | 2475c483d1e4ba0ea82b291d5012e1f764298f42 | |
parent | c17968c363bc2b9462a4eb114c51997f7171fe4c (diff) |
debian/rules: Fix library installation path
-rwxr-xr-x | debian/rules | 3 |
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 %: |