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

Ralf Treinen treinen at free.fr
Wed Apr 3 19:52:23 UTC 2013


The following commit has been merged in the experimental/master branch:
commit b82b89622883349a8b85ef7daaa9f7436ac6d3f9
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed Apr 3 21:15:50 2013 +0200

    adapt patch 0006-PRECM-O-X-is-needed-to-link-altgr-ergo to new upstream

diff --git a/debian/changelog b/debian/changelog
index b5ef902..7994652 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,6 +7,7 @@ alt-ergo (0.95.1-1) UNRELEASED; urgency=low
      0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch
      0003-Fix-a-typo.patch
      0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2
+     0006-PRECM-O-X-is-needed-to-link-altgr-ergo
   * Drop patches since issue is fixed upstream:
      0004-Add-rules-and-targets-for-gui.byte.patch
   
diff --git a/debian/patches/0006-PRECM-O-X-is-needed-to-link-altgr-ergo.patch b/debian/patches/0006-PRECM-O-X-is-needed-to-link-altgr-ergo.patch
index 5b751b0..2fc0c96 100644
--- a/debian/patches/0006-PRECM-O-X-is-needed-to-link-altgr-ergo.patch
+++ b/debian/patches/0006-PRECM-O-X-is-needed-to-link-altgr-ergo.patch
@@ -2,21 +2,16 @@ From: Mehdi Dogguy <mehdi at dogguy.org>
 Date: Wed, 14 Dec 2011 14:05:46 +0100
 Subject: PRECM{O,X} is needed to link altgr-ergo
 
----
- Makefile.in |    2 +-
- 1 files changed, 1 insertions(+), 1 deletions(-)
-
-diff --git a/Makefile.in b/Makefile.in
-index 6a84eb4..b9d9afc 100644
---- a/Makefile.in
-+++ b/Makefile.in
-@@ -117,7 +117,7 @@ GENERATED = version.ml \
- 	smt_parser.ml smt_parser.mli smt_lex.ml \
- 	smtlib2_parse.ml smtlib2_parse.mli smtlib2_lex.ml
+Index: alt-ergo/Makefile.in
+===================================================================
+--- alt-ergo.orig/Makefile.in	2013-04-03 21:09:54.000000000 +0200
++++ alt-ergo/Makefile.in	2013-04-03 21:13:22.000000000 +0200
+@@ -115,7 +115,7 @@
  
--GUICMO = $(CMO) $(CMOFRONT) why_annoted.cmo why_connected.cmo gui.cmo
-+GUICMO = $(PRECMO) $(CMO) $(CMOFRONT) why_annoted.cmo why_connected.cmo gui.cmo
- GUICMX = $(GUICMO:.cmo=.cmx)
  
- byte: $(NAME).byte
--- 
+ ifeq ($(ENABLEGUI),yes)
+-	GUICMO = $(CMO) $(CMOFRONT) gui_session.cmo why_annoted.cmo \
++	GUICMO = $(PRECMO) $(CMO) $(CMOFRONT) gui_session.cmo why_annoted.cmo \
+ 	   why_connected.cmo gui_replay.cmo gui.cmo
+ else 
+ 	GUICMO = 

-- 
alt-ergo packaging



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