From: Stefano Zacchiroli Date: Fri, 28 Dec 2007 14:46:26 +0000 (+0000) Subject: * debian/rules: instead of passing explicit -I flags to ocamldoc, do them X-Git-Tag: make_still_working~5697 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cc0e6decc9fdb0e70b5ae04089ac57cba3ed17bb;hp=cacd7c1f36aca92759df70e5dc1eb5a4d990a9d1;p=helm.git * debian/rules: instead of passing explicit -I flags to ocamldoc, do them via ocamlfind and OCAML_OCAMLDOC_OCAMLFIND_FLAGS --- diff --git a/helm/software/DEVEL/gdome_xslt/debian/changelog b/helm/software/DEVEL/gdome_xslt/debian/changelog index 5beda61b8..d36218df2 100644 --- a/helm/software/DEVEL/gdome_xslt/debian/changelog +++ b/helm/software/DEVEL/gdome_xslt/debian/changelog @@ -1,11 +1,13 @@ -gdome2-xslt (0.0.8-3) unstable; urgency=low +gdome2-xslt (0.0.8-3) UNRELEASED; urgency=low * add Homepage debian/control field * promote Vcs-* fields to real debian/control fields * update standards-version, no changes needed * convert package to a non-native one (closes: #457353) + * debian/rules: instead of passing explicit -I flags to ocamldoc, do them + via ocamlfind and OCAML_OCAMLDOC_OCAMLFIND_FLAGS - -- Stefano Zacchiroli Fri, 28 Dec 2007 15:14:16 +0100 + -- Stefano Zacchiroli Fri, 28 Dec 2007 15:45:20 +0100 gdome2-xslt (0.0.8-2) unstable; urgency=low diff --git a/helm/software/DEVEL/gdome_xslt/debian/rules b/helm/software/DEVEL/gdome_xslt/debian/rules index ff560bb53..d5ca8b2a3 100755 --- a/helm/software/DEVEL/gdome_xslt/debian/rules +++ b/helm/software/DEVEL/gdome_xslt/debian/rules @@ -3,4 +3,4 @@ include /usr/share/cdbs/1/rules/debhelper.mk include /usr/share/cdbs/1/class/autotools.mk include /usr/share/cdbs/1/class/ocaml.mk OCAML_OCAMLDOC_PACKAGES = $(OCAML_LIBDEV_PACKAGES) -OCAML_OCAMLDOC_FLAGS += -I $(OCAML_STDLIB_DIR)/gdome2 +OCAML_OCAMLDOC_OCAMLFIND_FLAGS += -package gdome2