diff options
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules new file mode 100755 index 0000000..446d604 --- /dev/null +++ b/debian/rules @@ -0,0 +1,25 @@ +#!/usr/bin/make -f +# -*- makefile -*- + +include /usr/share/coq/coqvars.mk + +%: + dh $@ --with ocaml + +.PHONY: override_dh_auto_configure +override_dh_auto_configure: + ./make_makefile +# workaround bug on fs mounted without relatime + touch make_makefile theory.ml + +.PHONY: override_dh_auto_build +override_dh_auto_build: + $(MAKE) world + +.PHONY: override_dh_gencontrol +override_dh_gencontrol: + dh_gencontrol -- -VF:CoqABI="$(COQ_ABI)" + +.PHONY: override_dh_auto_clean +override_dh_auto_clean: + rm -Rf Makefile .depend *.glob *.d *.*o *.*a *.cm* doc html |