packages: ppl/ppl.spec - added expected xsb files (as XSB-ppl{, -static} pac...

[qboosh]

Author: qboosh                       Date: Wed May 23 17:52:26 2012 GMT
Module: packages                      Tag: HEAD
---- Log message:
- added expected xsb files (as XSB-ppl{,-static} packages) on bcond (off by default, XSB is not finished yet)

---- Files affected:
packages/ppl:
   ppl.spec (1.10 -> 1.11) 

---- Diffs:

================================================================
Index: packages/ppl/ppl.spec
diff -u packages/ppl/ppl.spec:1.10 packages/ppl/ppl.spec:1.11
--- packages/ppl/ppl.spec:1.10	Fri Apr 13 21:38:06 2012
+++ packages/ppl/ppl.spec	Wed May 23 19:52:21 2012
@@ -4,7 +4,7 @@
 # - verify ocaml,gprolog,swipl,Yap,Ciao files locations
 # - help naming the subpackages properly
 # - fix mess with docs packaging
-# - ciao_prolog, xsb prolog
+# - finish xsb prolog
 # - proprietary: cicstus prolog
 #
 # Conditional build:
@@ -14,6 +14,7 @@
 %bcond_without	gprolog	# GNU Pprolog interface
 %bcond_without	swipl	# SWI-Prolog interface
 %bcond_without	yap	# Yap prolog interface
+%bcond_with	xsb	# XSB prolog interface
 
 %ifnarch %{ix86} %{x8664} alpha ppc64
 # GNU Prolog not available
@@ -31,6 +32,9 @@
 # Source0-md5:	7615f217b66b4ab4783c20c9fc516ff4
 Patch0:		%{name}-ciao.patch
 URL:		http://www.cs.unipr.it/ppl/
+%if %{with xsb}
+BuildRequires:	XSB
+%endif
 %if %{with ciao}
 BuildRequires:	CiaoDE >= 1.14
 %endif
@@ -193,6 +197,38 @@
 Statyczna biblioteka interfejsu Ciao Prologa do biblioteki Parma
 Polyhedra Library.
 
+%package -n XSB-ppl
+Summary:	The XSB Prolog interface of the Parma Polyhedra Library
+Summary(pl.UTF-8):	Interfejs XSB Prologa do biblioteki Parma Polyhedra Library
+Group:		Libraries
+Requires:	%{name} = %{version}-%{release}
+Requires:	XSBDE >= 1.14
+Obsoletes:	ppl-gprolog
+
+%description -n XSB-ppl
+This package adds XSB Prolog support to the Parma Polyhedra Library
+(PPL). Install this package if you want to use the library in XSB
+Prolog programs.
+
+%description -n XSB-ppl -l pl.UTF-8
+Ten pakiet dodaje obsługę XSB Prologa do biblioteki Parma Polyhedra
+Library (PPL). Należy go zainstalować, aby móc korzystać z biblioteki
+w XSB Prologu.
+
+%package -n XSB-ppl-static
+Summary:	The static archive for the XSB Prolog interface of the Parma Polyhedra Library
+Summary(pl.UTF-8):	Statyczna biblioteka interfejsu XSB Prologa do biblioteki PPL
+Group:		Development/Libraries
+Requires:	XSB-ppl = %{version}-%{release}
+
+%description -n XSB-ppl-static
+This package contains the static archive for the XSB Prolog interface
+of the Parma Polyhedra Library.
+
+%description -n XSB-ppl-static -l pl.UTF-8
+Statyczna biblioteka interfejsu XSB 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
@@ -362,7 +398,7 @@
 
 %configure \
 	--docdir=%{_docdir}/%{name}-%{version} \
-	--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}"
+	--enable-interfaces="c++ c %{?with_ocaml:ocaml} %{?with_java:java} %{?with_ciao:ciao_prolog} %{?with_gprolog:gnu_prolog} %{?with_swipl:swi_prolog} %{?with_xsb:xsb_prolog} %{?with_yap:yap_prolog}"
 
 %{__make}
 
@@ -383,7 +419,7 @@
 	$RPM_BUILD_ROOT%{_javadocdir}/%{name}-java
 %endif
 
-%if %{with java} || %{with ciao} || %{with gprolog} || %{with swipl} || %{with yap}
+%if %{with java} || %{with ciao} || %{with gprolog} || %{with swipl} || %{with xsb} || %{with yap}
 %{__rm} $RPM_BUILD_ROOT%{_libdir}/%{name}/*.la
 %endif
 
@@ -452,11 +488,22 @@
 %doc %{_docdir}/%{name}-%{version}/ppl-user-c-interface-%{version}.pdf
 %doc %{_docdir}/%{name}-%{version}/ppl-user-%{version}.pdf
 
-%if %{with ciao} || %{with gprolog} || %{with swipl} || %{with yap}
+%if %{with ciao} || %{with gprolog} || %{with swipl} || %{with xsb} || %{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 xsb}
+%files -n XSB-ppl
+%defattr(644,root,root,755)
+%attr(755,root,root) %{_libdir}/%{name}/libppl_xsb.so
+%{_datadir}/%{name}/ppl_xsb.xwam
+
+%files -n XSB-ppl-static
+%defattr(644,root,root,755)
+%{_libdir}/%{name}/libppl_xsb.a
+%endif
+
 %if %{with ciao}
 %files -n Ciao-ppl
 %defattr(644,root,root,755)
@@ -540,6 +587,9 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.11  2012/05/23 17:52:21  qboosh
+- added expected xsb files (as XSB-ppl{,-static} packages) on bcond (off by default, XSB is not finished yet)
+
 Revision 1.10  2012/04/13 19:38:06  qboosh
 - added Ciao prolog support
 
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/packages/ppl/ppl.spec?r1=1.10&r2=1.11