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

Ralf Treinen treinen at pps.univ-paris-diderot.fr
Tue Apr 9 13:07:58 UTC 2013


The following commit has been merged in the experimental/master branch:
commit 2b3827b16fdbc549f7ede8e0b6d979349da8b75b
Author: Ralf Treinen <treinen at 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



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