#!/usr/bin/make -f

# non-standard configuration:
common-configure::
	cd source; ./configure DESTDIR=$(DEB_DESTDIR)

include /usr/share/cdbs/1/rules/debhelper.mk
include /usr/share/cdbs/1/class/autotools.mk
include /usr/share/cdbs/1/rules/ocaml.mk

DEB_SRCDIR = source

# we have decided to build this package as bytecode
DEB_MAKE_BUILD_TARGET = byte
DEB_MAKE_INSTALL_TARGET = install.bc DESTDIR=$(DEB_DESTDIR)	

install/hlins::
	cd doc; $(MAKE) install DESTDIR=$(DEB_DESTDIR)
	rm $(DEB_DESTDIR)/usr/share/doc/hlins/LICENSE
