[Pkg-ocaml-maint-commits] r5770 - in /trunk/packages/why/trunk/debian: changelog patches/00list patches/jessie_lib.dpatch

[dogguy-guest at users.alioth.debian.org]

Author: dogguy-guest
Date: Tue Jun 17 14:48:57 2008
New Revision: 5770

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

Added:
    trunk/packages/why/trunk/debian/patches/jessie_lib.dpatch   (with props)
Modified:
    trunk/packages/why/trunk/debian/changelog
    trunk/packages/why/trunk/debian/patches/00list

Modified: trunk/packages/why/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/changelog?rev=5770&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/changelog (original)
+++ trunk/packages/why/trunk/debian/changelog Tue Jun 17 14:48:57 2008
@@ -4,8 +4,9 @@
     - Add patch logopath.dpatch to find the logo's new location
   * Add manpage for gwhy-bin
   * Correct manpage location for krakatoa
+  * Add Jessie library : jc.{cmx,cm,}a
 
- -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Thu, 29 May 2008 09:47:29 +0200
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Tue, 17 Jun 2008 16:41:31 +0200
 
 why (2.13-1) unstable; urgency=low
 

Modified: trunk/packages/why/trunk/debian/patches/00list
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/patches/00list?rev=5770&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/patches/00list (original)
+++ trunk/packages/why/trunk/debian/patches/00list Tue Jun 17 14:48:57 2008
@@ -1,2 +1,3 @@
 configure
+jessie_lib
 logopath

Added: 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=5770&op=file
==============================================================================
--- trunk/packages/why/trunk/debian/patches/jessie_lib.dpatch (added)
+++ trunk/packages/why/trunk/debian/patches/jessie_lib.dpatch Tue Jun 17 14:48:57 2008
@@ -1,0 +1,35 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## jessie_lib.dpatch by  <dogguy at pps.jussieu.fr>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: No description.
+
+ at 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 @@
+       $(SIMPLIFY2WHY) $(WHYSTAT) 
+ 
+ ifeq ($(OCAMLBEST),opt)
+-JCLIB=jc/jc.cmo jc/jc.cmx
++JCLIB=jc/jc.cma jc/jc.cmi jc/jc.cmo jc/jc.cmx jc/jc.cmxa jc/jc.a
+ else
+-JCLIB=jc/jc.cmo
++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 @@
+ jc/jc.cmx: $(JCCMX_EXPORT)
+ 	$(OCAMLOPT) $(OFLAGS) -pack -o $@ $^
+ 
++jc/jc.cma: jc/jc.cmo
++	$(OCAMLC) $(BFLAGS) -a -o $@ $^
++
++jc/jc.cmxa: jc/jc.cmx
++	$(OCAMLOPT) $(OFLAGS) -a -o $@ $^
++
+ ppc: jc/jc.cmo jc/jc.cmx
+ 
+ bin/jessie.opt: $(JCCMX)

Propchange: trunk/packages/why/trunk/debian/patches/jessie_lib.dpatch
------------------------------------------------------------------------------
    svn:executable = *