]> matita.cs.unibo.it Git - helm.git/commitdiff
ocaml 3.09 transition
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 23 Nov 2005 10:02:47 +0000 (10:02 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 23 Nov 2005 10:02:47 +0000 (10:02 +0000)
helm/DEVEL/lablgtkmathview/debian/changelog
helm/DEVEL/lablgtkmathview/debian/control
helm/DEVEL/lablgtkmathview/debian/control.in [new file with mode: 0644]
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.dirs
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install.in [new file with mode: 0644]
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.dirs
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.install
helm/DEVEL/lablgtkmathview/debian/rules

index 8f1c6ba9ebb37e74897f5ecf6772ea2f469b30a5..c5e80350e50eeb79dbeb4e499c197c90182f8d98 100644 (file)
@@ -1,3 +1,11 @@
+lablgtkmathview (0.7.2-3) unstable; urgency=low
+
+  * rebuilt with ocaml 3.09
+  * debian/*
+    - no longer hard coding of ocaml abi number anywhere
+
+ -- Stefano Zacchiroli <zack@debian.org>  Wed, 23 Nov 2005 09:59:14 +0000
+
 lablgtkmathview (0.7.2-2) unstable; urgency=low
 
   * debian/changelog
index 9cd85f759a5f82eb32261db2070cf4d0344f8e8b..92dd81a1f6c53f8c8abd38667ac0e1aebbbbd54e 100644 (file)
@@ -2,13 +2,13 @@ Source: lablgtkmathview
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 4.0.0), ocaml-3.08.3, ocaml-findlib, liblablgtk2-ocaml-dev (>= 2.4.0+2005.06.13), libgdome2-ocaml-dev (>= 0.2.3), libgtkmathview-dev (>= 0.7.2), pkg-config
+Build-Depends: debhelper (>> 4.0.0), ocaml-nox (>= 3.09.0), ocaml-findlib (>= 1.1), liblablgtk2-ocaml-dev (>= 2.6.0), libgdome2-ocaml-dev (>= 0.2.3-3), libgtkmathview-dev (>= 0.7.5), pkg-config
 Standards-Version: 3.6.2
 
 Package: liblablgtkmathview-ocaml
 Architecture: any
 Section: libs
-Depends: ocaml-base-nox-3.08.3, liblablgtk2-ocaml (>= 2.4.0+2005.06.13), libgdome2-ocaml (>= 0.2.3), libgtkmathview0c2 (>= 0.7.2), ${shlibs:Depends}, ${misc:Depends}
+Depends: ocaml-base-nox-${F:OCamlABI}, liblablgtk2-ocaml (>= 2.6.0), libgdome2-ocaml (>= 0.2.3), libgtkmathview0c2a (>= 0.7.5), ${shlibs:Depends}, ${misc:Depends}
 Description: OCaml bindings for libgtkmathview, a GTK widget to render MathML
  This is the Ocaml binding for the GtkMathView widget, that is
  currently available in the libgtkmathview0 package.
@@ -18,7 +18,7 @@ Description: OCaml bindings for libgtkmathview, a GTK widget to render MathML
 Package: liblablgtkmathview-ocaml-dev
 Architecture: any
 Section: libdevel
-Depends: ocaml-3.08.3, liblablgtk2-ocaml-dev (>= 2.4.0+2005.06.13), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib, libgdome2-ocaml-dev (>= 0.2.3), libgtkmathview-dev (>= 0.7.2), ${misc:Depends}
+Depends: ocaml-nox-${F:OCamlABI}, liblablgtk2-ocaml-dev (>= 2.6.0), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib, libgdome2-ocaml-dev (>= 0.2.3-3), libgtkmathview-dev (>= 0.7.5), ${misc:Depends}
 Description: OCaml bindings for libgtkmathview, a GTK widget to render MathML
  These are the Ocaml bindings for the GtkMathView widget, that is
  currently available in the libgtkmathview0 package.
diff --git a/helm/DEVEL/lablgtkmathview/debian/control.in b/helm/DEVEL/lablgtkmathview/debian/control.in
new file mode 100644 (file)
index 0000000..aa5f9d1
--- /dev/null
@@ -0,0 +1,27 @@
+Source: lablgtkmathview
+Section: devel
+Priority: optional
+Maintainer: Stefano Zacchiroli <zack@debian.org>
+Build-Depends: debhelper (>> 4.0.0), ocaml-nox (>= @OCamlABI@), ocaml-findlib (>= 1.1), liblablgtk2-ocaml-dev (>= 2.6.0), libgdome2-ocaml-dev (>= 0.2.3-3), libgtkmathview-dev (>= 0.7.5), pkg-config
+Standards-Version: 3.6.2
+
+Package: liblablgtkmathview-ocaml
+Architecture: any
+Section: libs
+Depends: ocaml-base-nox-${F:OCamlABI}, liblablgtk2-ocaml (>= 2.6.0), libgdome2-ocaml (>= 0.2.3), libgtkmathview0c2a (>= 0.7.5), ${shlibs:Depends}, ${misc:Depends}
+Description: OCaml bindings for libgtkmathview, a GTK widget to render MathML
+ This is the Ocaml binding for the GtkMathView widget, that is
+ currently available in the libgtkmathview0 package.
+ .
+ This package contains only the shared runtime stub libraries.
+
+Package: liblablgtkmathview-ocaml-dev
+Architecture: any
+Section: libdevel
+Depends: ocaml-nox-${F:OCamlABI}, liblablgtk2-ocaml-dev (>= 2.6.0), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib, libgdome2-ocaml-dev (>= 0.2.3-3), libgtkmathview-dev (>= 0.7.5), ${misc:Depends}
+Description: OCaml bindings for libgtkmathview, a GTK widget to render MathML
+ These are the Ocaml bindings for the GtkMathView widget, that is
+ currently available in the libgtkmathview0 package.
+ .
+ This package contains the development part of the lablgtkmathview package.
+
index 2a66db0dba056ed593b5529b5ab463e78893ef5c..79836154a26190c1c3562c2ba30c52c7a7cd0564 100644 (file)
@@ -1,7 +1,7 @@
-debian/tmp/usr/lib/ocaml/3.08.3/lablgtkmathview/*.a
-debian/tmp/usr/lib/ocaml/3.08.3/lablgtkmathview/*.cma
-debian/tmp/usr/lib/ocaml/3.08.3/lablgtkmathview/*.cmi
-debian/tmp/usr/lib/ocaml/3.08.3/lablgtkmathview/*.cmxa
-debian/tmp/usr/lib/ocaml/3.08.3/lablgtkmathview/META
-debian/tmp/usr/lib/ocaml/3.08.3/lablgtkmathview/*.ml
-debian/tmp/usr/lib/ocaml/3.08.3/lablgtkmathview/*.mli
+debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/*.a
+debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/*.cma
+debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/*.cmi
+debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/*.cmxa
+debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/META
+debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/*.ml
+debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/*.mli
diff --git a/helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install.in b/helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install.in
new file mode 100644 (file)
index 0000000..bcae889
--- /dev/null
@@ -0,0 +1,7 @@
+debian/tmp/usr/lib/ocaml/@OCamlABI@/lablgtkmathview/*.a
+debian/tmp/usr/lib/ocaml/@OCamlABI@/lablgtkmathview/*.cma
+debian/tmp/usr/lib/ocaml/@OCamlABI@/lablgtkmathview/*.cmi
+debian/tmp/usr/lib/ocaml/@OCamlABI@/lablgtkmathview/*.cmxa
+debian/tmp/usr/lib/ocaml/@OCamlABI@/lablgtkmathview/META
+debian/tmp/usr/lib/ocaml/@OCamlABI@/lablgtkmathview/*.ml
+debian/tmp/usr/lib/ocaml/@OCamlABI@/lablgtkmathview/*.mli
index 8ecf93784fdfda6f3023b0276a6af7f79d569cc6..2c309910972f52f6b4929208e5a81ae180123040 100644 (file)
@@ -1 +1 @@
-usr/lib/ocaml/3.08.3/stublibs
+usr/lib/ocaml/3.09.0/stublibs
index 18dfa426f65795e0f316b79f3b8ea83434fa10da..24242ed45ffac1e53df85acb6895c1d173c94af8 100644 (file)
@@ -1 +1 @@
-debian/tmp/usr/lib/ocaml/3.08.3/lablgtkmathview/*.so  usr/lib/ocaml/3.08.3/stublibs/
+debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/*.so  usr/lib/ocaml/3.09.0/stublibs/
index ed0e94113cffed374a5a59264c61e2744c0b3e15..832767abbe788849c7bf761960ba930399005707 100755 (executable)
@@ -5,9 +5,12 @@
 # Uncomment this to turn on verbose mode.
 #export DH_VERBOSE=1
 
-TARGETDIR = debian/tmp
-OCAML_STDLIB_DIR = $(shell ocamlc -where)
+OCAMLABI := $(shell ocamlc -version)
+OCAMLLIBDIR := $(shell ocamlc -where)
+OFILES := $(patsubst %.in,%,$(shell ls debian/*.in))
 
+ocamlinit:
+       for f in $(OFILES); do sed -e 's/@OCamlABI@/$(OCAMLABI)/g' $$f.in > $$f; done
 configure: configure-stamp
 configure-stamp:
        dh_testdir
@@ -39,8 +42,8 @@ install: build
        dh_clean -k
        dh_installdirs
 
-       mkdir -p $(TARGETDIR)$(OCAML_STDLIB_DIR)
-       $(MAKE) install PREFIX=$(TARGETDIR)$(OCAML_STDLIB_DIR)
+       mkdir -p debian/tmp$(OCAMLLIBDIR)
+       $(MAKE) install PREFIX=debian/tmp$(OCAMLLIBDIR)
 
 binary-arch: build install
        dh_install
@@ -57,7 +60,7 @@ binary-arch: build install
        dh_fixperms
        dh_installdeb
        dh_shlibdeps
-       dh_gencontrol
+       dh_gencontrol -- -VF:OCamlABI="$(OCAMLABI)"
        dh_md5sums
        dh_builddeb