From: Stefano Zacchiroli Date: Sun, 17 Sep 2006 13:39:58 +0000 (+0000) Subject: ready for 3.09.3 and ocaml.mk X-Git-Tag: make_still_working~6883 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2fc9aa020cc8b357e1fad754558a633c2a51dcbf;p=helm.git ready for 3.09.3 and ocaml.mk --- diff --git a/helm/software/DEVEL/lablgtkmathview/debian/changelog b/helm/software/DEVEL/lablgtkmathview/debian/changelog index 143347d3b..ff74d8d21 100644 --- a/helm/software/DEVEL/lablgtkmathview/debian/changelog +++ b/helm/software/DEVEL/lablgtkmathview/debian/changelog @@ -1,3 +1,13 @@ +lablgtkmathview (0.7.3-2) UNRELEASED; urgency=low + + * debian/rules + - use ocaml.mk cdbs class + * debian/control + - bumped build dependency on ocaml-nox to >= 3.09.3 since we now use + ocaml.mk + + -- Stefano Zacchiroli Sun, 17 Sep 2006 15:39:26 +0200 + lablgtkmathview (0.7.3-1) unstable; urgency=low * debian/*.dirs diff --git a/helm/software/DEVEL/lablgtkmathview/debian/control b/helm/software/DEVEL/lablgtkmathview/debian/control index 7ec8d0dfb..caafcb1f7 100644 --- a/helm/software/DEVEL/lablgtkmathview/debian/control +++ b/helm/software/DEVEL/lablgtkmathview/debian/control @@ -2,7 +2,7 @@ Source: lablgtkmathview Section: devel Priority: optional Maintainer: Stefano Zacchiroli -Build-Depends: debhelper (>> 4.0.0), cdbs, ocaml-nox (>= 3.09.2), ocaml-findlib (>= 1.1), liblablgtk2-ocaml-dev (>= 2.6.0-2), libgdome2-ocaml-dev (>= 0.2.3-5), libgtkmathview-dev (>= 0.7.5), pkg-config +Build-Depends: debhelper (>> 4.0.0), cdbs, ocaml-nox (>= 3.09.3), ocaml-findlib (>= 1.1), liblablgtk2-ocaml-dev (>= 2.6.0-2), libgdome2-ocaml-dev (>= 0.2.3-5), libgtkmathview-dev (>= 0.7.5), pkg-config Standards-Version: 3.7.2 XS-X-Vcs-Svn: svn://mowgli.cs.unibo.it/trunk/helm/software/DEVEL/lablgtkmathview diff --git a/helm/software/DEVEL/lablgtkmathview/debian/rules b/helm/software/DEVEL/lablgtkmathview/debian/rules index 0a44aca18..89b104598 100755 --- a/helm/software/DEVEL/lablgtkmathview/debian/rules +++ b/helm/software/DEVEL/lablgtkmathview/debian/rules @@ -1,17 +1,6 @@ #!/usr/bin/make -f include /usr/share/cdbs/1/rules/debhelper.mk include /usr/share/cdbs/1/class/autotools.mk +include /usr/share/cdbs/1/class/ocaml.mk -PKGNAME = liblablgtkmathview-ocaml-dev - -OCAMLABI := $(shell ocamlc -version) -OCAMLLIBDIR := $(shell ocamlc -where) -OFILES := $(filter-out debian/control,$(patsubst %.in,%,$(wildcard debian/*.in))) -HAVE_OCAMLOPT := $(shell test -x /usr/bin/ocamlopt && echo "yes") -DEB_DH_GENCONTROL_ARGS = -- -VF:OCamlABI="$(OCAMLABI)" - -ocamlinit: - for f in $(OFILES); do sed -e 's/@OCamlABI@/$(OCAMLABI)/g' $$f.in > $$f; done -makebuilddir/$(PKGNAME):: ocamlinit - -DEB_MAKE_INSTALL_TARGET = install PREFIX=$(CURDIR)/debian/tmp$(OCAMLLIBDIR) +DEB_MAKE_INSTALL_TARGET = install PREFIX=$(CURDIR)/debian/tmp$(OCAML_STDLIB_DIR)