[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.91-2-9-g5d748c8

Mehdi Dogguy mehdi at debian.org
Fri Apr 15 23:12:20 UTC 2011


The following commit has been merged in the master branch:
commit 227476e106d76f90afb8c3b6e2748e94559fb1e1
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sat Apr 16 00:47:43 2011 +0200

    Add patch to fix FTBFS on bytecode architectures.
    
     - 0004-Add-rules-and-targets-for-gui.byte.patch

diff --git a/debian/changelog b/debian/changelog
index 0aa6780..e509e25 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+alt-ergo (0.93-2) unstable; urgency=low
+
+  * Add patch to fix FTBFS on bytecode architectures.
+    - 0004-Add-rules-and-targets-for-gui.byte.patch
+
+ -- Mehdi Dogguy <mehdi at debian.org>  Sat, 16 Apr 2011 00:47:04 +0200
+
 alt-ergo (0.93-1) unstable; urgency=low
 
   * New upstream release.
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
new file mode 100644
index 0000000..75d9235
--- /dev/null
+++ b/debian/patches/0004-Add-rules-and-targets-for-gui.byte.patch
@@ -0,0 +1,54 @@
+From: Mehdi Dogguy <mehdi at debian.org>
+Date: Sat, 16 Apr 2011 00:46:35 +0200
+Subject: [PATCH] Add rules and targets for gui.byte
+
+---
+ Makefile.in |   13 +++++++++++--
+ 1 files changed, 11 insertions(+), 2 deletions(-)
+
+diff --git a/Makefile.in b/Makefile.in
+index 7730838..b2dcc53 100644
+--- a/Makefile.in
++++ b/Makefile.in
+@@ -62,11 +62,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
+ BYTE=$(NAME).byte
+ OPT=$(NAME).opt
+ 
+@@ -123,10 +125,16 @@ $(NAME).opt: $(MAINCMX)
+ 	$(if $(QUIET), at echo 'Linking $@' &&) 
+ 	$(OCAMLOPT) $(OFLAGS) -o $@ $(BIBOPT) $^
+ 
+-gui: $(GUICMX)
++$(GUINAME).byte: $(GUICMO)
++	$(if $(QUIET), at echo 'Linking $@' &&)
++	$(OCAMLC) $(OFLAGS) -o $@ $(BIBBYTE) $(BIBGUIBYTE) $^
++
++$(GUINAME).opt: $(GUICMX)
+ 	$(if $(QUIET), at echo 'Linking $@' &&) 
+-	$(OCAMLOPT) $(OFLAGS) -o altgr-ergo.opt $(BIBOPT) $(BIBGUIOPT) $^
++	$(OCAMLOPT) $(OFLAGS) -o $@ $(BIBOPT) $(BIBGUIOPT) $^
+ 
++$(GUINAME): $(GUINAME).$(OCAMLBEST)
++	cp $^ $@
+ 
+ run: $(MAINCMX)
+ 	$(OCAMLOPT) -ccopt -static $(OFLAGS) -o $@ $(BIBOPT) $^
+@@ -369,6 +377,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 179c211..afa39f2 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,3 +1,4 @@
 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

-- 
alt-ergo packaging



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