[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