diff options
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 19 |
1 files changed, 12 insertions, 7 deletions
diff --git a/debian/rules b/debian/rules index 5a7363fa..3471198a 100755 --- a/debian/rules +++ b/debian/rules @@ -8,7 +8,6 @@ BUILDCACHE := $(wildcard ../coq.cache) # This has to be exported to make some magic below work. -export COQTEST_SKIPCOMPLEXITY = true export CAML_LD_LIBRARY_PATH = $(shell pwd)/kernel/byterun # Show full commands when building Coq @@ -19,15 +18,15 @@ include /usr/share/ocaml/ocamlvars.mk HTMLDOC := doc/stdlib/html/index.html COQPREF := $(CURDIR)/debian/tmp -ADDPREF := COQINSTALLPREFIX=$(COQPREF) +ADDPREF := COQINSTALLPREFIX=$(COQPREF) OLDROOT= PACKAGES := $(shell dh_listpackages) -COQ_VERSION := $(shell head -n1 debian/changelog | awk -F'[+() ]' '{print $$3}') +COQ_VERSION := $(shell dpkg-parsechangelog | sed -n -e 's/~/+/g' -e 's/^Version: \(.*\)-[0-9]\+/\1/p') COQ_ABI := $(COQ_VERSION)+$(OCAML_ABI) CONFIGUREOPTS := --arch Linux --prefix /usr --mandir /usr/share/man \ - --emacslib /usr/share/emacs/site-lisp/coq --reals all --fsets all \ + --emacslib /usr/share/emacs/site-lisp/coq \ --browser "/usr/bin/x-www-browser %s &" \ --with-doc no --coqrunbyteflags "-dllib -lcoqrun" @@ -38,6 +37,12 @@ export OCAMLINIT_SED += \ %: +dh --with ocaml $@ +# There is already a file named "build" in upstream sources, so the +# above rule is never called. We make it explicitly a phony rule here. +.PHONY: build +build: + +dh --with ocaml $@ + .PHONY: override_dh_auto_configure override_dh_auto_configure: ./configure $(CONFIGUREOPTS) @@ -50,7 +55,7 @@ ifeq ($(BUILDCACHE),) # the default one without -silent (-silent maybe cause buildd to # timeout because of lack of output) - $(MAKE) STRIP=true VALIDOPTS="-o -m" check + $(MAKE) world STRIP=true $(MAKE) DOC_TARGETS=$(HTMLDOC) $(HTMLDOC) else rsync -a --exclude=debian --exclude=.git $(BUILDCACHE)/ . @@ -58,13 +63,13 @@ endif .PHONY: override_dh_auto_test override_dh_auto_test: -# TODO: run make check here instead of in override_dh_auto_build (?) + $(MAKE) check COMPLEXITY= BESTCHICKEN=/bin/true .PHONY: override_dh_auto_install override_dh_auto_install: $(MAKE) $(ADDPREF) install find debian/tmp -regextype posix-awk \ - -regex '.*\.(cm[aoxi]|cmxa|[ao])$$' \ + -regex '.*\.(cm[xi]|cmxa|[ao])$$' \ >> debian/libcoq-ocaml-dev.install find debian/tmp -name '*.vo' -printf '%P\n' \ >> debian/coq-theories.install |