#!/usr/bin/make -f
# -*- makefile -*-

include /usr/share/ocaml/ocamlvars.mk

export DEB_BUILD_MAINT_OPTIONS = hardening=+all
DPKG_EXPORT_BUILDFLAGS = 1
include /usr/share/dpkg/buildflags.mk

# Uncomment this to turn on verbose mode.
#export DH_VERBOSE=1

%:
	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