commit e92daf48e31b9f2ce14f2c7bb726b757de38ca8d
Author: Jan Rękorajski <[email protected]>
Date: Thu Apr 15 10:16:35 2021 +0200
- disable ocaml binndings requiring outdated gmp module
- rel 4
ppl.spec | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/ppl.spec b/ppl.spec
index 6b51a25..d79b4e2 100644
--- a/ppl.spec
+++ b/ppl.spec
@@ -8,7 +8,7 @@
#
# Conditional build:
%bcond_without java # Java bindings
-%bcond_without ocaml # OCaml bindings
+%bcond_with ocaml # OCaml bindings
%bcond_without ocaml_opt # OCaml bindings native/opt
%bcond_with ciao # Ciao Prolog interface
%bcond_without gprolog # GNU Pprolog interface
@@ -29,7 +29,7 @@ Summary: The Parma Polyhedra Library: a library of
numerical abstractions
Summary(pl.UTF-8): Parma Polyhedra Library - biblioteka abstrakcji
matematycznych
Name: ppl
Version: 1.2
-Release: 3
+Release: 4
License: GPL v3+
Group: Libraries
Source0:
ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/%{name}-%{version}.tar.xz
================================================================
---- gitweb:
http://git.pld-linux.org/gitweb.cgi/packages/ppl.git/commitdiff/e92daf48e31b9f2ce14f2c7bb726b757de38ca8d
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
