#!/usr/bin/make -f

include /usr/share/dpkg/pkg-info.mk
include /usr/share/ocaml/ocamlvars.mk
export DEB_BUILD_OPTIONS += noautodbgsym

%:
	dh $@ --with ocaml --buildsystem ocaml_dune

execute_before_dh_auto_clean:
	rm -f Version.ml

execute_before_dh_auto_configure:
	make Version.ml PREFIX=/usr

# Drop for new release, https://github.com/herd/herdtools7/pull/1902
execute_after_dh_auto_install:
	mkdir -p debian/tmp/usr/share/herdtools7/
	cp -a herd/libdir   debian/tmp/usr/share/herdtools7
	mv debian/tmp/usr/share/herdtools7/libdir debian/tmp/usr/share/herdtools7/herd
	cp -a litmus/libdir/ debian/tmp/usr/share/herdtools7
	mv debian/tmp/usr/share/herdtools7/libdir debian/tmp/usr/share/herdtools7/litmus