packages: ppl/ppl.spec - added Ciao prolog support
qboosh
qboosh at pld-linux.org
Fri Apr 13 21:38:11 CEST 2012
Author: qboosh Date: Fri Apr 13 19:38:11 2012 GMT
Module: packages Tag: HEAD
---- Log message:
- added Ciao prolog support
---- Files affected:
packages/ppl:
ppl.spec (1.9 -> 1.10)
---- Diffs:
================================================================
Index: packages/ppl/ppl.spec
diff -u packages/ppl/ppl.spec:1.9 packages/ppl/ppl.spec:1.10
--- packages/ppl/ppl.spec:1.9 Sun Apr 1 15:53:18 2012
+++ packages/ppl/ppl.spec Fri Apr 13 21:38:06 2012
@@ -1,7 +1,7 @@
# $Revision$, $Date$
# TODO
# - build ocaml binding as shared module
-# - verify ocaml,gprolog,swipl,Yap files locations
+# - verify ocaml,gprolog,swipl,Yap,Ciao files locations
# - help naming the subpackages properly
# - fix mess with docs packaging
# - ciao_prolog, xsb prolog
@@ -10,6 +10,7 @@
# Conditional build:
%bcond_without java # Java bindings
%bcond_without ocaml # OCaml bindings
+%bcond_without ciao # Ciao Prolog interface
%bcond_without gprolog # GNU Pprolog interface
%bcond_without swipl # SWI-Prolog interface
%bcond_without yap # Yap prolog interface
@@ -28,15 +29,22 @@
Group: Libraries
Source0: ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/%{name}-%{version}.tar.xz
# Source0-md5: 7615f217b66b4ab4783c20c9fc516ff4
+Patch0: %{name}-ciao.patch
URL: http://www.cs.unipr.it/ppl/
+%if %{with ciao}
+BuildRequires: CiaoDE >= 1.14
+%endif
%if %{with yap}
BuildRequires: Yap >= 5.1.1
BuildRequires: Yap-static >= 5.1.1
%endif
+BuildRequires: autoconf >= 2.61
+BuildRequires: automake >= 1:1.11
BuildRequires: glpk-devel >= 4.13
BuildRequires: gmp-c++-devel >= 4.1.3
BuildRequires: gmp-devel >= 4.1.3
BuildRequires: libstdc++-devel
+BuildRequires: libtool >= 2:2.0
BuildRequires: m4 >= 1.4.8
BuildRequires: perl-base
BuildRequires: tar >= 1:1.22
@@ -153,6 +161,38 @@
wypukłych oraz program do rozwiązywania parametrycznych
całkowitoliczbowych problemów programowania liniowego ppl_pips.
+%package -n Ciao-ppl
+Summary: The Ciao Prolog interface of the Parma Polyhedra Library
+Summary(pl.UTF-8): Interfejs Ciao Prologa do biblioteki Parma Polyhedra Library
+Group: Libraries
+Requires: %{name} = %{version}-%{release}
+Requires: CiaoDE >= 1.14
+Obsoletes: ppl-gprolog
+
+%description -n Ciao-ppl
+This package adds Ciao Prolog support to the Parma Polyhedra Library
+(PPL). Install this package if you want to use the library in Ciao
+Prolog programs.
+
+%description -n Ciao-ppl -l pl.UTF-8
+Ten pakiet dodaje obsługę Ciao Prologa do biblioteki Parma Polyhedra
+Library (PPL). Należy go zainstalować, aby móc korzystać z biblioteki
+w Ciao Prologu.
+
+%package -n Ciao-ppl-static
+Summary: The static archive for the Ciao Prolog interface of the Parma Polyhedra Library
+Summary(pl.UTF-8): Statyczna biblioteka interfejsu Ciao Prologa do biblioteki PPL
+Group: Development/Libraries
+Requires: Ciao-ppl = %{version}-%{release}
+
+%description -n Ciao-ppl-static
+This package contains the static archive for the Ciao Prolog interface
+of the Parma Polyhedra Library.
+
+%description -n Ciao-ppl-static -l pl.UTF-8
+Statyczna biblioteka interfejsu Ciao Prologa do biblioteki Parma
+Polyhedra Library.
+
%package -n gprolog-ppl
Summary: The GNU Prolog interface of the Parma Polyhedra Library
Summary(pl.UTF-8): Interfejs GNU Prologa do biblioteki Parma Polyhedra Library
@@ -301,8 +341,14 @@
%prep
%setup -q
+%patch0 -p1
%build
+%{__libtoolize}
+%{__aclocal} -I m4
+%{__autoconf}
+%{__autoheader}
+%{__automake}
CPPFLAGS="-I%{_includedir}/glpk"
%if %{with gprolog}
CPPFLAGS="$CPPFLAGS -I%{_libdir}/gprolog-`gprolog --version 2>&1 | head -1 | sed -e "s/.* \([^ ]*\)$/\1/g"`/include"
@@ -316,7 +362,7 @@
%configure \
--docdir=%{_docdir}/%{name}-%{version} \
- --enable-interfaces="c++ c %{?with_ocaml:ocaml} %{?with_java:java} %{?with_gprolog:gnu_prolog} %{?with_swipl:swi_prolog} %{?with_yap:yap_prolog}"
+ --enable-interfaces="c++ c %{?with_ocaml:ocaml} %{?with_java:java} %{?with_ciao:ciao_prolog} %{?with_gprolog:gnu_prolog} %{?with_swipl:swi_prolog} %{?with_yap:yap_prolog}"
%{__make}
@@ -337,7 +383,7 @@
$RPM_BUILD_ROOT%{_javadocdir}/%{name}-java
%endif
-%if %{with java} || %{with gprolog} || %{with swipl} || %{with yap}
+%if %{with java} || %{with ciao} || %{with gprolog} || %{with swipl} || %{with yap}
%{__rm} $RPM_BUILD_ROOT%{_libdir}/%{name}/*.la
%endif
@@ -406,11 +452,23 @@
%doc %{_docdir}/%{name}-%{version}/ppl-user-c-interface-%{version}.pdf
%doc %{_docdir}/%{name}-%{version}/ppl-user-%{version}.pdf
-%if %{with gprolog} || %{with swipl} || %{with yap}
+%if %{with ciao} || %{with gprolog} || %{with swipl} || %{with yap}
%doc %{_docdir}/%{name}-%{version}/ppl-user-prolog-interface-%{version}-html/
%doc %{_docdir}/%{name}-%{version}/ppl-user-prolog-interface-%{version}.pdf
%endif
+%if %{with ciao}
+%files -n Ciao-ppl
+%defattr(644,root,root,755)
+%doc interfaces/Prolog/Ciao/README.ciao
+%attr(755,root,root) %{_libdir}/%{name}/libppl_ciao.so
+%{_datadir}/%{name}/ppl_ciao.po
+
+%files -n Ciao-ppl-static
+%defattr(644,root,root,755)
+%{_libdir}/%{name}/libppl_ciao.a
+%endif
+
%if %{with gprolog}
%files -n gprolog-ppl
%defattr(644,root,root,755)
@@ -482,6 +540,9 @@
All persons listed below can be reached at <cvs_login>@pld-linux.org
$Log$
+Revision 1.10 2012/04/13 19:38:06 qboosh
+- added Ciao prolog support
+
Revision 1.9 2012/04/01 13:53:18 qboosh
- updated yap build, build the module by default (packaged as Yap-ppl)
================================================================
---- CVS-web:
http://cvs.pld-linux.org/packages/ppl/ppl.spec?r1=1.9&r2=1.10
More information about the pld-cvs-commit
mailing list