[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. upstream/0.7-35-g929b2cb

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 76371615495533288fc6aeab0da3cb0960442feb
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed Jul 21 20:30:20 2010 +0200

    build libraries only in bytecode

diff --git a/debian/patches/build-libraries b/debian/patches/build-libraries
index 5eca3ff..12ec9f2 100644
--- a/debian/patches/build-libraries
+++ b/debian/patches/build-libraries
@@ -1,7 +1,7 @@
 Index: dose3/Makefile
 ===================================================================
---- dose3.orig/Makefile	2010-07-21 20:16:10.000000000 +0200
-+++ dose3/Makefile	2010-07-21 20:17:19.000000000 +0200
+--- dose3.orig/Makefile	2010-07-21 20:27:19.000000000 +0200
++++ dose3/Makefile	2010-07-21 20:29:14.000000000 +0200
 @@ -12,7 +12,7 @@
  				 $(wildcard common/*.ml common/*.mli))
  
@@ -14,7 +14,7 @@ Index: dose3/Makefile
 Index: dose3/META
 ===================================================================
 --- /dev/null	1970-01-01 00:00:00.000000000 +0000
-+++ dose3/META	2010-07-21 20:19:34.000000000 +0200
++++ dose3/META	2010-07-21 20:29:14.000000000 +0200
 @@ -0,0 +1,17 @@
 +description = "Dose3 common library"
 +version = "placeholder"
@@ -33,3 +33,17 @@ Index: dose3/META
 +archive(byte) = "debian.cma"
 +archive(native) = "debian.cmxa"
 +requires = "extlib"
+Index: dose3/Makefile.config.in
+===================================================================
+--- dose3.orig/Makefile.config.in	2010-07-21 20:29:25.000000000 +0200
++++ dose3/Makefile.config.in	2010-07-21 20:29:51.000000000 +0200
+@@ -27,6 +27,9 @@
+   OCAMLLIBBEST=cma
+ endif
+ 
++# temporary fix
++OCAMLLIBBEST=cma
++
+ TARGETS= \
+ 		 applications/deb-cudf.$(OCAMLBEST) \
+ 		 applications/randcudf.$(OCAMLBEST) \

-- 
dose3 packaging