Bug 246815 had been fixed: YAP support enabled again.

This commit is contained in:
Roberto Bagnara 2007-07-06 08:28:18 +00:00
parent 00097299a2
commit f32baa7639
1 changed files with 4 additions and 12 deletions

View File

@ -1,6 +1,6 @@
Name: ppl
Version: 0.9
Release: 12%{?dist}
Release: 13%{?dist}
Summary: The Parma Polyhedra Library: a library of numerical abstractions
Group: Development/Libraries
@ -95,9 +95,7 @@ Requires: ppl-swiprolog = %{version}-%{release}
This package contains the static archive for the SWI-Prolog interface
of the Parma Polyhedra Library.
%if 0
%package yap
# Disable YAP support until bug 246815 is fixed.
Summary: The YAP Prolog interface of the Parma Polyhedra Library
Group: Development/Libraries
BuildRequires: yap-devel >= 5.1.1
@ -105,9 +103,7 @@ Requires: ppl = %{version}-%{release}, ppl-pwl = %{version}-%{release}, yap >= 5
%description yap
This package adds YAP Prolog support to the Parma Polyhedra Library (PPL).
Install this package if you want to use the library in YAP Prolog programs.
%endif
%if 0
%package yap-static
Summary: The static archive for the YAP Prolog interface of the Parma Polyhedra Library
Group: Development/Libraries
@ -116,7 +112,6 @@ Requires: ppl-yap = %{version}-%{release}
%description yap-static
This package contains the static archive for the YAP Prolog interface
of the Parma Polyhedra Library.
%endif
%package docs
Summary: Documentation for the Parma Polyhedra Library
@ -164,9 +159,7 @@ CPPFLAGS="-I%{_includedir}/glpk"
%ifnarch ppc64
CPPFLAGS="$CPPFLAGS -I%{_libdir}/gprolog-`gprolog --version 2>&1 | head -1 | sed -e "s/.* \([^ ]*\)$/\1/g"`/include"
%endif
%if 0
CPPFLAGS="$CPPFLAGS -I%{_includedir}/Yap"
%endif
%configure --enable-shared --disable-rpath CPPFLAGS="$CPPFLAGS"
sed -i 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' libtool
sed -i 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' libtool
@ -242,19 +235,15 @@ rm -f %{buildroot}%{_libdir}/*.la %{buildroot}%{_libdir}/%{name}/*.la
%defattr(-,root,root,-)
%{_libdir}/%{name}/libppl_swiprolog.a
%if 0
%files yap
%defattr(-,root,root,-)
%doc interfaces/Prolog/YAP/README.yap
%{_libdir}/%{name}/ppl_yap.pl
%{_libdir}/%{name}/ppl_yap.so
%endif
%if 0
%files yap-static
%defattr(-,root,root,-)
%{_libdir}/%{name}/ppl_yap.a
%endif
%files docs
%defattr(-,root,root,-)
@ -288,6 +277,9 @@ rm -f %{buildroot}%{_libdir}/*.la %{buildroot}%{_libdir}/%{name}/*.la
rm -rf %{buildroot}
%changelog
* Fri Jul 06 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-13
- Bug 246815 had been fixed: YAP support enabled again.
* Thu Jul 05 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-12
- Disable YAP support until bug 246815 is fixed.
- Bug 243084 has been fixed: `ppl-swiprolog' dependency on `readline-devel'