[Pkg-ocaml-maint-commits] r5896 - in /trunk/packages/why/trunk/debian: changelog control patches/configure.dpatch patches/jessie_lib.dpatch patches/logopath.dpatch rules why-cpulimit.1

dogguy-guest at users.alioth.debian.org dogguy-guest at users.alioth.debian.org
Thu Jul 31 18:35:59 UTC 2008 

Author: dogguy-guest
Date: Thu Jul 31 18:35:59 2008
New Revision: 5896

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5896
Log:

  * New upstream release (2.14).
  * Update jessie_lib.dpatch patch (update line numbers).
  * Bump standards version to 3.8.0
  * Why is now using its own version of cpulimit:
    - Don't remove anymore cpulimit
    - Don't depend anymore on cpulimit
    - Add a manpage for why-cpulimit
  * Add patch descriptions to configure.dpatch and logopath.dpatch


Added:
    trunk/packages/why/trunk/debian/why-cpulimit.1
Modified:
    trunk/packages/why/trunk/debian/changelog
    trunk/packages/why/trunk/debian/control
    trunk/packages/why/trunk/debian/patches/configure.dpatch
    trunk/packages/why/trunk/debian/patches/jessie_lib.dpatch
    trunk/packages/why/trunk/debian/patches/logopath.dpatch
    trunk/packages/why/trunk/debian/rules

Modified: trunk/packages/why/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/changelog?rev=5896&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/changelog (original)
+++ trunk/packages/why/trunk/debian/changelog Thu Jul 31 18:35:59 2008
@@ -1,3 +1,16 @@
+why (2.14-1) UNRELEASED; urgency=low
+
+  * New upstream release.
+  * Update jessie_lib.dpatch patch (update line numbers).
+  * Bump standards version to 3.8.0
+  * Why is now using its own version of cpulimit:
+    - Don't remove anymore cpulimit
+    - Don't depend anymore on cpulimit
+    - Add a manpage for why-cpulimit
+  * Add patch descriptions to configure.dpatch and logopath.dpatch
+
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Thu, 31 Jul 2008 19:10:00 +0200
+
 why (2.13-2) UNRELEASED; urgency=low
 
   * Move logo in /usr/share/why
@@ -8,7 +21,7 @@
     - Build and install jc.{cma,cmxa,a}
     - Install jc.cmi
 
- - Mehdi Dogguy <dogguy at pps.jussieu.fr>  Tue, 17 Jun 2008 16:56:13 +0200
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Tue, 17 Jun 2008 16:56:13 +0200
 
 why (2.13-1) unstable; urgency=low
 

Modified: trunk/packages/why/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/control?rev=5896&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/control (original)
+++ trunk/packages/why/trunk/debian/control Thu Jul 31 18:35:59 2008
@@ -4,13 +4,13 @@
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
 Uploaders: Samuel Mimram <smimram at debian.org>, Mehdi Dogguy <dogguy at pps.jussieu.fr>
 Build-Depends: debhelper (>= 5), autotools-dev, ocaml-nox (>= 3.10), ocaml-best-compilers, camlp4, liblablgtk2-ocaml-dev, coq (>= 8.1.pl2+dfsg-3), libfloat-coq (>= 1:8.1-1.0-4), ocamlweb, libocamlgraph-ocaml-dev, dpatch
-Standards-Version: 3.7.3
+Standards-Version: 3.8.0
 Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/
 Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/why/trunk
 
 Package: why
 Architecture: any
-Depends: ${shlibs:Depends}, cpulimit
+Depends: ${shlibs:Depends}
 Suggests: coq
 Description: A software verification tool
  Why aims at being a verification conditions generator (VCG) back-end

Modified: trunk/packages/why/trunk/debian/patches/configure.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/patches/configure.dpatch?rev=5896&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/patches/configure.dpatch (original)
+++ trunk/packages/why/trunk/debian/patches/configure.dpatch Thu Jul 31 18:35:59 2008
@@ -1,8 +1,7 @@
 #! /bin/sh /usr/share/dpatch/dpatch-run
 ## configure.dpatch by  <dogguy at pps.jussieu.fr>
 ##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: No description.
+## DP: Correctly detect ocamlopt.
 
 @DPATCH@
 diff -urNad trunk~/configure trunk/configure

Modified: trunk/packages/why/trunk/debian/patches/jessie_lib.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/patches/jessie_lib.dpatch?rev=5896&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/patches/jessie_lib.dpatch (original)
+++ trunk/packages/why/trunk/debian/patches/jessie_lib.dpatch Thu Jul 31 18:35:59 2008
@@ -5,9 +5,9 @@
 
 @DPATCH@
 diff -urNad trunk~/Makefile.in trunk/Makefile.in
