rpms
/
ppl
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Gprolog now supports aarch64.

This commit is contained in:
Jerry James 2022-02-14 15:11:17 -07:00
parent d9a096e9c7
commit 5850a19f8e
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ppl.spec
View File

@ -64,7 +64,7 @@ the program ppl_lcdd for vertex/facet enumeration of convex polyhedra,
and the parametric integer programming solver ppl_pips.
# This is the explicit list of arches gprolog supports
%ifarch x86_64 %{ix86} ppc alpha
%ifarch x86_64 %{ix86} ppc alpha aarch64
%package gprolog
# The `gprolog' package is not available on ppc64:
# the GNU Prolog interface must thus be disabled for that architecture.
@ -78,7 +78,7 @@ Install this package if you want to use the library in GNU Prolog programs.
%endif
# This is the explicit list of arches gprolog supports
%ifarch x86_64 %{ix86} ppc alpha
%ifarch x86_64 %{ix86} ppc alpha aarch64
%package gprolog-static
Summary: The static archive for the GNU Prolog interface of the Parma Polyhedra Library
Requires: %{name}-gprolog%{?_isa} = %{version}-%{release}