Name:           clingo
Version:        4.4.0
Release:        1%{?dist}
Summary:        A bottom up grounder for logic programs

Group:          Applications/Engineering
License:        GPLv3
URL:            http://potassco.sourceforge.net
Source0:        http://downloads.sourceforge.net/potassco/%{name}-%{version}-source.tar.gz
Patch0:         %{name}-4.4.0-unbundle-clasp-gringo.patch

BuildRequires:  bison
BuildRequires:  clasp-static >= 3.1.0
BuildRequires:  dos2unix
BuildRequires:  gringo-static >= 4.4.0
BuildRequires:  re2c
BuildRequires:  scons
BuildRequires:  zsh

%package examples
Summary:        Examples for %{name}, a bottom up grounder for logic programs
Requires:       %{name}%{?_isa} == %{version}-%{release}
BuildArch:      noarch

%description
Clingo combines both gringo and clasp into a monolithic system. This way it
offers more control over the grounding and solving process than gringo and clasp
can offer individually - e.g., incremental grounding and solving. Clingo comes
with its own version of claspD-2 and hence now supports parallel- and
disjunctive solving. 

%description examples
This package contains the examples distributed with %{name} %{version}.

%prep
%setup -qn %{name}-%{version}-source
%patch0 -p1

# Remove bundled gringo and clasp
rm -rf libclasp libgringo app/gringo

# Fix executable permissions
chmod +x examples/scripting/controller/server.py
chmod +x examples/scripting/pydoc/pydoc.lp

%build
scons %{?_smp_mflags} configure WITH_TBB="tbb" WITH_LUA="lua" WITH_PYTHON="python2.7" CPPPATH="/usr/include/python2.7/" CXXFLAGS="${CXXFLAGS:-%optflags} -std=c++11 -O3 -DDEBUG -D_DEBUG" --build-dir=debug
scons %{?_smp_mflags} %{name} --build-dir=debug

%install
install -m0755 -D build/debug/%{name} %{buildroot}%{_bindir}/%{name}

mkdir -p %{buildroot}%{_datadir}/%{name}
cp -a examples %{buildroot}%{_datadir}/%{name}/

# Disabled until fixed upstream: https://sourceforge.net/p/potassco/bugs/100/
#check
#scons %{?_smp_mflags} test-%{name} --build-dir=debug

%files
%doc CHANGES COPYING NOTES README
%{_bindir}/%{name}

%files examples
%{_datadir}/%{name}

%changelog
* Sun Sep 21 2014 Scott K Logan <logans@cottsay.net> - 4.4.0-1
- Update to 4.4.0
- Remove limits patch
- Remove FSF address workarounds
- Remove line ending workarounds
- Disable tests

* Wed Apr 23 2014 Scott K Logan <logans@cottsay.net> - 4.3.0-1
- Initial package