diff options
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 19bd688d..58ad7e19 100755 --- a/debian/rules +++ b/debian/rules @@ -42,7 +42,6 @@ configure: configure-stamp configure-stamp: patch-stamp ocamlinit-stamp dh build --before dh_auto_configure ./configure $(CONFIGUREOPTS) - echo 'F:OCamlABI="$(OCAMLABI)"' > debian/substvars touch $@ build: build-stamp @@ -76,6 +75,7 @@ binary-indep: install-stamp dh $@ binary-arch: install-stamp + for u in coq coqide; do echo 'F:OCamlABI=$(OCAMLABI)' >> debian/$$u.substvars; done dh $@ binary: binary-indep binary-arch |