%define upstreamver Dec-2007

Name:           LADR
Version:        200712
Release:        1
Summary:        Library for Automated Deduction Research

Group:          Applications/Productivity
License:        GPLv2
URL:            http://www.cs.unm.edu/~mccune/prover9/
Source0:        http://www.cs.unm.edu/~mccune/prover9/download/%{name}-%{upstreamver}.tar.gz
BuildRoot:      %(mktemp -ud %{_tmppath}/%{name}-%{version}-%{release}-XXXXXX)


%description 
Prover9 is an automated theorem prover for first-order and equational logic,
and Mace4 searches for finite models and counterexamples. Prover9 is the
successor of the Otter prover.


%prep
%setup -q -n %{name}-%{upstreamver}


%build
make all


%install
rm -rf %{buildroot}
mkdir -p %{buildroot}%{_bindir}
install -m 0755 bin/* %{buildroot}%{_bindir}
rm %{buildroot}%{_bindir}/proof3fo.xsl
mkdir -p %{buildroot}%{_datadir}/%{name}
cp -a apps.examples %{buildroot}%{_datadir}/%{name}
cp -a mace4.examples %{buildroot}%{_datadir}/%{name}
cp -a prover9.examples %{buildroot}%{_datadir}/%{name}
install -m 0644 bin/proof3fo.xsl %{buildroot}%{_datadir}/%{name}


%clean
rm -rf %{buildroot}


%files
%defattr(-,root,root,-)
%doc Changelog COPYING TODO
%{_bindir}/*
%{_datadir}/%{name}


%changelog
* Thu Jan 10 2008 Tim Colles <timc@inf.ed.ac.uk> - 200712-1
- initial version