#!/usr/bin/make -f
+export DH_VERBOSE=1
+
DEB_PYTHON_SYSTEM=pysupport
DEB_DH_INSTALL_SOURCEDIR = debian/tmp
DEB_VENDOR=$(shell dpkg-vendor --query vendor)
include /usr/share/cdbs/1/rules/debhelper.mk
include /usr/share/cdbs/1/class/autotools.mk
include /usr/share/cdbs/1/class/python-distutils.mk
-include /usr/share/cdbs/1/rules/patchsys-quilt.mk
+include /usr/share/cdbs/1/rules/ocaml.mk
DEB_CONFIGURE_EXTRA_FLAGS := \
--with-java-home=no \
--disable-haskell \
--disable-php \
--with-readline \
+ --enable-install-daemon \
--with-python-installdir=/usr/share/pyshared
DEB_DBG_PACKAGES = libguestfs0-dbg