#!/usr/bin/make -f
# debian/rules file for maude
export DH_VERBOSE=1
export DEB_CXXFLAGS_MAINT_APPEND=-fpermissive

%:
	dh $@

override_dh_auto_configure:
	dh_auto_configure -- --datadir="/usr/share/maude" --with-yices2=no

override_dh_auto_clean:
	dh_auto_clean
	rm -f src/Mixfix/surface.output
	find tests -name "*.out" -type f -delete

override_dh_auto_build:
	dh_auto_build --no-parallel
