The following commit has been merged in the experimental/master branch:
commit c17d2b1838a170b7cfb8b15ceef0e7bea7babdc1
Author: Ralf Treinen <trei...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to