[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:22 UTC 2013
The following commit has been merged in the experimental/master branch:
commit 4310f0edfa4693e2e4adea301543b66562561574
Author: Ralf Treinen <treinen at free.fr>
Date: Wed Apr 3 20:59:59 2013 +0200
drop patch 0004-Add-rules-and-targets-for-gui.byte since fixed upstream
diff --git a/debian/changelog b/debian/changelog
index cfed018..f87eaba 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -6,10 +6,10 @@ alt-ergo (0.95.1-1) UNRELEASED; urgency=low
0001-No-need-to-activate-debug-flag.patch
0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch
0003-Fix-a-typo.patch
+ * Drop patches since issue is fixed upstream:
+ 0004-Add-rules-and-targets-for-gui.byte.patch
-
-
- -- treinen <treinen at debian.org> Wed, 03 Apr 2013 17:02:05 +0200
+ -- Ralf Treinen <treinen at debian.org> Wed, 03 Apr 2013 20:58:36 +0200
alt-ergo (0.94-2) unstable; urgency=high
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
deleted file mode 100644
index d61f138..0000000
--- a/debian/patches/0004-Add-rules-and-targets-for-gui.byte.patch
+++ /dev/null
@@ -1,54 +0,0 @@
-From: Mehdi Dogguy <mehdi at debian.org>
-Date: Sat, 16 Apr 2011 00:46:35 +0200
-Subject: Add rules and targets for gui.byte
-
----
- Makefile.in | 14 ++++++++++++--
- 1 files changed, 12 insertions(+), 2 deletions(-)
-
-diff --git a/Makefile.in b/Makefile.in
-index 5cc8092..6a84eb4 100644
---- a/Makefile.in
-+++ b/Makefile.in
-@@ -63,11 +63,13 @@ BIBBYTE = nums.cma graph.cma unix.cma
- BIBOPT = $(BIBBYTE:.cma=.cmxa)
-
- BIBGUIOPT = threads.cmxa lablgtk.cmxa lablgtksourceview2.cmxa gtkThread.cmx
-+BIBGUIBYTE= threads.cma lablgtk.cma lablgtksourceview2.cma gtkThread.cmo
-
- # main target
- #############
-
- NAME = alt-ergo
-+GUINAME = altgr-ergo
- LIBNAME = altErgo
- BYTE=$(NAME).byte
- OPT=$(NAME).opt
-@@ -141,9 +143,16 @@ $(NAME).opt: $(PRECMX) $(OPTIONSCMX) $(MAINCMX)
- $(if $(QUIET), at echo 'Linking $@' &&)
- $(OCAMLOPT) $(OFLAGS) -o $@ $(BIBOPT) $^
-
--gui: $(PRECMX) $(OPTIONSCMX) $(GUICMX)
-+$(GUINAME).opt: $(GUICMX)
- $(if $(QUIET), at echo 'Linking $@' &&)
-- $(OCAMLOPT) $(OFLAGS) -o altgr-ergo.opt $(BIBOPT) $(BIBGUIOPT) $^
-+ $(OCAMLOPT) $(OFLAGS) -o $@ $(BIBOPT) $(BIBGUIOPT) $^
-+
-+$(GUINAME).byte: $(GUICMO)
-+ $(if $(QUIET), at echo 'Linking $@' &&)
-+ $(OCAMLC) $(OFLAGS) -o $@ $(BIBBYTE) $(BIBGUIBYTE) $^
-+
-+$(GUINAME) gui: $(GUINAME).$(OCAMLBEST)
-+ cp $^ $@
-
- test: $(NAME).$(OCAMLBEST)
- [ ! -f test.mlw ] || ./$^ test.mlw
-@@ -351,6 +360,7 @@ clean::
- @rm -f *.cm[iox] *.o *~ *.annot *.owz *mlocamlwizard_tmp_file*
- @rm -f $(GENERATED) *.output
- @rm -f $(NAME).byte $(NAME).opt
-+ @rm -f $(GUINAME) $(GUINAME).opt $(GUINAME).byte
- @rm -f unittest/*.cm[iox] unittest/*.o unittest/*.annot
- @rm -f *.aux *.log $(NAME).tex $(NAME).dvi $(NAME).ps
- @rm -f version.ml
---
diff --git a/debian/patches/series b/debian/patches/series
index 834f7f1..97720c1 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,7 +1,6 @@
0001-No-need-to-activate-debug-flag.patch
0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch
0003-Fix-a-typo.patch
-0004-Add-rules-and-targets-for-gui.byte.patch
0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2.patch
0006-PRECM-O-X-is-needed-to-link-altgr-ergo.patch
0007-Fix-all-target.patch
--
alt-ergo packaging
More information about the Pkg-ocaml-maint-commits
mailing list