diff options
author | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2005-03-25 12:37:44 +0000 |
---|---|---|
committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2005-03-25 12:37:44 +0000 |
commit | 14231a6b9f78637e23885e9854254b84259c1149 (patch) | |
tree | 3d80027bb57196f2672393bc6eb11274deae9fad /debian/rules | |
parent | 3b182903454caa27cd34fc38c594970a800dc9a1 (diff) |
Updated to OCaml 3.08.3 + small fixes.
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 17 |
1 files changed, 4 insertions, 13 deletions
diff --git a/debian/rules b/debian/rules index 9c65c9b3..872edde4 100755 --- a/debian/rules +++ b/debian/rules @@ -102,30 +102,21 @@ binary-common: dh_installemacsen dh_installman dh_installchangelogs CHANGES + dh_desktop dh_link dh_compress dh_fixperms dh_installdeb dh_shlibdeps + dh_gencontrol + dh_md5sums + dh_builddeb binary-indep: build install $(MAKE) -f debian/rules DH_OPTIONS=-i binary-common - dh_gencontrol -pcoq-libs - dh_gencontrol -pcoq7-libs - dh_md5sums -i - dh_builddeb -i binary-arch: build install $(MAKE) -f debian/rules DH_OPTIONS=-a binary-common - 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_md5sums -s - dh_builddeb -s binary: binary-indep binary-arch .PHONY: build clean binary-indep binary-arch binary-common binary install configure |