[Pkg-ocaml-maint-commits] r2529 - in trunk/packages/coq: trunk/debian trunk/debian/patches upstream

Samuel Mimram smimram at costa.debian.org
Thu Jan 19 22:34:57 UTC 2006 

Author: smimram
Date: 2006-01-19 22:34:29 +0000 (Thu, 19 Jan 2006)
New Revision: 2529

Added:
   trunk/packages/coq/upstream/coq_8.0pl3.orig.tar.gz
Removed:
   trunk/packages/coq/trunk/debian/patches/ocaml309.dpatch
   trunk/packages/coq/trunk/debian/patches/text_view_typing_error.dpatch
   trunk/packages/coq/upstream/coq_8.0pl2.orig.tar.gz
Modified:
   trunk/packages/coq/trunk/debian/changelog
   trunk/packages/coq/trunk/debian/control
   trunk/packages/coq/trunk/debian/coq.install
   trunk/packages/coq/trunk/debian/coqide.dirs
   trunk/packages/coq/trunk/debian/coqide.install
   trunk/packages/coq/trunk/debian/coqide.menu
   trunk/packages/coq/trunk/debian/patches/00list
   trunk/packages/coq/trunk/debian/rules
Log:
Getting ready for the new release.

Modified: trunk/packages/coq/trunk/debian/changelog
===================================================================
--- trunk/packages/coq/trunk/debian/changelog	2006-01-19 20:53:25 UTC (rev 2528)
+++ trunk/packages/coq/trunk/debian/changelog	2006-01-19 22:34:29 UTC (rev 2529)
@@ -1,8 +1,12 @@
-coq (8.0pl2-5) UNRELEASED; urgency=low
+coq (8.0pl3-1) unstable; urgency=low
 
+  * New upstream release.
   * Removed unnecessary dependency on liblablgtk2-ocaml for coqide.
+  * Removed ocaml309.dpatch and text_view_typing_error.dpatch, integrated
+    upstream.
+  * Removing rpath from coqide binaries.
 
- -- Samuel Mimram <smimram at debian.org>  Wed,  4 Jan 2006 20:15:52 +0100
+ -- Samuel Mimram <smimram at debian.org>  Thu, 19 Jan 2006 22:22:39 +0100
 
 coq (8.0pl2-4) unstable; urgency=low
 

Modified: trunk/packages/coq/trunk/debian/control
===================================================================
--- trunk/packages/coq/trunk/debian/control	2006-01-19 20:53:25 UTC (rev 2528)
+++ trunk/packages/coq/trunk/debian/control	2006-01-19 22:34:29 UTC (rev 2529)
@@ -4,7 +4,7 @@
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
 Uploaders: Ralf Treinen <treinen at debian.org>, Sven Luther <luther at debian.org>, Remi Vanicat <vanicat at debian.org>, Stefano Zacchiroli <zack at debian.org>, Samuel Mimram <smimram at debian.org>
 Standards-Version: 3.6.2
-Build-Depends: debhelper (>= 4.0.0), dpatch, ocaml-nox (>= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0)
+Build-Depends: debhelper (>= 4.0.0), dpatch, ocaml-nox (>= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0), chrpath
 
 Package: coq
 Architecture: any

Modified: trunk/packages/coq/trunk/debian/coq.install
===================================================================
--- trunk/packages/coq/trunk/debian/coq.install	2006-01-19 20:53:25 UTC (rev 2528)
+++ trunk/packages/coq/trunk/debian/coq.install	2006-01-19 22:34:29 UTC (rev 2529)
@@ -9,6 +9,7 @@
 usr/bin/coqwc
 usr/bin/gallina
 usr/share/emacs/site-lisp/coq
