File yices.spec of Package yices

#
# spec file for package yices
#

Name:           yices
Version:        2.6.2
Release:        0
Summary:        An SMT solver supporting SMT-LIB notation
Group:          Development/Libraries/C and C++
License:        GPL-3
URL:            http://yices.csl.sri.com/
Source0:        %{name}-%{version}-src.tar.gz
BuildRoot:      %{_tmppath}/%{name}-%{version}-build
# BuildArch:      noarch

BuildRequires:  pkgconfig
BuildRequires:  autoconf
BuildRequires:  make
BuildRequires:  gcc-c++
BuildRequires:  gcc
BuildRequires:  gmp-devel >= 4.1
BuildRequires:  gperf >= 3.0
BuildRequires:  fdupes
Requires:       libgmp10 >= 4.1

%description
Yices 2 is an SMT solver that decides the satisfiability of formulas containing uninterpreted function symbols with equality, real and integer arithmetic, bitvectors, scalar types, and tuples. Yices 2 supports both linear and nonlinear arithmetic.

Yices 2 can process input written in the SMT-LIB notation (both versions 2.0 and 1.2 are supported). Alternatively, you can write specifications using Yices 2's own specification language, which includes tuples and scalar types. You can also use Yices 2 as a library in your software.

Yices is free for non-commercial use. 


%package -n lib%{name}2_6
Summary:        A dynamic binary analysis framework
Group:          Development/Libraries/C and C++

%description -n lib%{name}2_6
Yices 2 is an SMT solver that decides the satisfiability of formulas containing uninterpreted function symbols with equality, real and integer arithmetic, bitvectors, scalar types, and tuples. Yices 2 supports both linear and nonlinear arithmetic.

Yices 2 can process input written in the SMT-LIB notation (both versions 2.0 and 1.2 are supported). Alternatively, you can write specifications using Yices 2's own specification language, which includes tuples and scalar types. You can also use Yices 2 as a library in your software.

Yices is free for non-commercial use. 

%package        devel
Summary:        Development files for yices
Group:          Development/Libraries/C and C++
Requires:       lib%{name}2_6

%description    devel
Development files for using Yices 2 as a library in your own software. Pay special attention to the non-commercial end-user license agreement! Yices is free for non-commercial use. 


%prep
%setup -n %{name}-%{version}

%build
autoconf
./configure --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/lib --localstatedir=/var --sharedstatedir=/usr/com --mandir=/usr/share/man --infodir=/usr/share/info
make %{?_smp_mflags}

%install
make install DESTDIR=%{buildroot}
%fdupes %{buildroot}

%clean
rm -rf %{buildroot}

%post -n lib%{name}2_6 -p /sbin/ldconfig

%postun -n lib%{name}2_6 -p /sbin/ldconfig

%files -n lib%{name}2_6
%doc README NOTICES LICENSE
%defattr(-,root,root)
%{_bindir}/yices
%{_bindir}/yices-sat
%{_bindir}/yices-smt
%{_bindir}/yices-smt2
%{_libdir}/lib%{name}.so*

%files devel
%defattr(-,root,root)
%{_includedir}/%{name}*.h
%{_libdir}/libyices.a

%changelog