openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File xsb.spec of Package xsb (Revision b639b0c1161f29cd57fc576b35e7a36d)

Currently displaying revision b639b0c1161f29cd57fc576b35e7a36d , Show latest

#
# spec file for package yices
#

Name:           xsb
Version:        3.7.9046
Release:        0
Summary:        A research-oriented, commercial-grade Logic Programming system
Group:          Development/Libraries/C and C++
License:        GPLv2
URL:            http://xsb.sourceforge.net/
Source0:        xsb-src-9046-trunk.zip
Patch0:         xsb.patch
BuildRoot:      %{_tmppath}/%{name}-%{version}-build
# BuildArch:      noarch

BuildRequires:  pkgconfig
BuildRequires:  make
BuildRequires:  gcc-c++
BuildRequires:  gcc
BuildRequires:  unzip
BuildRequires:  fdupes

%description
XSB is a research-oriented, commercial-grade Logic Programming system for Unix and Windows-based platforms.  In addition to providing nearly all functionality of ISO-Prolog, XSB includes the additional features, such as evaluation of queries according to the Well-Founded Semantics through full SLG resolution (tabling with negation). XSB's tabling implementation supports incremental tabling, as well as call and answer subsumption.

To understand the implications of SLG resolution, recall that Prolog is based on a depth-first search through trees that are built using program clause resolution (SLD).  As such, Prolog is susceptible to getting lost in an infinite branch of a search tree, where it may loop infinitely. SLG evaluation, available in XSB, can correctly evaluate many such logic programs.

%package -n lib%{name}3_7
Summary:        A research-oriented, commercial-grade Logic Programming system
Group:          Development/Libraries/C and C++

%description -n lib%{name}3_7
XSB is a research-oriented, commercial-grade Logic Programming system for Unix and Windows-based platforms.  In addition to providing nearly all functionality of ISO-Prolog, XSB includes the additional features, such as evaluation of queries according to the Well-Founded Semantics through full SLG resolution (tabling with negation). XSB's tabling implementation supports incremental tabling, as well as call and answer subsumption.

%package        devel
Summary:        Development files for %{name}
Group:          Development/Libraries/C and C++
Requires:       lib%{name}3_7

%description    devel
Development files for using XSB as a library in your own software.

%prep
%setup -n xsb-src-9046-trunk
%global _default_patch_fuzz 2
%patch0 -p1

%build
cd build
./configure --prefix=%{buildroot} --with-site-prefix=%{_sharedir}/%{name}
./makexsb

%install
cd build
./makexsb install
#touch /usr/local/xsb-3.7.0/syslib/sysinitrc
%fdupes %{buildroot}

%clean
rm -rf %{buildroot}

%post -n lib%{name}3_7 -p /sbin/ldconfig

%postun -n lib%{name}3_7 -p /sbin/ldconfig

%files -n lib%{name}3_7
%doc README LICENSE FAQ
%defattr(-,root,root)
%{_bindir}/xsb
%{_libdir}/lib%{name}.so*

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

%changelog

Places

File xsb.spec of Package xsb (Revision b639b0c1161f29cd57fc576b35e7a36d)

Places