[gappa] New upstream version.

[Jerry James]

commit acf930a7b8bc5b17423f7ecd297745409114c482
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Tue May 14 13:40:15 2013 -0600

    New upstream version.

 .gitignore |    2 +-
 gappa.spec |   27 +++++++++++++++------------
 sources    |    2 +-
 3 files changed, 17 insertions(+), 14 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 492730f..69814d3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/gappa-0.16.6.tar.gz
+/gappa-0.17.1.tar.gz
diff --git a/gappa.spec b/gappa.spec
index 8a4a4b2..2fcec2d 100644
--- a/gappa.spec
+++ b/gappa.spec
@@ -1,18 +1,19 @@
 Name:		gappa
-Version:	0.16.6
+Version:	0.17.1
 Release:	1%{?dist}
 Summary:	Prove programs with floating-point or fixed-point arithmetic
 
 Group:		Applications/Productivity
 License:	GPLv2 or CeCILL
 URL:		http://gappa.gforge.inria.fr/
-Source0:	https://gforge.inria.fr/frs/download.php/32130/%{name}-%{version}.tar.gz
+Source0:	https://gforge.inria.fr/frs/download.php/32292/%{name}-%{version}.tar.gz
 # Adapt to dblatex 0.3.4
 Patch0:		%{name}-dblatex.patch
 
 BuildRequires:	boost-devel
 BuildRequires:	gmp-devel
 BuildRequires:	mpfr-devel
+BuildRequires:	remake
 
 # For documentation
 BuildRequires:	dblatex
@@ -42,12 +43,6 @@ written by Guillaume Melquiond.
 %setup -q
 %patch0
 
-# Help the debuginfo generator find the flex and bison files
-ln -s parser/lexer.cpp src/lexer.cpp
-ln -s parser/lexer.lpp src/lexer.lpp
-ln -s parser/parser.cpp src/parser.cpp
-ln -s parser/parser.ypp src/parser.ypp
-
 # Fix encoding
 iconv -f latin1 -t utf8 COPYING > COPYING.UTF8 && \
 touch -r COPYING COPYING.UTF8 && \
@@ -60,9 +55,12 @@ rm -f NEWS.orig
 
 %build
 %configure
-make %{?_smp_mflags}
+# Use the system remake
+rm -f remake
+ln -s %{_bindir}/remake remake
+remake %{?_smp_mflags}
 # We won't 'make html-doc'; that requires dvi2bitmap, which is unpackaged.
-make -C doc gappa.pdf
+remake doc/gappa.pdf
 
 %check
 # Simple test to see if gappa is working at all:
@@ -74,11 +72,13 @@ cmp ,test1.short ,test1.correct
 
 # That simple test worked, so run full test suite:
 cd ..
-make check
+remake check
 
 
 %install
-make install DESTDIR=%{buildroot}
+sed -i 's|\(cp src/gappa \).*|\1%{buildroot}%{_bindir}|' Remakefile
+mkdir -p %{buildroot}%{_bindir}
+remake install
 
 
 %files
@@ -87,6 +87,9 @@ make install DESTDIR=%{buildroot}
 
 
 %changelog
+* Tue May 14 2013 Jerry James <loganjerry at gmail.com> - 0.17.1-1
+- New upstream version
+
 * Mon Feb 25 2013 Jerry James <loganjerry at gmail.com> - 0.16.6-1
 - New upstream version
 
diff --git a/sources b/sources
index 423e3ef..a2726cb 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-64dd5dbdba1bf621431bcf6b484e7482  gappa-0.16.6.tar.gz
+8a4c5113c0889815d70efa4552a33d72  gappa-0.17.1.tar.gz