[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.93-3-8-g0b076b6

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 4667c86757d1a5e1e41b1ce24d10b170b076f0bb
Author: Mehdi Dogguy <mehdi at dogguy.org>
Date:   Fri Dec 9 18:40:38 2011 +0100

    Fix 0004-Add-rules-and-targets-for-gui.byte.patch

diff --git a/debian/patches/0004-Add-rules-and-targets-for-gui.byte.patch b/debian/patches/0004-Add-rules-and-targets-for-gui.byte.patch
index f1b8d74..d61f138 100644
--- a/debian/patches/0004-Add-rules-and-targets-for-gui.byte.patch
+++ b/debian/patches/0004-Add-rules-and-targets-for-gui.byte.patch
@@ -7,7 +7,7 @@ Subject: Add rules and targets for gui.byte
  1 files changed, 12 insertions(+), 2 deletions(-)
 
 diff --git a/Makefile.in b/Makefile.in
-index 5cc8092..cc06315 100644
+index 5cc8092..6a84eb4 100644
 --- a/Makefile.in
 +++ b/Makefile.in
 @@ -63,11 +63,13 @@ BIBBYTE = nums.cma graph.cma unix.cma
@@ -38,7 +38,7 @@ index 5cc8092..cc06315 100644
 +	$(if $(QUIET), at echo 'Linking $@' &&)
 +	$(OCAMLC) $(OFLAGS) -o $@ $(BIBBYTE) $(BIBGUIBYTE) $^
 +
-+gui: $(GUINAME).$(OCAMLBEST)
++$(GUINAME) gui: $(GUINAME).$(OCAMLBEST)
 +	cp $^ $@
  
  test: $(NAME).$(OCAMLBEST)

-- 
alt-ergo packaging