packages: ppl/ppl.spec - enable ocaml by default; needs ocaml-gmp module
qboosh
qboosh at pld-linux.org
Thu Mar 15 20:15:00 CET 2012
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
More information about the pld-cvs-commit
mailing list