... |
... |
@@ -4,6 +4,7 @@ include /usr/share/ocaml/ocamlvars.mk |
4
|
4
|
OCAML_NATIVE_ARCHS := $(subst lpia,,$(OCAML_NATIVE_ARCHS))
|
5
|
5
|
|
6
|
6
|
BUILDDIR=debian/tmp
|
|
7
|
+export OCAMLFIND_DESTDIR=$(OCAML_STDLIB_DIR)
|
7
|
8
|
|
8
|
9
|
%:
|
9
|
10
|
dh $@ --with ocaml,tex
|
... |
... |
@@ -13,7 +14,7 @@ override_dh_auto_configure: |
13
|
14
|
dh_auto_configure -- \
|
14
|
15
|
--disable-emacs-compilation \
|
15
|
16
|
--disable-coq-libs \
|
16
|
|
- --libdir=/usr/lib/ocaml
|
|
17
|
+ --libdir=$(OCAML_STDLIB_DIR)
|
17
|
18
|
|
18
|
19
|
override_dh_auto_build-arch:
|
19
|
20
|
$(MAKE) all byte
|
... |
... |
@@ -50,13 +51,13 @@ override_dh_installexamples: |
50
|
51
|
override_dh_compress:
|
51
|
52
|
dh_compress -Xmanual.pdf
|
52
|
53
|
|
53
|
|
-ifneq ($(wildcard debian/why3/usr/lib/ocaml/why3/commands/why3ide.cmxs),)
|
54
|
|
- WHY3IDE_UNITS := $(shell ocamlobjinfo debian/why3/usr/lib/ocaml/why3/commands/why3ide.cmxs | sed -n 's/Name: //p' | xargs echo | tr ' ' ,)
|
|
54
|
+ifneq ($(wildcard debian/why3$(OCAML_STDLIB_DIR)/why3/commands/why3ide.cmxs),)
|
|
55
|
+ WHY3IDE_UNITS := $(shell ocamlobjinfo debian/why3$(OCAML_STDLIB_DIR)/why3/commands/why3ide.cmxs | sed -n 's/Name: //p' | xargs echo | tr ' ' ,)
|
55
|
56
|
else
|
56
|
|
- WHY3IDE_UNITS := $(shell ocamlobjinfo debian/why3/usr/lib/ocaml/why3/commands/why3ide.cma | sed -n 's/Unit name: //p' | xargs echo | tr ' ' ,)
|
|
57
|
+ WHY3IDE_UNITS := $(shell ocamlobjinfo debian/why3$(OCAML_STDLIB_DIR)/why3/commands/why3ide.cma | sed -n 's/Unit name: //p' | xargs echo | tr ' ' ,)
|
57
|
58
|
endif
|
58
|
59
|
|
59
|
|
-WHY3HYPO_UNITS := $(shell ocamlobjinfo debian/why3/usr/lib/ocaml/why3/plugins/hypothesis_selection.cma | sed -n 's/Unit name: //p' | xargs echo | tr ' ' ,)
|
|
60
|
+WHY3HYPO_UNITS := $(shell ocamlobjinfo debian/why3$(OCAML_STDLIB_DIR)/why3/plugins/hypothesis_selection.cma | sed -n 's/Unit name: //p' | xargs echo | tr ' ' ,)
|
60
|
61
|
|
61
|
62
|
override_dh_ocaml:
|
62
|
63
|
dh_ocaml --nodefined-map=why3:$(WHY3IDE_UNITS),$(WHY3HYPO_UNITS) |