#!/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