From: Stefano Zacchiroli Date: Tue, 27 Jul 2004 11:51:25 +0000 (+0000) Subject: ported to ocaml 3.08 X-Git-Tag: v_0_0_5_3~1 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fd648e40eb2c9c5b29cfa4408459511a74898d1d;p=helm.git ported to ocaml 3.08 --- diff --git a/helm/DEVEL/mathml_editor/Makefile.am b/helm/DEVEL/mathml_editor/Makefile.am index d383adb7c..aa15ecbef 100644 --- a/helm/DEVEL/mathml_editor/Makefile.am +++ b/helm/DEVEL/mathml_editor/Makefile.am @@ -1,6 +1,6 @@ DISTDIR = @PACKAGE@-@VERSION@ -EXTRA_DIST = BUGS LICENSE BUGS-GDOME2 MODES PATTERNS aclocal.m4 editex.pc.in +EXTRA_DIST = BUGS LICENSE BUGS-GDOME2 MODES PATTERNS aclocal.m4 editex.pc.in debian SUBDIRS = src test ocaml textomml xsl dict CLEANFILES = core @@ -26,6 +26,6 @@ lc: deb: dist if [ -d $(DISTDIR)/ ]; then rm -rf $(DISTDIR); else true; fi tar xvzf $(DISTDIR).tar.gz - (cd $(DISTDIR)/ && debuild) + (cd $(DISTDIR)/ && rm -rf debian/CVS/ && debuild) rm -rf $(DISTDIR) diff --git a/helm/DEVEL/mathml_editor/debian/changelog b/helm/DEVEL/mathml_editor/debian/changelog index 5272cff19..210f5105c 100644 --- a/helm/DEVEL/mathml_editor/debian/changelog +++ b/helm/DEVEL/mathml_editor/debian/changelog @@ -1,3 +1,37 @@ +editex (0.0.5-3) unstable; urgency=low + + * rebuilt with ocaml 3.08 + * debian/control + - bumped ocaml deps to 3.08 + - bumped standards-version to 3.6.1.1 + - changed ocaml deps to ocaml-nox + - bumped gmetadom (ocaml part) deps to >= 0.2.1-3 (1st version + rebuilt with ocaml 3.08) + - bumped gdome xslt (ocaml part) deps to >= 0.0.6-4 (1st version + rebuilt with ocaml 3.08) + - bumped gdome xslt (C/C++ part) deps to >= 0.0.6-5 (1st version + which fixes missing-.so bug) + + -- Stefano Zacchiroli Tue, 27 Jul 2004 09:11:35 +0200 + +editex (0.0.5-2) unstable; urgency=low + + * ocaml/Makefile.am + - the .o files to be used in the dll are now taken from the .libs + subdirectoy (which presumably contains the PIC code) + (Closes: Bug#239697) + + -- Stefano Zacchiroli Thu, 25 Mar 2004 12:43:39 +0100 + +editex (0.0.5-1) unstable; urgency=low + + * New upstream release + * debian/control + - depends on libt1-dev instead of t1lib-dev + - bumped t1 dependencies to >= 5.0.0 accordingly to gtkmathview + + -- Stefano Zacchiroli Tue, 23 Mar 2004 15:38:28 +0100 + editex (0.0.4-3) unstable; urgency=low * debian/control diff --git a/helm/DEVEL/mathml_editor/debian/control b/helm/DEVEL/mathml_editor/debian/control index b88b7e3c6..526039f78 100644 --- a/helm/DEVEL/mathml_editor/debian/control +++ b/helm/DEVEL/mathml_editor/debian/control @@ -1,8 +1,8 @@ Source: editex Priority: optional Maintainer: Stefano Zacchiroli -Build-Depends: debhelper (>> 4.0.0), ocaml-3.07, libgdome2-cpp-smart-dev (>= 0.2.1), libgdome2-ocaml-dev (>= 0.2.1), libgdome2-xslt-dev (>= 0.0.4), libgdome2-xslt-ocaml-dev (>= 0.0.6-2), ocaml-findlib (>= 0.8-5), libgtkmathview-dev (>= 0.5.2), libgtk2.0-dev, t1lib-dev (>= 1.2) -Standards-Version: 3.6.1.0 +Build-Depends: debhelper (>> 4.0.0), ocaml-nox-3.08, libgdome2-cpp-smart-dev (>= 0.2.1), libgdome2-ocaml-dev (>= 0.2.1-3), libgdome2-xslt-dev (>= 0.0.6-5), libgdome2-xslt-ocaml-dev (>= 0.0.6-4), ocaml-findlib, libgtkmathview-dev (>= 0.5.2), libgtk2.0-dev, libt1-dev (>= 5.0.0) +Standards-Version: 3.6.1.1 Package: libeditex0 Section: libs @@ -16,7 +16,7 @@ Description: MathML editor based on TeX syntax Package: libeditex-dev Section: libdevel Architecture: any -Depends: libeditex0 (= ${Source-Version}), libgdome2-cpp-smart-dev (>= 0.2.1), libgdome2-xslt-dev (>= 0.0.6-2), libgtk2.0-dev, t1lib-dev (>= 1.2), ${misc:Depends} +Depends: libeditex0 (= ${Source-Version}), libgdome2-cpp-smart-dev (>= 0.2.1), libgdome2-xslt-dev (>= 0.0.6-5), libgtk2.0-dev, libt1-dev (>= 5.0.0), ${misc:Depends} Description: MathML editor based on TeX syntax EdiTeX is a C library implementing a MathML editor based on TeX syntax. . @@ -25,7 +25,7 @@ Description: MathML editor based on TeX syntax Package: libeditex-ocaml Section: libs Architecture: any -Depends: ocaml-base-3.07, libgdome2-ocaml (>= 0.2.1), libgdome2-xslt-ocaml (>= 0.0.6-2), ${shlibs:Depends}, ${misc:Depends} +Depends: ocaml-base-3.08, libgdome2-ocaml (>= 0.2.1-3), libgdome2-xslt-ocaml (>= 0.0.6-4), ${shlibs:Depends}, ${misc:Depends} Description: OCaml bindings to EdiTeX, a MathML editor based on TeX syntax EdiTeX is a C library implementing a MathML editor based on TeX syntax. . @@ -36,7 +36,7 @@ Description: OCaml bindings to EdiTeX, a MathML editor based on TeX syntax Package: libeditex-ocaml-dev Section: libdevel Architecture: any -Depends: libeditex-ocaml (= ${Source-Version}), libgdome2-ocaml-dev (>= 0.2.1), libgdome2-xslt-ocaml-dev (>= 0.0.6), ocaml-findlib (>= 0.8-5), ${misc:Depends} +Depends: libeditex-ocaml (= ${Source-Version}), libgdome2-ocaml-dev (>= 0.2.1-3), libgdome2-xslt-ocaml-dev (>= 0.0.6-4), ocaml-findlib, ${misc:Depends} Description: OCaml bindings to EdiTeX, a MathML editor based on TeX syntax EdiTeX is a C library implementing a MathML editor based on TeX syntax. . diff --git a/helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files b/helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files index debf93d04..35a6c8d64 100644 --- a/helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files +++ b/helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files @@ -1,3 +1,3 @@ -usr/lib/ocaml/3.07/mathml-editor -usr/lib/ocaml/3.07/stublibs/lib*.so -usr/lib/ocaml/3.07/stublibs/dll*.so.owner +usr/lib/ocaml/3.08/mathml-editor +usr/lib/ocaml/3.08/stublibs/lib*.so +usr/lib/ocaml/3.08/stublibs/dll*.so.owner diff --git a/helm/DEVEL/mathml_editor/debian/libeditex-ocaml.files b/helm/DEVEL/mathml_editor/debian/libeditex-ocaml.files index eba52a837..91bd7c8a0 100644 --- a/helm/DEVEL/mathml_editor/debian/libeditex-ocaml.files +++ b/helm/DEVEL/mathml_editor/debian/libeditex-ocaml.files @@ -1 +1 @@ -usr/lib/ocaml/3.07/stublibs/dll*.so +usr/lib/ocaml/3.08/stublibs/dll*.so