Files
wehub-resource-sync f30f816e96
build-deb / build (push) Has been cancelled
build / build (5.2.0+ox, ubuntu_x64_8_cores, 231c88c2e564fdca40e15e750aacad5fb0887435) (push) Has been cancelled
chore: import upstream snapshot with attribution
2026-07-13 12:29:01 +08:00

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