22 lines
584 B
Makefile
Executable File
22 lines
584 B
Makefile
Executable File
#!/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
|