+usr/share/emacs/site-lisp/coqdoc.sty
 usr/share/man/man1/c*
 usr/share/man/man1/gallina.1
 usr/share/texmf/tex/latex/misc/*

Modified: trunk/packages/coq/trunk/debian/coqide.dirs
===================================================================
--- trunk/packages/coq/trunk/debian/coqide.dirs	2006-01-19 20:53:25 UTC (rev 2528)
+++ trunk/packages/coq/trunk/debian/coqide.dirs	2006-01-19 22:34:29 UTC (rev 2529)
@@ -2,3 +2,4 @@
 usr/share/doc/coqide
 usr/share/applications
 usr/share/man/man1
+usr/share/pixmaps

Modified: trunk/packages/coq/trunk/debian/coqide.install
===================================================================
--- trunk/packages/coq/trunk/debian/coqide.install	2006-01-19 20:53:25 UTC (rev 2528)
+++ trunk/packages/coq/trunk/debian/coqide.install	2006-01-19 22:34:29 UTC (rev 2529)
@@ -1,4 +1,5 @@
 usr/bin/coqide*
-usr/lib/coq/ide/coq.png
+usr/lib/coq/ide/coq.ico
+usr/lib/coq/ide/coq2.ico
 usr/lib/coq/ide/utf8.vo
 usr/lib/coq/ide/.coqide-gtk2rc

Modified: trunk/packages/coq/trunk/debian/coqide.menu
===================================================================
--- trunk/packages/coq/trunk/debian/coqide.menu	2006-01-19 20:53:25 UTC (rev 2528)
+++ trunk/packages/coq/trunk/debian/coqide.menu	2006-01-19 22:34:29 UTC (rev 2529)
@@ -1,4 +1,4 @@
 ?package(coqide):command="/usr/bin/coqide" \
-  icon="/usr/share/pixmaps/coq.xpm" \
+  icon="/usr/share/pixmaps/coqide.xpm" \
   needs="X11" \
   section="Apps/Math" title="CoqIde"

Modified: trunk/packages/coq/trunk/debian/patches/00list
===================================================================
--- trunk/packages/coq/trunk/debian/patches/00list	2006-01-19 20:53:25 UTC (rev 2528)
+++ trunk/packages/coq/trunk/debian/patches/00list	2006-01-19 22:34:29 UTC (rev 2529)
@@ -1,2 +0,0 @@
-ocaml309
-text_view_typing_error

Deleted: trunk/packages/coq/trunk/debian/patches/ocaml309.dpatch
===================================================================
--- trunk/packages/coq/trunk/debian/patches/ocaml309.dpatch	2006-01-19 20:53:25 UTC (rev 2528)
+++ trunk/packages/coq/trunk/debian/patches/ocaml309.dpatch	2006-01-19 22:34:29 UTC (rev 2529)
@@ -1,24 +0,0 @@
-#! /bin/sh /usr/share/dpatch/dpatch-run
-## ocaml309.dpatch by Samuel Mimram <smimram at debian.org>
-##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: Correct a compilation issue with OCaml 3.09.
-
- at DPATCH@
-diff -urNad coq-8.0pl2~/Makefile coq-8.0pl2/Makefile
---- coq-8.0pl2~/Makefile	2005-01-21 18:15:12.000000000 +0100
-+++ coq-8.0pl2/Makefile	2005-11-21 19:51:38.000000000 +0100
-@@ -1453,11 +1453,11 @@
- 
- .ml4.cmx:
- 	$(SHOW)'OCAMLOPT4 $<'
--	$(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $<
-+	$(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -loc loc -impl" -c -impl $<
- 
- .ml4.cmo:
- 	$(SHOW)'OCAMLC4   $<'
--	$(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $<
-+	$(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -loc loc -impl" -c -impl $<
- 
- #.v.vo:
- #	$(BOOTCOQTOP) -compile $*

Deleted: trunk/packages/coq/trunk/debian/patches/text_view_typing_error.dpatch
===================================================================
--- trunk/packages/coq/trunk/debian/patches/text_view_typing_error.dpatch	2006-01-19 20:53:25 UTC (rev 2528)
+++ trunk/packages/coq/trunk/debian/patches/text_view_typing_error.dpatch	2006-01-19 22:34:29 UTC (rev 2529)
@@ -1,31 +0,0 @@
-#! /bin/sh /usr/share/dpatch/dpatch-run
-## text_view_typing_error.dpatch by Samuel Mimram <smimram at debian.org>
-##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: Avoid a typing error with recent versions of lablgtk2.
-
- at DPATCH@
-diff -urNad --exclude=CVS --exclude=.svn ./ide/undo.ml /tmp/dpep-work.h2rZKK/coq-8.0pl2/ide/undo.ml
---- ./ide/undo.ml	2004-07-16 21:30:21.000000000 +0200
-+++ /tmp/dpep-work.h2rZKK/coq-8.0pl2/ide/undo.ml	2005-09-07 21:19:54.000000000 +0200
-@@ -18,7 +18,7 @@
-   | Insert (s,i,l) -> Delete (s,i,l)
-   | Delete (s,i,l) -> Insert (s,i,l)
- 
--class undoable_view (tv:Gtk.text_view Gtk.obj) =
-+class undoable_view (tv:[> Gtk.text_view ] Gtk.obj) =
-   let undo_lock = ref true in 
- object(self)
-   inherit GText.view tv as super
-diff -urNad --exclude=CVS --exclude=.svn ./ide/undo.mli /tmp/dpep-work.h2rZKK/coq-8.0pl2/ide/undo.mli
---- ./ide/undo.mli	2005-01-21 18:21:33.000000000 +0100
-+++ /tmp/dpep-work.h2rZKK/coq-8.0pl2/ide/undo.mli	2005-09-07 21:20:07.000000000 +0200
-@@ -10,7 +10,7 @@
- 
- (* An undoable view class *)
- 
--class undoable_view : Gtk.text_view Gtk.obj ->
-+class undoable_view : [> Gtk.text_view ] Gtk.obj ->
- object
-   inherit GText.view
-   method undo : bool

Modified: trunk/packages/coq/trunk/debian/rules
===================================================================
--- trunk/packages/coq/trunk/debian/rules	2006-01-19 20:53:25 UTC (rev 2528)
+++ trunk/packages/coq/trunk/debian/rules	2006-01-19 22:34:29 UTC (rev 2529)
@@ -74,7 +74,13 @@
 		echo "Stripping: $$i"; \
 		strip -R .note -R .comment $$i; \
 	done
+	-for i in $(COQPREF)/usr/bin/coqide.*; do \
+		echo "Rpath for `chrpath $$i`"; \
+		echo "Removing rpath: $$i"; \
+		chrpath -d $$i; \
+	done
 	cp debian/coq.xpm debian/coq/usr/share/pixmaps/coq.xpm
+	cp debian/coq.xpm debian/coqide/usr/share/pixmaps/coqide.xpm
 	cp debian/coqide.desktop debian/coqide/usr/share/applications
 
 	cp ide/index_urls.txt debian/coqide/usr/lib/coq/ide/index_urls.txt
@@ -90,6 +96,8 @@
 	cp debian/coqmktop.1 debian/coq/usr/share/man/man1/coqmktop.1
 	cp debian/coqtop.1 debian/coq/usr/share/man/man1/coqtop.1
 
+	chmod -x debian/tmp/usr/lib/coq/ide/coq2.ico
+
 	# These are installed as docs
 	rm -f $(COQPREF)/usr/lib/coq/ide/utf8.v $(COQPREF)/usr/lib/coq/ide/FAQ
 

Deleted: trunk/packages/coq/upstream/coq_8.0pl2.orig.tar.gz
===================================================================
(Binary files differ)

Added: trunk/packages/coq/upstream/coq_8.0pl3.orig.tar.gz
===================================================================
(Binary files differ)


Property changes on: trunk/packages/coq/upstream/coq_8.0pl3.orig.tar.gz
___________________________________________________________________
Name: svn:mime-type
   + application/octet-stream

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