#!/usr/bin/make -f

# Uncomment this to turn on verbose mode.
#export DH_VERBOSE=1

DPKG_EXPORT_BUILDTOOLS=1
-include /usr/share/dpkg/buildtools.mk
export DEB_BUILD_MAINT_OPTIONS=hardening=+all

%:
	dh $@

override_dh_clean:
	dh_testdir
	dh_auto_clean
	dh_clean
	rm -f makefile.opt makefile.trace
	rm -rf trace
	# [ ! -e makefile ] || $(MAKE) clean

override_dh_auto_configure:
	dh_testdir
	./configure.sh --trace --stats
	mv makefile makefile.trace
	./configure.sh $(OPTFLAGS)
	cp makefile makefile.opt

override_dh_auto_build:
	dh_testdir
	$(MAKE) -f makefile.trace
	$(MAKE) -f makefile.trace libpicosat-trace.so
	mkdir trace
	mv picosat trace/picosat.trace
	mv picomus trace/picomus
	mv libpicosat.a trace/libpicosat-trace.a
	mv libpicosat* trace/
	$(MAKE) -f makefile.trace clean
	cp makefile.opt makefile
	$(MAKE) -f makefile.opt
	$(MAKE) -f makefile.opt libpicosat.so

override_dh_installchangelogs:
	dh_installchangelogs NEWS