[gappa] New upstream version. Drop version-specific short test; we rely on the upstream test suite.

[Jerry James]

commit 11d57526eb32847212fe9ff9cd6eed15f1e77b3f
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Mon Jul 29 14:50:46 2013 -0600

    New upstream version.
    Drop version-specific short test; we rely on the upstream test suite.

 .gitignore |    2 +-
 gappa.spec |   18 ++++++------------
 sources    |    2 +-
 3 files changed, 8 insertions(+), 14 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 4f6b783..9091cf8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/gappa-0.18.0.tar.gz
+/gappa-1.0.0.tar.gz
diff --git a/gappa.spec b/gappa.spec
index 5ff7ebe..659156a 100644
--- a/gappa.spec
+++ b/gappa.spec
@@ -1,12 +1,12 @@
 Name:		gappa
-Version:	0.18.0
+Version:	1.0.0
 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/32639/%{name}-%{version}.tar.gz
+Source0:	https://gforge.inria.fr/frs/download.php/32744/%{name}-%{version}.tar.gz
 # Adapt to dblatex 0.3.4; submitted upstream:
 # https://gforge.inria.fr/tracker/index.php?func=detail&aid=15983&group_id=2236&atid=7881
 Patch0:		%{name}-dblatex.patch
@@ -64,18 +64,8 @@ remake %{?_smp_mflags}
 remake doc/gappa.pdf
 
 %check
-# Simple test to see if gappa is working at all:
-cd src
-echo "x * x in [0, 1b2 {4, 2^(2)}]" > ,test1.correct
-echo "{ x in [-2,2] -> x * x in ? }" | ./gappa >,test1 2>&1
-tail -1 ,test1 > ,test1.short
-cmp ,test1.short ,test1.correct
-
-# That simple test worked, so run full test suite:
-cd ..
 remake check
 
-
 %install
 sed -i 's|\(cp src/gappa \).*|\1%{buildroot}%{_bindir}|' Remakefile
 mkdir -p %{buildroot}%{_bindir}
@@ -88,6 +78,10 @@ remake install
 
 
 %changelog
+* Mon Jul 29 2013 Jerry James <loganjerry at gmail.com> - 1.0.0-1
+- New upstream version
+- Drop version-specific short test; we rely on the upstream test suite
+
 * Wed Jul  3 2013 Jerry James <loganjerry at gmail.com> - 0.18.0-1
 - New upstream version
 
diff --git a/sources b/sources
index ce1fd92..79c4da8 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-7482481787ee71058b9d77e6d6a69957  gappa-0.18.0.tar.gz
+8feb8e674a52ff488cb407a4b99cac54  gappa-1.0.0.tar.gz