[Pkg-ocaml-maint-commits] [SCM] findlib packaging branch, master, updated. debian/1.2.3-1-16-gd9f7364

Stephane Glondu steph at glondu.net
Mon Feb 16 07:17:17 UTC 2009


The following commit has been merged in the master branch:
commit 59d19d9d511b89135d642bca1e85d341b0df3384
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Feb 16 07:19:53 2009 +0100

    Remove natdynlink.dpatch (merged upstream)

diff --git a/debian/patches/00list b/debian/patches/00list
index 2d979be..1f9c63a 100644
--- a/debian/patches/00list
+++ b/debian/patches/00list
@@ -1,4 +1,3 @@
-natdynlink.dpatch
 stddirs.dpatch
 include.dpatch
 site_lib_metas.dpatch
diff --git a/debian/patches/natdynlink.dpatch b/debian/patches/natdynlink.dpatch
deleted file mode 100755
index b8baed3..0000000
--- a/debian/patches/natdynlink.dpatch
+++ /dev/null
@@ -1,23 +0,0 @@
-#! /bin/sh /usr/share/dpatch/dpatch-run
-## natdynlink.dpatch by Stephane Glondu <steph at glondu.net>
-##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: Add dynlink.cmxa to dynlink's META, if available
-
- at DPATCH@
-diff --git a/configure b/configure
-index a130afc..6cfa060 100755
---- a/configure
-+++ b/configure
-@@ -427,6 +427,11 @@ for lib in $l; do
-     echo "Configuration for $lib written to site-lib-src/$lib/META"
- done
- 
-+# Add native archive for dynlink if available
-+if [ -f "$ocaml_core_stdlib/dynlink.cmxa" ]; then
-+    echo 'archive(native) = "dynlink.cmxa"' >> site-lib-src/dynlink/META
-+fi
-+
- for part in `cd src; echo *`; do
-     if [ -f "src/$part/META.in" ]; then
- 	sed -e "s/@VERSION@/$version/g" src/$part/META.in >src/$part/META

-- 
findlib packaging



More information about the Pkg-ocaml-maint-commits mailing list