summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
Diffstat (limited to 'debian')
-rw-r--r--debian/control2
-rwxr-xr-xdebian/rules3
2 files changed, 3 insertions, 2 deletions
diff --git a/debian/control b/debian/control
index 3c6157d8..7e1f2db1 100644
--- a/debian/control
+++ b/debian/control
@@ -26,7 +26,7 @@ Description: Proof assistant for higher-order logic (toplevel and compiler)
Package: coqide
Architecture: any
-Depends: ${shlibs:Depends}, coq (>= 8.0), liblablgtk2-ocaml (>= 2.4.0)
+Depends: ${shlibs:Depends}, ${ocaml:Runtime}, coq (>= 8.0), liblablgtk2-ocaml (>= 2.4.0)
Description: Proof assistant for higher-order logic (gtk interface)
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
diff --git a/debian/rules b/debian/rules
index b48761d8..d93631a9 100755
--- a/debian/rules
+++ b/debian/rules
@@ -101,10 +101,11 @@ binary-arch: build install
dh_shlibdeps
if [ -e opt-stamp ]; then \
dh_gencontrol -pcoq -u-Vocaml:Runtime=""; \
+ dh_gencontrol -pcoqide -u-Vocaml:Runtime=""; \
else \
dh_gencontrol -pcoq -u-Vocaml:Runtime="ocaml-base-nox-3.08"; \
+ dh_gencontrol -pcoqide -u-Vocaml:Runtime="ocaml-base-nox-3.08"; \
fi
- dh_gencontrol -pcoqide
dh_gencontrol -pcoq-libs
dh_gencontrol -pcoq7-libs
dh_md5sums