#!/usr/bin/make -f

DPKG_EXPORT_BUILDFLAGS  = 1
DEB_BUILD_MAINT_OPTIONS = hardening=+all

include /usr/share/dpkg/default.mk
include /usr/share/ada/debian_packaging-*.mk

export GNAT_BUILDER_FLAGS = $(BUILDER_OPTIONS)

%:
	dh ${@}

override_dh_auto_clean:
	$(MAKE) clean
	rm -rf debian/tmp-*

override_dh_auto_build:
ifeq ($(DEB_HOST_ARCH),kfreebsd-i386)
	patch -p1 < debian/Don-t-store-tracebacks-in-exception-occurrences.patch
endif
	$(MAKE)
	$(MAKE) LIBRARY_KIND=static
	$(MAKE) doc

override_dh_auto_install:
	$(MAKE) PREFIX=$(CURDIR)/debian/tmp/usr install
	$(MAKE) PREFIX=$(CURDIR)/debian/tmp/usr LIBRARY_KIND=static install
	rm -rf debian/tmp/usr/lib/gnat
	mkdir -p debian/tmp/usr/share/ada/adainclude
	cp debian/misc/alog.gpr debian/tmp/usr/share/ada/adainclude

override_dh_auto_test:
	$(MAKE) $(MAKE_OPTS) tests

override_dh_install:
	dh_install --fail-missing

override_dh_compress:
	dh_compress -X.ads -X.adb -XMakefile
