#!/usr/bin/make -f

VERSION := $(shell dpkg-parsechangelog | grep -x "Version:.*" | sed 's@Version: \(.\+\)-.\+@\1@')
EXTRA_SHARED_FLAGS=-Wl,-soname,libflint-$(VERSION).so
MAKE_OVERRIDE = AT= QUIET_CXX= QUIET_CC= QUIET_AR= INCS=-I$(CURDIR) \
                ABI_FLAG='$(LDFLAGS)'

%:
	dh $@ --parallel

# upstream Makefile has only CFLAGS, not CPPFLAGS and not even CXXFLAGS, so
# inject flags using configure. let's hope CFLAGS will always be good enough
# even for $(CXX)
override_dh_auto_configure:
	./configure --prefix="/usr" --with-ntl CFLAGS='$(CPPFLAGS) $(CFLAGS)'
	sed -i Makefile -e "/^FLINT_LIB\>=/s/libflint/libflint-$(VERSION)/"

override_dh_auto_build:
	dh_auto_build --parallel -- $(MAKE_OVERRIDE) \
	    EXTRA_SHARED_FLAGS="$(EXTRA_SHARED_FLAGS)"
	(cd doc/latex && make)

override_dh_auto_clean:
	rm -f doc/latex/flint-manual.pdf
	dh_auto_clean

override_dh_auto_test:
	dh_auto_test --parallel -- $(MAKE_OVERRIDE)

override_dh_auto_install:
	dh_auto_install
	ln -sf libflint-$(VERSION).so debian/tmp/usr/lib/libflint.so

override_dh_installchangelogs:
	dh_installchangelogs NEWS
