]> matita.cs.unibo.it Git - helm.git/commitdiff
ocaml 3.09 transition
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 23 Nov 2005 10:45:01 +0000 (10:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 23 Nov 2005 10:45:01 +0000 (10:45 +0000)
13 files changed:
helm/DEVEL/gdome_xslt/Makefile.am
helm/DEVEL/gdome_xslt/debian/changelog
helm/DEVEL/gdome_xslt/debian/control
helm/DEVEL/gdome_xslt/debian/control.in [new file with mode: 0644]
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs.in [new file with mode: 0644]
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install.in [new file with mode: 0644]
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs.in [new file with mode: 0644]
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install.in [new file with mode: 0644]
helm/DEVEL/gdome_xslt/debian/rules

index e3128358613b0b62ab9385a556319b5f78ad8d85..bb68b5e4b761fd1c70068e8f8e40def0d946f9f2 100644 (file)
@@ -11,6 +11,6 @@ SUBDIRS = C C++ ocaml test_files
 deb: dist
        if [ -d $(DISTDIR)/ ]; then rm -rf $(DISTDIR); else true; fi
        tar xvzf $(DISTDIR).tar.gz
-       (cd $(DISTDIR)/ && debuild)
+       (cd $(DISTDIR)/ && find . -type d -name CVS -exec rm -rf {} \; ; debuild)
        rm -rf $(DISTDIR)
 
index 7c5bdda4253b1434ce8da6e99f3253fd54100e60..260ae3b285b014379eaa5920288c12e7b8d29de6 100644 (file)
@@ -1,3 +1,15 @@
+gdome2-xslt (0.0.7-2) unstable; urgency=low
+
+  * ocaml 3.09 transition
+  * rebuild/renaming due to changed libstdc++ configuration
+    (closes: #339167)
+  * debian/*
+    - no longer hard coding of ocaml abi number anywhere
+  * debian/control
+    - bumped standards version
+
+ -- Stefano Zacchiroli <zack@debian.org>  Wed, 23 Nov 2005 10:30:16 +0000
+
 gdome2-xslt (0.0.7-1) unstable; urgency=low
 
   * New upstream release
index df874e90f6c30dfe3a29e011d888beb9687f2ccd..242f5eb6c82188b4f8aef95f18a4213ac821b3d3 100644 (file)
@@ -2,15 +2,15 @@ Source: gdome2-xslt
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>= 4.1.0), ocaml-nox-3.08.3, ocaml-findlib (>= 0.8-5), libgdome2-ocaml-dev (>= 0.2.3), libgdome2-dev (>= 0.8.1), libxslt1-dev, libgdome2-cpp-smart-dev (>= 0.2.3), pkg-config, cdbs
-Standards-Version: 3.6.1.1
+Build-Depends: debhelper (>= 4.1.0), ocaml-nox (>= 3.09.0), ocaml-findlib (>= 1.1), libgdome2-ocaml-dev (>= 0.2.3-4), libgdome2-dev (>= 0.8.1), libxslt1-dev, libgdome2-cpp-smart-dev (>= 0.2.3-4), pkg-config, cdbs
+Standards-Version: 3.6.2
 
-Package: libgdome2-xslt0c2
+Package: libgdome2-xslt0c2a
 Section: libs
 Architecture: any
 Depends: ${shlibs:Depends}, ${misc:Depends}
-Replaces: libgdome2-xslt0
-Conflicts: libgdome2-xslt0
+Replaces: libgdome2-xslt0, libgdome2-xslt0c2
+Conflicts: libgdome2-xslt0, libgdome2-xslt0c2
 Description: Minimal XSLT processor working on GDome2 documents
  gdome2-xslt is a very small C library that implements a minimal
  XSLT processor that can be used to apply XSLT stylesheets to
@@ -22,7 +22,7 @@ Description: Minimal XSLT processor working on GDome2 documents
 Package: libgdome2-xslt-dev
 Section: libdevel
 Architecture: any
-Depends: libgdome2-xslt0c2 (= ${Source-Version}), libxslt1-dev, libgdome2-dev (>= 0.8.1), libgdome2-cpp-smart-dev (>= 0.2.3), ${misc:Depends}
+Depends: libgdome2-xslt0c2a (= ${Source-Version}), libxslt1-dev, libgdome2-dev (>= 0.8.1), libgdome2-cpp-smart-dev (>= 0.2.3-4), ${misc:Depends}
 Description: Minimal XSLT processor working on GDome2 documents
  gdome2-xslt is a very small C library that implements a minimal
  XSLT processor that can be used to apply XSLT stylesheets to
@@ -33,7 +33,7 @@ Description: Minimal XSLT processor working on GDome2 documents
 
 Package: libgdome2-xslt-ocaml
 Architecture: any
-Depends: ocaml-base-nox-3.08.3, libgdome2-ocaml (>= 0.2.3), ${shlibs:Depends}, ${misc:Depends}
+Depends: ocaml-base-nox-${F:OCamlABI}, libgdome2-ocaml (>= 0.2.3-4), ${shlibs:Depends}, ${misc:Depends}
 Description: OCaml bindings for a minimal GDome2 based XSLT processor
  gdome2-xslt is a very small C library that implements a minimal
  XSLT processor that can be used to apply XSLT stylesheets to
@@ -46,7 +46,7 @@ Description: OCaml bindings for a minimal GDome2 based XSLT processor
 Package: libgdome2-xslt-ocaml-dev
 Architecture: any
 Section: libdevel
-Depends: ocaml-nox-3.08.3, libgdome2-xslt-ocaml (= ${Source-Version}), libgdome2-ocaml-dev (>= 0.2.3), libxslt1-dev, libgdome2-dev (>= 0.8.1), ${misc:Depends}
+Depends: ocaml-nox-${F:OCamlABI}, libgdome2-xslt-ocaml (= ${Source-Version}), libgdome2-ocaml-dev (>= 0.2.3-4), libxslt1-dev, libgdome2-dev (>= 0.8.1), ${misc:Depends}
 Description: OCaml bindings for a minimal GDome2 based XSLT processor
  gdome2-xslt is a very small C library that implements a minimal
  XSLT processor that can be used to apply XSLT stylesheets to
diff --git a/helm/DEVEL/gdome_xslt/debian/control.in b/helm/DEVEL/gdome_xslt/debian/control.in
new file mode 100644 (file)
index 0000000..1624c32
--- /dev/null
@@ -0,0 +1,58 @@
+Source: gdome2-xslt
+Section: devel
+Priority: optional
+Maintainer: Stefano Zacchiroli <zack@debian.org>
+Build-Depends: debhelper (>= 4.1.0), ocaml-nox (>= @OCamlABI@), ocaml-findlib (>= 1.1), libgdome2-ocaml-dev (>= 0.2.3-4), libgdome2-dev (>= 0.8.1), libxslt1-dev, libgdome2-cpp-smart-dev (>= 0.2.3-4), pkg-config, cdbs
+Standards-Version: 3.6.2
+
+Package: libgdome2-xslt0c2a
+Section: libs
+Architecture: any
+Depends: ${shlibs:Depends}, ${misc:Depends}
+Replaces: libgdome2-xslt0, libgdome2-xslt0c2
+Conflicts: libgdome2-xslt0, libgdome2-xslt0c2
+Description: Minimal XSLT processor working on GDome2 documents
+ gdome2-xslt is a very small C library that implements a minimal
+ XSLT processor that can be used to apply XSLT stylesheets to
+ gdome2 documents.
+ .
+ This package includes shared libraries for the C implementation
+ and for the C++ bindings.
+
+Package: libgdome2-xslt-dev
+Section: libdevel
+Architecture: any
+Depends: libgdome2-xslt0c2a (= ${Source-Version}), libxslt1-dev, libgdome2-dev (>= 0.8.1), libgdome2-cpp-smart-dev (>= 0.2.3-4), ${misc:Depends}
+Description: Minimal XSLT processor working on GDome2 documents
+ gdome2-xslt is a very small C library that implements a minimal
+ XSLT processor that can be used to apply XSLT stylesheets to
+ gdome2 documents.
+ .
+ This package includes development support files for the C
+ library and for its C++ bindings.
+
+Package: libgdome2-xslt-ocaml
+Architecture: any
+Depends: ocaml-base-nox-${F:OCamlABI}, libgdome2-ocaml (>= 0.2.3-4), ${shlibs:Depends}, ${misc:Depends}
+Description: OCaml bindings for a minimal GDome2 based XSLT processor
+ gdome2-xslt is a very small C library that implements a minimal
+ XSLT processor that can be used to apply XSLT stylesheets to
+ gdome2 documents.
+ .
+ This package ships the OCaml language bindings for gdome2-xslt.
+ .
+ This package contains only the OCaml shared runtime stub libraries.
+
+Package: libgdome2-xslt-ocaml-dev
+Architecture: any
+Section: libdevel
+Depends: ocaml-nox-${F:OCamlABI}, libgdome2-xslt-ocaml (= ${Source-Version}), libgdome2-ocaml-dev (>= 0.2.3-4), libxslt1-dev, libgdome2-dev (>= 0.8.1), ${misc:Depends}
+Description: OCaml bindings for a minimal GDome2 based XSLT processor
+ gdome2-xslt is a very small C library that implements a minimal
+ XSLT processor that can be used to apply XSLT stylesheets to
+ gdome2 documents.
+ .
+ This package ships the OCaml language bindings for gdome2-xslt.
+ .
+ This package contains OCaml development stuff for gdome2-xslt.
+
index 8646e27b278afe5068f37570928d7d94a058144f..7ba05d3c3da8b065034505e0e657adb45036681e 100644 (file)
@@ -1 +1 @@
-usr/lib/ocaml/3.08.3
+usr/lib/ocaml/3.09.0
diff --git a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs.in b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs.in
new file mode 100644 (file)
index 0000000..92126d8
--- /dev/null
@@ -0,0 +1 @@
+usr/lib/ocaml/@OCamlABI@
index 52584711df876d9770f0eeded20c287fabc5d2a9..2383fd8b1a3f66939439717e1c70082f878e5e2a 100644 (file)
@@ -1,3 +1,3 @@
-debian/tmp/usr/lib/ocaml/3.08.3/stublibs/*.owner
-debian/tmp/usr/lib/ocaml/3.08.3/stublibs/lib*.so
-debian/tmp/usr/lib/ocaml/3.08.3/gdome2-xslt/
+debian/tmp/usr/lib/ocaml/3.09.0/stublibs/*.owner
+debian/tmp/usr/lib/ocaml/3.09.0/stublibs/lib*.so
+debian/tmp/usr/lib/ocaml/3.09.0/gdome2-xslt/
diff --git a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install.in b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install.in
new file mode 100644 (file)
index 0000000..4888ff7
--- /dev/null
@@ -0,0 +1,3 @@
+debian/tmp/usr/lib/ocaml/@OCamlABI@/stublibs/*.owner
+debian/tmp/usr/lib/ocaml/@OCamlABI@/stublibs/lib*.so
+debian/tmp/usr/lib/ocaml/@OCamlABI@/gdome2-xslt/
index 8646e27b278afe5068f37570928d7d94a058144f..7ba05d3c3da8b065034505e0e657adb45036681e 100644 (file)
@@ -1 +1 @@
-usr/lib/ocaml/3.08.3
+usr/lib/ocaml/3.09.0
diff --git a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs.in b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs.in
new file mode 100644 (file)
index 0000000..92126d8
--- /dev/null
@@ -0,0 +1 @@
+usr/lib/ocaml/@OCamlABI@
index 96cc7de5cd9ad6a901665b0d0ddb5f1334f7822c..a2cb93c23cb28db7caac8554e67a9d130b468369 100644 (file)
@@ -1 +1 @@
-debian/tmp/usr/lib/ocaml/3.08.3/stublibs/dll*.so
+debian/tmp/usr/lib/ocaml/3.09.0/stublibs/dll*.so
diff --git a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install.in b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install.in
new file mode 100644 (file)
index 0000000..b139965
--- /dev/null
@@ -0,0 +1 @@
+debian/tmp/usr/lib/ocaml/@OCamlABI@/stublibs/dll*.so
index f738c4d58fa71db80a33b1cf26f38a77bc71aaae..52a3e2ea36d651a236917c0c593a2a519773a20c 100755 (executable)
@@ -1,3 +1,10 @@
 #!/usr/bin/make -f
 include /usr/share/cdbs/1/rules/debhelper.mk
 include /usr/share/cdbs/1/class/autotools.mk
+
+OCAMLABI := $(shell ocamlc -version)
+OFILES := $(patsubst %.in,%,$(shell ls debian/*.in))
+DEB_DH_GENCONTROL_ARGS = -- -VF:OCamlABI="$(OCAMLABI)"
+
+ocamlinit:
+       for f in $(OFILES); do sed -e 's/@OCamlABI@/$(OCAMLABI)/g' $$f.in > $$f; done