1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
include /usr/share/ocaml/ocamlvars.mk
export DEB_BUILD_MAINT_OPTIONS = hardening=+all
DPKG_EXPORT_BUILDFLAGS = 1
include /usr/share/dpkg/buildflags.mk
%:
dh $@ --with ocaml
.PHONY: override_dh_auto_configure
override_dh_auto_configure:
cp debian/Makefile.config .
mkdir -p $(CURDIR)/debian/tmp/usr/include
echo "APRON_PREFIX = $(CURDIR)/debian/tmp/usr" >> Makefile.config
echo "MLGMPIDL_PREFIX = $(CURDIR)/debian/tmp/usr" >> Makefile.config
ifneq ($(OCAML_OPT_ARCH),)
echo "OPT=.opt" >> Makefile.config
echo "OCAML_BEST=opt" >> Makefile.config
else
echo "OCAML_BEST=byte" >> Makefile.config
endif
.PHONY: override_dh_auto_build
override_dh_auto_build:
$(MAKE)
$(MAKE) -C apron/apron html
-$(MAKE) -C apron/mlapronidl html
.PHONY: override_dh_auto_clean
override_dh_auto_clean:
[ ! -f "$(CURDIR)/Makefile" ] || [ ! -f "$(CURDIR)/Makefile.config" ] || $(MAKE) clean
.PHONY: override_dh_auto_install
override_dh_auto_install:
$(MAKE) install
$(MAKE) -C apron install
$(MAKE) -C mlgmpidl install
cp apron/ppl/libap_ppl.so apron/ppl/libap_ppl_debug.so debian/tmp/usr/lib
chmod -x debian/tmp/usr/lib/*
for i in libap_pkgrid.so libap_ppl.so libapron.so libboxD.so libboxMPFR.so libboxMPQ.so liboctD.so liboctMPQ.so libpolkaMPQ.so libpolkaRll.so; do \
mv debian/tmp/usr/lib/$$i debian/tmp/usr/lib/$$i.0; \
ln -s $$i.0 debian/tmp/usr/lib/$$i; \
done
.PHONY: override_dh_install
override_dh_install:
dh_install --fail-missing -X_debug.so -Xap_ppl_test
.PHONY: override_dh_compress
override_dh_compress:
dh_compress -X.c -X.ml
.PHONY: override_dh_installchangelogs
override_dh_installchangelogs:
dh_installchangelogs apron/Changes
|
