2010-10-24 20:26:49 +01:00
|
|
|
#%define _unpackaged_files_terminate_build 0
|
|
|
|
|
#%undefine __check_files
|
|
|
|
|
|
|
|
|
|
Name: yap
|
|
|
|
|
Summary: Prolog Compiler
|
2011-04-22 15:29:24 +01:00
|
|
|
Version: 6.3.0
|
2010-10-24 20:26:49 +01:00
|
|
|
Packager: Vitor Santos Costa <vsc@dcc.fc.up.pt>
|
|
|
|
|
Release: 1
|
|
|
|
|
Source: http://www.dcc.fc.up.pt/~vsc/Yap/%{name}-%{version}.tar.gz
|
|
|
|
|
License: Perl Artistic License, LGPL
|
|
|
|
|
Provides: yap
|
|
|
|
|
Requires: readline, unixODBC, gmp, cudd
|
|
|
|
|
Group: Development/Languages
|
|
|
|
|
URL: http://www.dcc.fc.up.pt/~vsc/Yap
|
|
|
|
|
Prefix: /usr
|
|
|
|
|
BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root
|
|
|
|
|
|
|
|
|
|
%description
|
|
|
|
|
A high-performance Prolog compiler developed at
|
|
|
|
|
Universidade do Porto and Universidade Federal do Rio de Janeiro. The Prolog engine is based in the WAM (Warren
|
|
|
|
|
Abstract Machine), with several optimizations for better
|
|
|
|
|
performance. YAP follows the Edinburgh tradition, and is largely
|
|
|
|
|
compatible with the ISO-Prolog standard and with Quintus and SICStus
|
|
|
|
|
Prolog.
|
|
|
|
|
|
|
|
|
|
%prep
|
|
|
|
|
|
|
|
|
|
%setup -q
|
|
|
|
|
|
|
|
|
|
%build
|
|
|
|
|
./configure --prefix=/usr --prefix=/usr --libdir=/usr/lib64 --enable-max-performance --enable-depth-limit
|
|
|
|
|
make
|
|
|
|
|
|
|
|
|
|
%install
|
|
|
|
|
rm -rf $RPM_BUILD_ROOT
|
|
|
|
|
make DESTDIR=$RPM_BUILD_ROOT install
|
|
|
|
|
mkdir -p $RPM_BUILD_ROOT/usr/share/info
|
|
|
|
|
make DESTDIR=$RPM_BUILD_ROOT install_info
|
|
|
|
|
mkdir -p $RPM_BUILD_ROOT/usr/share/doc/Yap
|
|
|
|
|
make DESTDIR=$RPM_BUILD_ROOT install_docs
|
|
|
|
|
|
|
|
|
|
%post
|
|
|
|
|
/sbin/install-info --quiet /usr/share/info/yap.info --section "Programming Languages" /usr/share/info/dir
|
|
|
|
|
/sbin/install-info --quiet /usr/share/info/pillow_doc.info --section "Programming Languages" /usr/share/info/dir
|
|
|
|
|
|
|
|
|
|
%postun
|
|
|
|
|
/sbin/install-info --quiet --delete yap.info /usr/share/info/dir
|
|
|
|
|
/sbin/install-info --quiet --delete pillow_doc.info /usr/share/info/dir
|
|
|
|
|
|
|
|
|
|
rm -f /usr/info/yap.info*
|
|
|
|
|
|
|
|
|
|
%clean
|
|
|
|
|
rm -rf $RPM_BUILD_ROOT $RPM_BUILD_DIR/file.list.%{name}
|
|
|
|
|
|
|
|
|
|
%files
|
|
|
|
|
%defattr(-,root,root,-)
|
|
|
|
|
%doc README*
|
|
|
|
|
%doc INSTALL
|
|
|
|
|
%doc changes-6.0.html
|
|
|
|
|
%doc changes-5.1.html
|
|
|
|
|
%doc changes-5.0.html
|
|
|
|
|
%doc changes4.3.html
|
|
|
|
|
%doc docs/yap.tex
|
|
|
|
|
/usr/bin/yap
|
|
|
|
|
/usr/lib64/Yap/
|
|
|
|
|
/usr/lib64/libYap.a
|
|
|
|
|
/usr/include/Yap/
|
|
|
|
|
/usr/share/Yap/
|
|
|
|
|
/usr/share/info/yap.info*
|
|
|
|
|
/usr/share/info/pillow_doc.info*
|
|
|
|
|
/usr/share/doc/Yap
|
|
|
|
|
|
|
|
|
|
%changelog
|
|
|
|
|
|
