openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File maude.spec of Package maude

Name: maude
Summary: High-performance logical framework
Version: 2.7.1
Release: 1
Group: science
License: Free Software
URL: http://maude.cs.uiuc.edu
Source0: http://maude.cs.illinois.edu/w/images/d/d8/Maude-%{version}.tar.gz
BuildRequires: buddy-devel
BuildRequires: tecla-devel
BuildRequires: libsigsegv-devel
BuildRequires: cvc4-devel
BuildRequires: gmp-devel

%description
Maude is a high-performance reflective language and system supporting
both equational and rewriting logic specification and programming for
a wide range of applications. Maude has been influenced in important
ways by the OBJ3 language, which can be regarded as an equational
logic sublanguage. Besides supporting equational specification and
programming, Maude also supports rewriting logic computation.

%prep
%setup -q
sed -i 's|kind::IFF|kind::ITE|' src/Mixfix/variableGenerator.cc

%build
%configure
make

%install
make install DESTDIR=%{buildroot}
install -d %{buildroot}%{_datadir}/%{name}
mv %{buildroot}%{_datadir}/*.%{name} %{buildroot}%{_datadir}/%{name}

%files
%doc AUTHORS README COPYING NEWS ChangeLog
%{_bindir}/%{name}
%{_datadir}/%{name}

%changelog
* Fri Apr 13 2018 Huaren Zhong <huaren.zhong@gmail.com> 2.7.1
- Rebuild for Fedora

Places

File maude.spec of Package maude

Places