[packages/ppl] - added ocaml_opt bcond

baggins baggins at pld-linux.org
Sun Jan 4 15:04:48 CET 2015


commit acf9e8491945a7f8f48b907833f679ce2a2cf0a1
Author: Jan Rękorajski <baggins at pld-linux.org>
Date:   Sun Jan 4 14:04:37 2015 +0000

    - added ocaml_opt bcond

 ppl.spec | 23 ++++++++++++++---------
 1 file changed, 14 insertions(+), 9 deletions(-)
---
diff --git a/ppl.spec b/ppl.spec
index 7041cc6..eee7ef1 100644
--- a/ppl.spec
+++ b/ppl.spec
@@ -7,19 +7,24 @@
 # - proprietary: sicstus prolog
 #
 # Conditional build:
-%bcond_without	java	# Java bindings
-%bcond_without	ocaml	# OCaml bindings
-%bcond_with	ciao	# Ciao Prolog interface
-%bcond_without	gprolog	# GNU Pprolog interface
-%bcond_without	swipl	# SWI-Prolog interface
-%bcond_with	yap	# Yap prolog interface
-%bcond_with	xsb	# XSB prolog interface
+%bcond_without	java		# Java bindings
+%bcond_without	ocaml		# OCaml bindings
+%bcond_without	ocaml_opt	# OCaml bindings native/opt
+%bcond_with	ciao		# Ciao Prolog interface
+%bcond_without	gprolog		# GNU Pprolog interface
+%bcond_without	swipl		# SWI-Prolog interface
+%bcond_with	yap		# Yap prolog interface
+%bcond_with	xsb		# XSB prolog interface
 
 %ifnarch %{ix86} %{x8664} alpha ppc64
 # GNU Prolog not available
 %undefine	with_gprolog
 %endif
 
+%ifarch x32
+%undefine	with_ocaml_opt
+%endif
+
 Summary:	The Parma Polyhedra Library: a library of numerical abstractions
 Summary(pl.UTF-8):	Parma Polyhedra Library - biblioteka abstrakcji matematycznych
 Name:		ppl
@@ -557,9 +562,9 @@ rm -rf $RPM_BUILD_ROOT
 %files -n ocaml-ppl
 %defattr(644,root,root,755)
 %doc interfaces/OCaml/README.ocaml
-%{_libdir}/%{name}/ppl_ocaml.a
+%{?with_ocaml_opt:%{_libdir}/%{name}/ppl_ocaml.a}
 %{_libdir}/%{name}/ppl_ocaml.cma
-%{_libdir}/%{name}/ppl_ocaml.cmxa
+%{?with_ocaml_opt:%{_libdir}/%{name}/ppl_ocaml.cmxa}
 %{_libdir}/%{name}/ppl_ocaml.cmi
 %{_libdir}/%{name}/ppl_ocaml_globals.cmi
 
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/ppl.git/commitdiff/acf9e8491945a7f8f48b907833f679ce2a2cf0a1



More information about the pld-cvs-commit mailing list