]> matita.cs.unibo.it Git - helm.git/commitdiff
ported to ocaml 3.08
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Jul 2004 11:51:25 +0000 (11:51 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Jul 2004 11:51:25 +0000 (11:51 +0000)
helm/DEVEL/mathml_editor/Makefile.am
helm/DEVEL/mathml_editor/debian/changelog
helm/DEVEL/mathml_editor/debian/control
helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files
helm/DEVEL/mathml_editor/debian/libeditex-ocaml.files

index d383adb7c0fd05c13509114937281960fe0783af..aa15ecbef9755095b82ee5157121e4c8f14208d2 100644 (file)
@@ -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)
 
index 5272cff1958e85086707109d3963ae2abc452fa5..210f5105cb02269ce45339c5ffa3364b0781d881 100644 (file)
@@ -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 <zack@debian.org>  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 <zack@debian.org>  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 <zack@debian.org>  Tue, 23 Mar 2004 15:38:28 +0100
+
 editex (0.0.4-3) unstable; urgency=low
 
   * debian/control
index b88b7e3c61e40f318ea8a79277efb03ce4bb03f4..526039f7802aba729285523bb168222013e78a64 100644 (file)
@@ -1,8 +1,8 @@
 Source: editex
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-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.
  .
index debf93d04d742bff77b933492a2deee48b79d951..35a6c8d645c08772ae1200d3ebaae50bb03fdff7 100644 (file)
@@ -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
index eba52a83741e07a796d79a3b6c3e7689970c7391..91bd7c8a02c7c25eff5df1abae1816e4e8066627 100644 (file)
@@ -1 +1 @@
-usr/lib/ocaml/3.07/stublibs/dll*.so
+usr/lib/ocaml/3.08/stublibs/dll*.so