1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#!/usr/bin/make -f
include /usr/share/ocaml/ocamlvars.mk
export DEB_BUILD_OPTIONS += noautodbgsym
%:
dh $@ --with coq,ocaml
override_dh_auto_test:
# doesn't work
override_dh_auto_build:
dune build -p coq-simple-io
override_dh_auto_clean:
dune clean
rm -f plugin/META.coq-simple-io test/TestOcamlbuild.glob
override_dh_auto_install:
dune install --destdir=$(CURDIR)/debian/tmp --prefix=/usr --libdir=$(OCAML_STDLIB_DIR)
find $(CURDIR)/debian/tmp -name LICENSE -delete
|
