The following commit has been merged in the experimental/master branch:
commit 2b3827b16fdbc549f7ede8e0b6d979349da8b75b
Author: Ralf Treinen <trei...@pps.univ-paris-diderot.fr>
Date:   Tue Apr 9 14:44:25 2013 +0200

    use $(GUINAME) instead of hard-coded name altgr-ergo

diff --git a/debian/patches/0009-fix-install-gui-target.patch 
b/debian/patches/0009-fix-install-gui-target.patch
index 2dfcd2f..be49da3 100644
--- a/debian/patches/0009-fix-install-gui-target.patch
+++ b/debian/patches/0009-fix-install-gui-target.patch
@@ -11,7 +11,7 @@ Index: alt-ergo/Makefile.in
        cp -f $(NAME).$(OCAMLBEST) $(BINDIR)/$(NAME)$(EXE)
  ifeq ($(ENABLEGUI),yes)
 -      cp -f altgr-ergo.opt $(BINDIR)/altgr-ergo$(EXE)
-+      cp -f altgr-ergo.$(OCAMLBEST) $(BINDIR)/altgr-ergo$(EXE)
++      cp -f $(GUINAME).$(OCAMLBEST) $(BINDIR)/$(GUINAME)$(EXE)
        mkdir -p $(DATADIR)/gtksourceview-2.0/language-specs
        cp -f util/gtk-lang/alt-ergo.lang 
$(DATADIR)/gtksourceview-2.0/language-specs/alt-ergo.lang
  endif

-- 
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