packages: ppl/ppl.spec - enable ocaml by default; needs ocaml-gmp module

[qboosh]

Author: qboosh                       Date: Thu Mar 15 19:15:00 2012 GMT
Module: packages                      Tag: HEAD
---- Log message:
- enable ocaml by default; needs ocaml-gmp module

---- Files affected:
packages/ppl:
   ppl.spec (1.5 -> 1.6) 

---- Diffs:

================================================================
Index: packages/ppl/ppl.spec
diff -u packages/ppl/ppl.spec:1.5 packages/ppl/ppl.spec:1.6
--- packages/ppl/ppl.spec:1.5	Wed Mar 14 18:45:48 2012
+++ packages/ppl/ppl.spec	Thu Mar 15 20:14:55 2012
@@ -1,5 +1,6 @@
 # $Revision$, $Date$
 # TODO
+# - build ocaml binding as shared module
 # - help naming the subpackages properly
 # - fix mess with docs packaging
 # - ciao_prolog, xsb prolog
@@ -7,7 +8,7 @@
 #
 # Conditional build:
 %bcond_without	java	# java bindings
-%bcond_with	ocaml	# ocaml bindings
+%bcond_without	ocaml	# ocaml bindings
 %bcond_with	gprolog	# gprolog interface
 %bcond_with	swi_pl	# swi_prolog interface
 %bcond_with	yap_pl	# yap_prolog interface
@@ -49,6 +50,7 @@
 %endif
 %if %{with ocaml}
 BuildRequires:	ocaml >= 3.09
+BuildRequires:	ocaml-gmp-devel
 %endif
 %if %{with java}
 BuildRequires:	jdk
@@ -240,6 +242,7 @@
 Summary(pl.UTF-8):	Interfejs OCamla do biblioteki Parma Polyhedra Library
 Group:		Libraries
 Requires:	%{name} = %{version}-%{release}
+Requires:	ocaml-gmp
 
 %description -n ocaml-ppl
 This package adds Objective Caml (OCaml) support to the Parma
@@ -312,7 +315,6 @@
 
 %configure \
 	--docdir=%{_docdir}/%{name}-%{version} \
-	--disable-rpath \
 	--enable-interfaces="c++ c %{?with_ocaml:ocaml} %{?with_java:java} %{?with_gprolog:gnu_prolog} %{?with_swi_pl:swi_prolog} %{?with_yap_pl:yap_prolog}"
 
 %{__make}
@@ -443,7 +445,9 @@
 %files -n ocaml-ppl
 %defattr(644,root,root,755)
 %doc interfaces/OCaml/README.ocaml
+%{_libdir}/%{name}/ppl_ocaml.a
 %{_libdir}/%{name}/ppl_ocaml.cma
+%{_libdir}/%{name}/ppl_ocaml.cmxa
 %{_libdir}/%{name}/ppl_ocaml.cmi
 %{_libdir}/%{name}/ppl_ocaml_globals.cmi
 
@@ -474,6 +478,9 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.6  2012/03/15 19:14:55  qboosh
+- enable ocaml by default; needs ocaml-gmp module
+
 Revision 1.5  2012/03/14 17:45:48  qboosh
 - build java binding
 
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/ppl/ppl.spec?r1=1.5&r2=1.6&f=u