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 <[EMAIL PROTECTED]> Thu, 29 May 2008 09:47:29 +0200
+ -- Mehdi Dogguy <[EMAIL PROTECTED]> 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 <[EMAIL PROTECTED]>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: No description.
+
[EMAIL PROTECTED]@
+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) [EMAIL PROTECTED]@
$(TOOLS) [EMAIL PROTECTED]@ $(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 = *
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
