commit acf9e8491945a7f8f48b907833f679ce2a2cf0a1
Author: Jan Rękorajski <[email protected]>
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
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
