#!/usr/bin/make -f
# -*- makefile -*-
#export DH_VERBOSE=1

export DEB_BUILD_MAINT_OPTIONS = hardening=+all
export DEB_CPPFLAGS_MAINT_APPEND = -I/usr/include/star
export DEB_CFLAGS_MAINT_APPEND = -std=gnu17


%:
	dh $@

export MANIFEST=/bin/true

override_dh_autoreconf:
	cp ast.news NEWS
	dh_autoreconf

override_dh_auto_configure:
	dh_auto_configure -- --with-external_pal --with-external-cminpack

override_dh_installdocs-indep:
	make doc
	dh_installdocs
	find debian -type f \( -name '*.log' -o -name '*.aux' \) -delete

override_dh_missing:
	dh_missing --list-missing