From: Stefano Zacchiroli Date: Wed, 17 May 2006 04:56:28 +0000 (+0000) Subject: ported to ocaml 3.09.2 X-Git-Tag: make_still_working~7356 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=34e7d210bc92d43b1ee2eecd33dcc2b08ee6cbbf;p=helm.git ported to ocaml 3.09.2 --- diff --git a/helm/software/DEVEL/lablgtkmathview/Makefile.in b/helm/software/DEVEL/lablgtkmathview/Makefile.in index 26532c4a8..8decedf3f 100644 --- a/helm/software/DEVEL/lablgtkmathview/Makefile.in +++ b/helm/software/DEVEL/lablgtkmathview/Makefile.in @@ -54,8 +54,7 @@ dist: rm -rf $(DIST_DIR)/ mkdir $(DIST_DIR)/ cp -a $(DIST_FILES) $(DOC_FILES) $(DIST_DIR)/ - -find $(DIST_DIR) -name CVS -type d -exec rm -rf {} \; - -find $(DIST_DIR) -name .cvsignore -type f -exec rm {} \; + -find $(DIST_DIR) -name .svn -type d -exec rm -rf {} \; tar cvfz $(DIST_DIR).tar.gz $(DIST_DIR)/ rm -rf $(DIST_DIR)/ diff --git a/helm/software/DEVEL/lablgtkmathview/debian/changelog b/helm/software/DEVEL/lablgtkmathview/debian/changelog index 2b3c7b897..ba0745999 100644 --- a/helm/software/DEVEL/lablgtkmathview/debian/changelog +++ b/helm/software/DEVEL/lablgtkmathview/debian/changelog @@ -1,3 +1,13 @@ +lablgtkmathview (0.7.2-5) unstable; urgency=low + + * Rebuilt against OCaml 3.09.2, bumped deps accordingly. + * debian/control + - bumped Standards-Version to 3.7.2 (no changes needed) + * debian/rules + - added binary-indep target, which was missing + + -- Stefano Zacchiroli Tue, 16 May 2006 23:45:20 -0500 + lablgtkmathview (0.7.2-4) unstable; urgency=low * Rebuilt against OCaml 3.09.1, bumped deps accordingly. diff --git a/helm/software/DEVEL/lablgtkmathview/debian/control b/helm/software/DEVEL/lablgtkmathview/debian/control index e52875552..2be2bda8c 100644 --- a/helm/software/DEVEL/lablgtkmathview/debian/control +++ b/helm/software/DEVEL/lablgtkmathview/debian/control @@ -2,8 +2,8 @@ Source: lablgtkmathview Section: devel Priority: optional Maintainer: Stefano Zacchiroli -Build-Depends: debhelper (>> 4.0.0), ocaml-nox (>= 3.09.1), 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.6.2 +Build-Depends: debhelper (>> 4.0.0), 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 +Standards-Version: 3.7.2 Package: liblablgtkmathview-ocaml Architecture: any diff --git a/helm/software/DEVEL/lablgtkmathview/debian/control.in b/helm/software/DEVEL/lablgtkmathview/debian/control.in index 6d7d91869..cde2dfa98 100644 --- a/helm/software/DEVEL/lablgtkmathview/debian/control.in +++ b/helm/software/DEVEL/lablgtkmathview/debian/control.in @@ -3,7 +3,7 @@ Section: devel Priority: optional Maintainer: Stefano Zacchiroli Build-Depends: debhelper (>> 4.0.0), ocaml-nox (>= @OCamlABI@), 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.6.2 +Standards-Version: 3.7.2 Package: liblablgtkmathview-ocaml Architecture: any diff --git a/helm/software/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install b/helm/software/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install index 5a9f2278d..af24f2df2 100644 --- a/helm/software/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install +++ b/helm/software/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install @@ -1,7 +1,7 @@ -debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.a -debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.cma -debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.cmi -debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.cmxa -debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/META -debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.ml -debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.mli +debian/tmp/usr/lib/ocaml/3.09.2/lablgtkmathview/*.a +debian/tmp/usr/lib/ocaml/3.09.2/lablgtkmathview/*.cma +debian/tmp/usr/lib/ocaml/3.09.2/lablgtkmathview/*.cmi +debian/tmp/usr/lib/ocaml/3.09.2/lablgtkmathview/*.cmxa +debian/tmp/usr/lib/ocaml/3.09.2/lablgtkmathview/META +debian/tmp/usr/lib/ocaml/3.09.2/lablgtkmathview/*.ml +debian/tmp/usr/lib/ocaml/3.09.2/lablgtkmathview/*.mli diff --git a/helm/software/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.install b/helm/software/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.install index a3e0aaf87..eead5e48f 100644 --- a/helm/software/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.install +++ b/helm/software/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.install @@ -1 +1 @@ -debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.so usr/lib/ocaml/3.09.1/stublibs/ +debian/tmp/usr/lib/ocaml/3.09.2/lablgtkmathview/*.so usr/lib/ocaml/3.09.2/stublibs/ diff --git a/helm/software/DEVEL/lablgtkmathview/debian/rules b/helm/software/DEVEL/lablgtkmathview/debian/rules index 832767abb..5e0bab2fd 100755 --- a/helm/software/DEVEL/lablgtkmathview/debian/rules +++ b/helm/software/DEVEL/lablgtkmathview/debian/rules @@ -64,5 +64,6 @@ binary-arch: build install dh_md5sums dh_builddeb -binary: binary-arch +binary-indep: build install +binary: binary-indep binary-arch .PHONY: build clean binary-arch binary install configure