[ltl2ba] Rebuild for GCC 4.7. Minor spec file cleanups.

[Jerry James]

commit aadd8dac4013c6c67e5b21348532d43938d84426
Author: Jerry James <loganjerry at gmail.com>
Date:   Sat Jan 7 22:06:54 2012 -0700

    Rebuild for GCC 4.7.
    Minor spec file cleanups.

 ltl2ba.spec |   24 +++++++++---------------
 1 files changed, 9 insertions(+), 15 deletions(-)
---
diff --git a/ltl2ba.spec b/ltl2ba.spec
index ae14800..2e14f27 100644
--- a/ltl2ba.spec
+++ b/ltl2ba.spec
@@ -1,16 +1,12 @@
 Name:		ltl2ba
 Version:	1.1
-Release:	3%{?dist}
+Release:	4%{?dist}
 Summary:	Fast translation from LTL formulas to Buchi automata
 
 Group:		Applications/Engineering
 License:	GPLv2+
 URL:		http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/
-Source0:	http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ltl2ba-%{version}.tar.gz
-BuildRoot:	%(mktemp -ud %{_tmppath}/%{name}-%{version}-%{release}-XXXXXX)
-
-# BuildRequires:	
-# Requires:	
+Source0:	http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/%{name}-%{version}.tar.gz
 
 %description
 Translate from Linear temporal logic (LTL) formulas to Buchi automata.
@@ -40,22 +36,20 @@ mv README.utf8 README
 ./ltl2ba -f "true"
 
 %install
-rm -rf $RPM_BUILD_ROOT
-mkdir -p $RPM_BUILD_ROOT/usr/bin
-cp -p ltl2ba $RPM_BUILD_ROOT/usr/bin
-
-
-%clean
-rm -rf $RPM_BUILD_ROOT
+mkdir -p $RPM_BUILD_ROOT%{_bindir}
+cp -p ltl2ba $RPM_BUILD_ROOT%{_bindir}
 
 
 %files
-%defattr(-,root,root,-)
-/usr/bin/ltl2ba
+%{_bindir}/ltl2ba
 %doc README LICENSE
 
 
 %changelog
+* Sat Jan  7 2012 Jerry James <loganjerry at gmail.com> - 1.1-3
+- Rebuild for GCC 4.7
+- Minor spec file cleanups
+
 * Tue Feb 08 2011 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 1.1-3
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild