From: Stefano Zacchiroli Date: Wed, 17 May 2006 05:17:54 +0000 (+0000) Subject: ported to ocaml 3.09.2 X-Git-Tag: make_still_working~7355 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d64d3dbcd72d436f966e521878639e34197707e9;p=helm.git ported to ocaml 3.09.2 --- diff --git a/helm/software/DEVEL/lablgtksourceview/Makefile.in b/helm/software/DEVEL/lablgtksourceview/Makefile.in index 19dc0d19d..3b347e4f3 100644 --- a/helm/software/DEVEL/lablgtksourceview/Makefile.in +++ b/helm/software/DEVEL/lablgtksourceview/Makefile.in @@ -70,8 +70,7 @@ dist: distclean rm -rf $(DIST_DIR)/ mkdir -p $(DIST_DIR)/ cp -a $(DIST_FILES) $(EXTRA_DIST) $(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/lablgtksourceview/debian/changelog b/helm/software/DEVEL/lablgtksourceview/debian/changelog index 60dc444de..256f4de43 100644 --- a/helm/software/DEVEL/lablgtksourceview/debian/changelog +++ b/helm/software/DEVEL/lablgtksourceview/debian/changelog @@ -1,3 +1,11 @@ +lablgtksourceview (0.0.1-4) unstable; urgency=low + + * Rebuilt with ocaml 3.09.2, bumped deps accordingly. + * debian/control + - bumped Standards-Version to 3.7.2 (no changes needed) + + -- Stefano Zacchiroli Wed, 17 May 2006 00:11:40 -0500 + lablgtksourceview (0.0.1-3) unstable; urgency=low * Rebuilt against OCaml 3.09.1, bumped deps accordingly. diff --git a/helm/software/DEVEL/lablgtksourceview/debian/control b/helm/software/DEVEL/lablgtksourceview/debian/control index dd06052bb..ecb881410 100644 --- a/helm/software/DEVEL/lablgtksourceview/debian/control +++ b/helm/software/DEVEL/lablgtksourceview/debian/control @@ -2,8 +2,8 @@ Source: lablgtksourceview Section: devel Priority: optional Maintainer: Stefano Zacchiroli -Build-Depends: debhelper (>= 4.1.0), cdbs, ocaml-findlib, ocaml-nox (>= 3.09.1), liblablgtk2-ocaml-dev (>= 2.6.0-2), libgtksourceview-dev (>= 1.2.0) -Standards-Version: 3.6.2 +Build-Depends: debhelper (>= 4.1.0), cdbs, ocaml-findlib, ocaml-nox (>= 3.09.2), liblablgtk2-ocaml-dev (>= 2.6.0-2), libgtksourceview-dev (>= 1.2.0) +Standards-Version: 3.7.2 Package: liblablgtksourceview-ocaml-dev Architecture: any diff --git a/helm/software/DEVEL/lablgtksourceview/debian/control.in b/helm/software/DEVEL/lablgtksourceview/debian/control.in index e87aaa957..1cd98e192 100644 --- a/helm/software/DEVEL/lablgtksourceview/debian/control.in +++ b/helm/software/DEVEL/lablgtksourceview/debian/control.in @@ -3,7 +3,7 @@ Section: devel Priority: optional Maintainer: Stefano Zacchiroli Build-Depends: debhelper (>= 4.1.0), cdbs, ocaml-findlib, ocaml-nox (>= @OCamlABI@), liblablgtk2-ocaml-dev (>= 2.6.0-2), libgtksourceview-dev (>= 1.2.0) -Standards-Version: 3.6.2 +Standards-Version: 3.7.2 Package: liblablgtksourceview-ocaml-dev Architecture: any diff --git a/helm/software/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml-dev.install b/helm/software/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml-dev.install index b4f781202..bae421577 100644 --- a/helm/software/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml-dev.install +++ b/helm/software/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml-dev.install @@ -1,7 +1,7 @@ -debian/tmp/lablgtksourceview/*.a usr/lib/ocaml/3.09.1/lablgtksourceview/ -debian/tmp/lablgtksourceview/*.cma usr/lib/ocaml/3.09.1/lablgtksourceview/ -debian/tmp/lablgtksourceview/*.cmi usr/lib/ocaml/3.09.1/lablgtksourceview/ -debian/tmp/lablgtksourceview/*.cmxa usr/lib/ocaml/3.09.1/lablgtksourceview/ -debian/tmp/lablgtksourceview/META usr/lib/ocaml/3.09.1/lablgtksourceview/ -debian/tmp/lablgtksourceview/*.mli usr/lib/ocaml/3.09.1/lablgtksourceview/ -debian/tmp/lablgtksourceview/*.o usr/lib/ocaml/3.09.1/lablgtksourceview/ +debian/tmp/lablgtksourceview/*.a usr/lib/ocaml/3.09.2/lablgtksourceview/ +debian/tmp/lablgtksourceview/*.cma usr/lib/ocaml/3.09.2/lablgtksourceview/ +debian/tmp/lablgtksourceview/*.cmi usr/lib/ocaml/3.09.2/lablgtksourceview/ +debian/tmp/lablgtksourceview/*.cmxa usr/lib/ocaml/3.09.2/lablgtksourceview/ +debian/tmp/lablgtksourceview/META usr/lib/ocaml/3.09.2/lablgtksourceview/ +debian/tmp/lablgtksourceview/*.mli usr/lib/ocaml/3.09.2/lablgtksourceview/ +debian/tmp/lablgtksourceview/*.o usr/lib/ocaml/3.09.2/lablgtksourceview/ diff --git a/helm/software/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml.install b/helm/software/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml.install index 335703867..b4a652b74 100644 --- a/helm/software/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml.install +++ b/helm/software/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml.install @@ -1 +1 @@ -debian/tmp/lablgtksourceview/*.so usr/lib/ocaml/3.09.1/stublibs/ +debian/tmp/lablgtksourceview/*.so usr/lib/ocaml/3.09.2/stublibs/