#!/usr/bin/make -f export DH_VERBOSE=1 export DEBIAN_DIR=$(shell dirname $(realpath $(firstword $(MAKEFILE_LIST)))) export OPAMROOT=${DEBIAN_DIR}/.opam %: dh $@ override_dh_clean: rm -rf "${OPAMROOT}" dh_clean override_dh_auto_build: opam init -y --bare opam switch create -y 5.2.0+ox --repos "ox=git+https://github.com/oxcaml/opam-repository.git#231c88c2e564fdca40e15e750aacad5fb0887435,default" opam exec -- opam install -y . --deps-only --locked opam exec -- dh_auto_build override_dh_auto_install: make install PREFIX=debian/magic-trace rm -rf debian/magic-trace/lib