201 lines
5.5 KiB
RPMSpec
201 lines
5.5 KiB
RPMSpec
Name: yap
|
|
Version: 5.1.1
|
|
Release: 10%{?dist}
|
|
|
|
Summary: High-performance Prolog Compiler
|
|
|
|
Group: Development/Languages
|
|
License: Artistic/LGPL
|
|
Source: http://www.ncc.up.pt/~vsc/Yap/current/Yap-5.1.1.tar.gz
|
|
Source1: guard_entailment.pl
|
|
Source2: chr_translate_bootstrap1.pl
|
|
Source3: chr_translate_bootstrap2.pl
|
|
Source4: chr_translate.pl
|
|
Patch1: Yap-noni386.patch
|
|
Patch2: Yap-creat.patch
|
|
URL: http://www.ncc.up.pt/~vsc/Yap
|
|
BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
|
|
BuildRequires: readline-devel, gmp-devel, texinfo
|
|
Requires(post): /sbin/install-info, /sbin/ldconfig
|
|
Requires(postun): /sbin/install-info, /sbin/ldconfig
|
|
|
|
%description
|
|
A high-performance Prolog compiler developed at LIACC, Universidade do
|
|
Porto. 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.
|
|
|
|
|
|
%package devel
|
|
Summary: C-Interface development files for Yap
|
|
Group: Development/Languages
|
|
Requires: %{name} = %{version}-%{release}
|
|
|
|
%description devel
|
|
C-Interface development files for Yap.
|
|
|
|
|
|
%package docs
|
|
Summary: Documentation for Yap
|
|
Group: Development/Languages
|
|
Requires: %{name} = %{version}-%{release}
|
|
|
|
%description docs
|
|
Documentation for Yap.
|
|
|
|
|
|
%prep
|
|
%setup -q -n Yap-%{version}
|
|
%patch1 -p1
|
|
%patch2 -p1
|
|
|
|
cp %{SOURCE1} %{SOURCE2} %{SOURCE3} %{SOURCE4} LGPL/chr
|
|
|
|
# remove redundant rpath
|
|
sed -i '/-Wl,-R/d' configure
|
|
# properly link dynamically
|
|
sed -i 's/SHLIB_LD=.*/SHLIB_LD="gcc -shared"/' configure
|
|
|
|
find -name Makefile.in | xargs sed -i 's|$(ROOTDIR)/lib|$(ROOTDIR)/%{_lib}|'
|
|
find -name Makefile.in | xargs sed -i 's|$(EROOTDIR)/lib|$(EROOTDIR)/%{_lib}|'
|
|
|
|
|
|
%build
|
|
# % define optflags $(echo $RPM_OPT_FLAGS | sed 's|-fstack-protector||')
|
|
%configure \
|
|
--enable-coroutining \
|
|
--enable-max-performance \
|
|
--enable-depth-limit \
|
|
--enable-dynamic-loading
|
|
make %{?_smp_mflags}
|
|
(cd docs; make info)
|
|
|
|
|
|
%install
|
|
rm -rf $RPM_BUILD_ROOT
|
|
make DESTDIR=$RPM_BUILD_ROOT install
|
|
mkdir -p $RPM_BUILD_ROOT%{_infodir}
|
|
cp -f docs/yap.info* $RPM_BUILD_ROOT%{_infodir}
|
|
cp -f LGPL/pillow/doc/pillow_doc.info $RPM_BUILD_ROOT%{_infodir}
|
|
|
|
# fix permissions and flags
|
|
chmod 0644 $RPM_BUILD_ROOT%{_datadir}/Yap/pl/*
|
|
chmod 0644 $RPM_BUILD_ROOT%{_includedir}/Yap/*
|
|
find -name '*.lgt' -exec chmod 0644 '{}' ';'
|
|
find -name '*.h' -exec chmod 0644 '{}' ';'
|
|
find -name '*.c' -exec chmod 0644 '{}' ';'
|
|
|
|
# move examples to docdir
|
|
mkdir -p $RPM_BUILD_ROOT%{_docdir}/%{name}-%{version}
|
|
mv $RPM_BUILD_ROOT%{_datadir}/Yap/examples $RPM_BUILD_ROOT%{_docdir}/%{name}-%{version}
|
|
rm -rf $RPM_BUILD_ROOT%{_datadir}/Yap/clpbn/examples
|
|
|
|
%post
|
|
/sbin/install-info %{_infodir}/yap.info --section "Programming Languages" %{_infodir}/dir 2>/dev/null || :
|
|
/sbin/install-info %{_infodir}/pillow_doc.info --section "Programming Languages" %{_infodir}/dir 2>/dev/null || :
|
|
/sbin/ldconfig
|
|
|
|
|
|
%postun
|
|
if [ $1 -eq 0 ]; then
|
|
/sbin/install-info --delete %{_infodir}/yap.info %{_infodir}/dir 2>/dev/null || :
|
|
/sbin/install-info --delete %{_infodir}/pillow_doc.info %{_infodir}/dir 2>/dev/null || :
|
|
fi
|
|
/sbin/ldconfig
|
|
|
|
|
|
%clean
|
|
rm -rf $RPM_BUILD_ROOT
|
|
|
|
|
|
%files
|
|
%defattr(-,root,root,-)
|
|
%doc README
|
|
%doc changes*
|
|
%{_bindir}/yap
|
|
%{_datadir}/Yap
|
|
%{_libdir}/Yap
|
|
%{_libdir}/libYap.so
|
|
%{_infodir}/*
|
|
|
|
|
|
%files devel
|
|
%defattr(-,root,root,-)
|
|
%{_libdir}/libYap.a
|
|
%{_includedir}/Yap
|
|
|
|
|
|
%files docs
|
|
%defattr(-,root,root,-)
|
|
%doc docs/*.html
|
|
%doc docs/yap.pdf
|
|
%doc LGPL/pillow/doc/pillow_doc_html/*
|
|
%doc LGPL/pillow/doc/article.ps.gz
|
|
%doc --parent Logtalk/manuals
|
|
%doc --parent Logtalk/examples
|
|
|
|
|
|
%changelog
|
|
* Thu Apr 10 2008 Gerard Milmeister <gemi@bluewin.ch> - 5.1.1-10
|
|
- enable rpm_opt_flags
|
|
- patch for incorrect open call with O_CREAT
|
|
|
|
* Mon Feb 18 2008 Fedora Release Engineering <rel-eng@fedoraproject.org> - 5.1.1-9
|
|
- Autorebuild for GCC 4.3
|
|
|
|
* Sat Oct 20 2007 Gerard Milmeister <gemi@bluewin.ch> - 5.1.1-8
|
|
- fix library path for 64-bit platforms
|
|
|
|
* Wed Aug 29 2007 Gerard Milmeister <gemi@bluewin.ch> - 5.1.1-7
|
|
- replaced ld -shared with gcc -shared
|
|
|
|
* Wed Aug 29 2007 Fedora Release Engineering <rel-eng at fedoraproject dot org> - 5.1.1-6
|
|
- Rebuild for selinux ppc32 issue.
|
|
|
|
* Thu Jul 5 2007 Gerard Milmeister <gemi@bluewin.ch> - 5.1.1-5
|
|
- also build libYap.so
|
|
|
|
* Fri May 11 2007 Gerard Milmeister <gemi@bluewin.ch> - 5.1.1-3
|
|
- remove -fstack-protector from optflags in order to enable
|
|
loading of .so modules
|
|
|
|
* Mon Aug 28 2006 Gerard Milmeister <gemi@bluewin.ch> - 5.1.1-2
|
|
- Rebuild for FE6
|
|
|
|
* Mon May 1 2006 Gerard Milmeister <gemi@bluewin.ch> - 5.1.1-1
|
|
- new version 5.1.1
|
|
- split off devel and docs packages
|
|
|
|
* Fri Feb 17 2006 Gerard Milmeister <gemi@bluewin.ch> - 5.0.1-2
|
|
- Rebuild for Fedora Extras 5
|
|
|
|
* Tue Oct 25 2005 Gerard Milmeister <gemi@bluewin.ch> - 5.0.1-1
|
|
- New Version 5.0.1
|
|
|
|
* Wed Sep 7 2005 Gerard Milmeister <gemi@bluewin.ch> - 5.0.0-1
|
|
- New Version 5.0.0
|
|
|
|
* Sat Jun 18 2005 Gerard Milmeister <gemi@bluewin.ch> - 4.5.5-5
|
|
- Use %{_prefix}/lib for x86_64
|
|
|
|
* Sat Jun 18 2005 Gerard Milmeister <gemi@bluewin.ch> - 4.5.5-4
|
|
- Fix for non-i386 compilers
|
|
|
|
* Sat Jun 18 2005 Gerard Milmeister <gemi@bluewin.ch> - 4.5.5-3
|
|
- Compiler fix for FC4
|
|
|
|
* Fri Apr 7 2005 Michael Schwendt <mschwendt[AT]users.sf.net>
|
|
- rebuilt
|
|
|
|
* Sat Feb 12 2005 Gerard Milmeister <gemi@bluewin.ch> - 0:4.5.5-1
|
|
- New Version 4.5.5
|
|
|
|
* Mon Nov 29 2004 Gerard Milmeister <gemi@bluewin.ch> - 0:4.5.3-0.fdr.1
|
|
- New Version 4.5.3
|
|
|
|
* Sat Mar 13 2004 Gerard Milmeister <gemi@bluewin.ch> - 0:4.5.2-0.fdr.1
|
|
- New Version 4.5.2
|
|
|
|
* Sat Nov 22 2003 Gerard Milmeister <gemi@bluewin.ch> - 0:4.4.3-0.fdr.1
|
|
- First Fedora release
|