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

riscv64: Add support for riscv64 

This patch add riscv64 build support:
1, ppl.hh and ppl_c.h are added riscv32/riscv64 support
2, increase release number.

If we did not fix (1), when we built another package which depends on
ppl (like polymake), will meet this issue:
bundled extension ppl ... failed
ERROR:
The bundled extension ppl was explicitly requested but failed to configure.
Please recheck your argument (--with-ppl=/usr) and build.riscv64/bundled.log .
You can also disable it by specifying --without-ppl instead.
error: Bad exit status from /var/tmp/rpm-tmp.* (%build)

Reviewed-by: Wei Fu <wefu@redhat.com>
Signed-off-by: Zhengyu He <hezhy472013@gmail.com>
This commit is contained in:
Zhengyu He 2023-08-04 02:39:10 +00:00 committed by Richard W.M. Jones
parent 54071918b4
commit ff10255d19
3 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ppl.hh
View File

@ -51,6 +51,10 @@ site: http://www.cs.unipr.it/ppl/ . */
#include "ppl-sparc64.hh"
#elif defined(__sparc__)
#include "ppl-sparc.hh"
#elif defined(__riscv) && (__riscv_xlen == 64)
#include "ppl-riscv64.hh"
#elif defined(__riscv) && (__riscv_xlen == 32)
#include "ppl-riscv32.hh"
#else
#error "This architecture is not supported by the currently installed ppl-devel packages."
#endif

5
ppl.spec
View File

@ -1,6 +1,6 @@
Name: ppl
Version: 1.2
Release: 31%{?dist}
Release: 32%{?dist}
Summary: The Parma Polyhedra Library: a library of numerical abstractions
License: GPL-3.0-or-later
URL: http://www.bugseng.com/ppl
@ -296,6 +296,9 @@ mv \
%endif
%changelog
* Wed Feb 28 2024 Zhengyu He <hezhy472013@gmail.com> - 1.2-32
- Add support for riscv64
* Wed Feb 14 2024 Jerry James <loganjerry@gmail.com> - 1.2-31
- Rebuild for ppl 9.2.1
- Stop building for 32-bit x86

4
ppl_c.h
View File

@ -51,6 +51,10 @@ site: http://www.cs.unipr.it/ppl/ . */
#include "ppl_c-sparc64.h"
#elif defined(__sparc__)
#include "ppl_c-sparc.h"
#elif defined(__riscv) && (__riscv_xlen == 64)
#include "ppl_c-riscv64.h"
#elif defined(__riscv) && (__riscv_xlen == 32)
#include "ppl_c-riscv32.h"
#else
#error "This architecture is not supported by the currently installed ppl-devel packages."
#endif