---- trunk~/Makefile.in	2008-05-28 16:55:38.000000000 +0200
-+++ trunk/Makefile.in	2008-06-17 16:13:49.000000000 +0200
-@@ -158,9 +158,9 @@
+--- trunk~/Makefile.in	2008-07-28 14:03:03.000000000 +0200
++++ trunk/Makefile.in	2008-07-31 19:21:14.000000000 +0200
+@@ -160,9 +160,9 @@
        $(SIMPLIFY2WHY) $(WHYSTAT) 
  
  ifeq ($(OCAMLBEST),opt)
@@ -18,8 +18,8 @@
 +JCLIB=jc/jc.cma jc/jc.cmi jc/jc.cmo
  endif
  
- all: $(BINARY) check $(CADUCEUS) $(JESSIE) $(KRAKATOA) coq- at COQ@ $(TOOLS) gwhy- at LABLGTK2@ $(JCLIB) $(REGTEST)
-@@ -306,6 +306,12 @@
+ all: $(BINARY) check $(CADUCEUS) $(JESSIE) $(KRAKATOA) coq- at COQ@ pvs- at PVS@ $(TOOLS) gwhy- at LABLGTK2@ $(JCLIB) $(REGTEST)
+@@ -309,6 +309,12 @@
  jc/jc.cmx: $(JCCMX_EXPORT)
  	$(OCAMLOPT) $(OFLAGS) -pack -o $@ $^
  
@@ -29,6 +29,6 @@
 +jc/jc.cmxa: jc/jc.cmx
 +	$(OCAMLOPT) $(OFLAGS) -a -o $@ $^
 +
- ppc: jc/jc.cmo jc/jc.cmx
+ ppc: jc/jc.cmi jc/jc.cmo jc/jc.cmx
  
  bin/jessie.opt: $(JCCMX)

Modified: trunk/packages/why/trunk/debian/patches/logopath.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/patches/logopath.dpatch?rev=5896&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/patches/logopath.dpatch (original)
+++ trunk/packages/why/trunk/debian/patches/logopath.dpatch Thu Jul 31 18:35:59 2008
@@ -1,8 +1,7 @@
 #! /bin/sh /usr/share/dpatch/dpatch-run
 ## logopath.dpatch by  <dogguy at pps.jussieu.fr>
 ##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: No description.
+## DP: Move the logo in the right place.
 
 @DPATCH@
 diff -urNad trunk~/intf/pprinter.ml trunk/intf/pprinter.ml

Modified: trunk/packages/why/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/rules?rev=5896&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/rules (original)
+++ trunk/packages/why/trunk/debian/rules Thu Jul 31 18:35:59 2008
@@ -59,8 +59,6 @@
 	dh_installdirs
 
 	$(MAKE) prefix=$(CURDIR)/debian/why/usr install COQLIB=$(CURDIR)/debian/why/usr/lib/coq
-	rm -f $(CURDIR)/debian/why/usr/bin/cpulimit
-	mv $(CURDIR)/debian/why/usr/bin/dp $(CURDIR)/debian/why/usr/bin/why-dp
 	mkdir -p $(CURDIR)/debian/why/usr/share/why
 	mv $(CURDIR)/debian/why/usr/lib/why/why-logo-1.png $(CURDIR)/debian/why/usr/share/why
 

Added: trunk/packages/why/trunk/debian/why-cpulimit.1
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/why-cpulimit.1?rev=5896&op=file
==============================================================================
--- trunk/packages/why/trunk/debian/why-cpulimit.1 (added)
+++ trunk/packages/why/trunk/debian/why-cpulimit.1 Thu Jul 31 18:35:59 2008
@@ -1,0 +1,15 @@
+.TH WHY-CPULIMIT "1" "July 2008" "why-cpulimit" "User commands"
+.SH NAME
+why-cpulimit -- limits the CPU usage of a process
+.SH SYNOPSIS
+.B why-cpulimit
+\fITIME-LIMIT \fICOMMAND\fR
+.SH DESCRIPTION
+.P
+\fITIME-LIMIT \fRmust be an integer (time limit in seconds)
+.P
+\fICOMMAND \fRname of the executable program file
+.SH AUTHOR
+This manpage was written for the Debian project by Mehdi Dogguy
+<dogguy at pps.jussieu.fr>. It's mainly inspired by the cpulimit 
+Debian manpage which was written by gregor herrmann <gregor+debian at comodo.priv.at> for the Debian project.

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