6 override_dh_auto_configure:
7 ./configure --without-webapp --prefix=/usr/
9 override_dh_auto_install:
10 $(MAKE) install PREFIX=debian/tmp/usr/
12 override_dh_auto_clean:
14 rm -rf Makefile.variables _tags lib/ src/common/intValueConfig.ml
16 override_dh_auto_test: