[coccinelle] New upstream version 1.0.0-rc14.

[Richard W.M. Jones]

commit f030d09bec3a718cf0aa52e76ac72b3afb5021df
Author: Richard W.M. Jones <rjones at redhat.com>
Date:   Mon Jul 30 14:03:48 2012 +0100

    New upstream version 1.0.0-rc14.

 .gitignore      |    1 +
 coccinelle.spec |   13 ++++++++-----
 sources         |    2 +-
 3 files changed, 10 insertions(+), 6 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index fed567a..98fee0d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,3 +6,4 @@ coccinelle-0.2.3rc6.tgz
 /coccinelle-1.0.0-rc8.tgz
 /coccinelle-1.0.0-rc9.tgz
 /coccinelle-1.0.0-rc12.tgz
+/coccinelle-1.0.0-rc14.tgz
diff --git a/coccinelle.spec b/coccinelle.spec
index 367516b..247e95e 100644
--- a/coccinelle.spec
+++ b/coccinelle.spec
@@ -8,7 +8,7 @@
 
 Name:           coccinelle
 Version:        1.0.0
-Release:        0.rc12.3%{?dist}
+Release:        0.rc14.1%{?dist}
 Summary:        Semantic patching for Linux (spatch)
 
 Group:          Development/Libraries
@@ -17,7 +17,7 @@ License:        GPLv2
 ExcludeArch:    sparc64 s390 s390x ppc64
 
 URL:            http://coccinelle.lip6.fr/
-Source0:        http://coccinelle.lip6.fr/distrib/%{name}-%{version}-rc12.tgz
+Source0:        http://coccinelle.lip6.fr/distrib/%{name}-%{version}-rc14.tgz
 
 # Non-upstream patch to remove use of a couple of functions from the
 # forked ocaml sexpr project, so we can use the Fedora one instead.
@@ -70,7 +70,7 @@ The %{name}-examples package contains examples for %{name}.
 
 
 %prep
-%setup -q -n %{name}-%{version}-rc12
+%setup -q -n %{name}-%{version}-rc14
 
 %patch0 -p1
 
@@ -95,9 +95,9 @@ done
 
 # Note that _smp_mflags breaks the build.
 %if !%opt
-make all
+make all EXTLIBDIR=`ocamlc -where`/extlib
 %else
-make all opt
+make all opt EXTLIBDIR=`ocamlc -where`/extlib
 %endif
 
 
@@ -174,6 +174,9 @@ $RPM_BUILD_ROOT%{_bindir}/spatch -sp_file demos/simple.cocci demos/simple.c
 
 
 %changelog
+* Mon Jul 30 2012 Richard W.M. Jones <rjones at redhat.com> - 1.0.0-0.rc14.1
+- New upstream version 1.0.0-rc14.
+
 * Mon Jul 30 2012 Richard W.M. Jones <rjones at redhat.com> - 1.0.0-0.rc12.3
 - New upstream version 1.0.0-rc12.
 - Rebuild for OCaml 4.00.0.
diff --git a/sources b/sources
index 9e45b33..b454d0e 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-0ade4c32d03fed2931e1532f6ab0cba9  coccinelle-1.0.0-rc12.tgz
+744d98cc4f6e975f875938226619c3ec  coccinelle-1.0.0-rc14.tgz