packages: ppl/ppl.spec - added Ciao prolog support

[qboosh]

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