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


include /usr/share/cdbs/1/rules/patchsys-quilt.mk
include /usr/share/cdbs/1/rules/debhelper.mk
include /usr/share/cdbs/1/class/autotools.mk

DEB_CONFIGURE_EXTRA_FLAGS := --datadir="/usr/share/maude"
