[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/master, updated. debian/0.94-2-26-g2ed1f8f

Ralf Treinen treinen at pps.univ-paris-diderot.fr
Tue Apr 9 09:26:40 UTC 2013


The following commit has been merged in the experimental/master branch:
commit c17d2b1838a170b7cfb8b15ceef0e7bea7babdc1
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Tue Apr 9 10:56:59 2013 +0200

    patch 0008: create $(LIBDIR) also in the install-pack-byte target

diff --git a/debian/patches/0008-Split-install-pack-into-two-separate-targets-opt-and.patch b/debian/patches/0008-Split-install-pack-into-two-separate-targets-opt-and.patch
index a4cc9e1..50dab7b 100644
--- a/debian/patches/0008-Split-install-pack-into-two-separate-targets-opt-and.patch
+++ b/debian/patches/0008-Split-install-pack-into-two-separate-targets-opt-and.patch
@@ -4,9 +4,9 @@ Subject: Split install-pack into two separate targets (opt and byte)
 
 Index: alt-ergo/Makefile.in
 ===================================================================
---- alt-ergo.orig/Makefile.in	2013-04-04 14:07:29.000000000 +0200
-+++ alt-ergo/Makefile.in	2013-04-04 14:07:43.000000000 +0200
-@@ -257,14 +257,21 @@
+--- alt-ergo.orig/Makefile.in	2013-04-09 10:55:16.000000000 +0200
++++ alt-ergo/Makefile.in	2013-04-09 10:56:25.000000000 +0200
+@@ -257,14 +257,22 @@
  	cp -f util/gtk-lang/alt-ergo.lang $(DATADIR)/gtksourceview-2.0/language-specs/alt-ergo.lang
  endif
  
@@ -17,6 +17,7 @@ Index: alt-ergo/Makefile.in
  	cp -f $(LIBNAME).o $(LIBDIR)
 +
 +install-pack-byte: pack META
++	mkdir -p $(LIBDIR)
  	cp -f $(LIBNAME).cmo $(LIBDIR)
  	cp -f $(LIBNAME).cmi $(LIBDIR)
  	cp -f META $(LIBDIR)

-- 
alt-ergo packaging



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