Failure to build on riscv64
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
fenics-dolfinx (Ubuntu) |
Invalid
|
Undecided
|
Unassigned | ||
openmpi (Ubuntu) |
Fix Committed
|
Undecided
|
Unassigned |
Bug Description
Building for riscv64 fails:
https:/
The problematic line is in debian/
Package libpetsc-
file /usr/lib/
#define PETSC_USE_COMPLEX 1
Package libpetsc-
file /usr/lib/
PETSC_USE_COMPLEX 1 is not defined
It seems that for riscv64 we are somehow using the wrong header when calling check_symbol_
pkg_search_
does not specify if you are looking for the real or the complex version of the pkg-config file. Maybe setting CMAKE_PREFIX_PATH could help.
tags: | added: fr-3176 |
This was fixed by https:/ /launchpad. net/ubuntu/ +source/ openmpi/ 4.1.4-3ubuntu2
It looks like openmpi 4.1.4-3ubuntu1 built with pmix 4.1.2-2ubuntu2 on riscv64, but 4.2.2-1 on the other architectures.