#!/usr/bin/make -f DEB_BUILD_MAINT_OPTIONS := hardening=+all include /usr/share/dpkg/buildflags.mk gnat_version := $(shell gnatgcc -dumpversion | sed 's/\..*//') include /usr/share/ada/debian_packaging-$(gnat_version).mk %: dh $@ # Prevent debhelper executing any upstream Makefile target. .PHONY: $(addprefix override_dh_auto_, configure build test install clean) override_dh_auto_clean: rm -fr obj rm -f adabrowse override_dh_auto_build: gprbuild $(BUILDER_OPTIONS) -p debian/misc/adabrowse.gpr \ $(foreach v,ADAFLAGS LDFLAGS,-X$(v)='$($(v))') .PHONY: override_dh_installchangelogs override_dh_installchangelogs: dh_installchangelogs doc/versions.html .PHONY: override_dh_compress override_dh_compress: dh_compress -X.ads -X.adb