#!/usr/bin/make -f # Copyright 2020 Joachim Zobel export SOURCE_DATE_EPOCH = $(shell date -d "$$(dpkg-parsechangelog -SDate)" +%s) export FORCE_SOURCE_DATE = 1 export LC_ALL = C debian/gaproot/pkg: mkdir -p debian/gaproot/pkg ln -s ../../.. debian/gaproot/pkg/FGA doc: debian/gaproot/pkg make -C doc && touch doc ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS))) execute_after_dh_auto_test: debian/gaproot/pkg gap -q -l 'debian/gaproot;/usr/share/gap' < tst/testall.g | tee debian/gap.tst ! grep "^########" debian/gap.tst endif execute_after_dh_auto_build: doc; override_dh_install: dh_install *.g lib usr/share/gap/pkg/FGA make -C doc install DESTDIR=../debian/gap-fga override_dh_installdocs: dh_installdocs README override_dh_installchangelogs: dh_installchangelogs clean: dh_testdir dh_testroot make -C doc clean rm -rf debian/gaproot rm -f debian/gap.tst dh_clean %: dh $@ .PHONY: override_dh_auto_test override_dh_auto_build clean override_dh_install override_dh_installdocs override_dh_installchangelogs