Bug 2524375 - petsc-devel and petsc64-devel do not ship petsc/mpiuni headers
Summary: petsc-devel and petsc64-devel do not ship petsc/mpiuni headers
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: petsc
Version: rawhide
Hardware: Unspecified
OS: Linux
unspecified
medium
Target Milestone: ---
Assignee: Antonio T. sagitter
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: 2507022
TreeView+ depends on / blocked
 
Reported: 2026-08-26 12:43 UTC by Ali Erdinc Koroglu
Modified: 2026-09-11 18:50 UTC (History)
1 user (show)

Fixed In Version: petsc-3.24.6-5.el10_4 petsc-3.23.6-8.fc43 petsc-3.24.6-4.fc44 petsc-3.25.4-2.fc45
Clone Of:
Environment:
Last Closed: 2026-09-05 00:26:29 UTC
Type: ---
Embargoed:


Attachments (Terms of Use)

Description Ali Erdinc Koroglu 2026-08-26 12:43:57 UTC
The serial (petsc) and 64-bit-integer (petsc64) flavours are configured
with --with-mpi=0, so PETSC_HAVE_MPIUNI is defined in petscconf.h and
petscsys.h unconditionally does:

    #include <petsc/mpiuni/mpi.h>

That directory is not staged into the buildroot for either flavour, so
including any PETSc header against petsc-devel or petsc64-devel fails.

Version-Release number of selected component (if applicable):
petsc-3.25.4-1.fc45 (and rawhide)

Reproducible: Always

Steps to Reproduce:
1. dnf install petsc-devel
2. echo '#include <petsc.h>' > t.c
3. gcc -I/usr/include/petsc -c t.c
Actual Results:
/usr/include/petsc/petscsys.h:122:12: fatal error: petsc/mpiuni/mpi.h:
No such file or directory

Expected Results:
Compiles.

Additional Information:
Upstream installs the mpiuni headers exactly when the build uses MPIUni
(config/install.py, installIncludes):

    if not self.mpi.usingMPIUni:
      exclude.append('mpiuni')

The spec hand-copies the include tree instead of using upstream's install
target, and has the rule inverted: mpiuni is copied into the two
--with-mpi=1 flavours, which never use it, and omitted from the two
--with-mpi=0 flavours, which require it.

From the petsc-3.25.4-1.fc45 x86_64 build.log:

  2534  configure --with-mpi=0  ->   2959  Using mpi.h: mpiuni
  4707  configure --with-mpi=0  ->   5129  Using mpi.h: mpiuni
  6992  configure --with-mpi=1  ->   7476  Using mpi.h: .../openmpi-x86_64/mpi.h
  9652  configure --with-mpi=1  ->  10158  Using mpi.h: .../mpich-x86_64/mpi.h

 12391  cp -a include/petsc/mpiuni .../usr/include/openmpi-x86_64/petsc/
 12712  cp -a include/petsc/mpiuni .../usr/include/mpich-x86_64/petsc/

with no copy to %{_includedir}/petsc/ or %{_includedir}/petsc64/.

This currently causes an FTBFS in getdp-3.6.0-17.fc46.

Comment 1 Ali Erdinc Koroglu 2026-08-26 12:52:39 UTC
Could you please review my PR for this fix : https://src.fedoraproject.org/rpms/petsc/pull-request/11

Comment 2 Fedora Update System 2026-08-27 18:27:11 UTC
FEDORA-2026-27422b4f76 (petsc-3.24.6-4.fc44) has been submitted as an update to Fedora 44.
https://bodhi.fedoraproject.org/updates/FEDORA-2026-27422b4f76

Comment 3 Fedora Update System 2026-08-27 18:27:12 UTC
FEDORA-2026-fec1533d95 (petsc-3.25.4-2.fc45) has been submitted as an update to Fedora 45.
https://bodhi.fedoraproject.org/updates/FEDORA-2026-fec1533d95

Comment 4 Fedora Update System 2026-08-27 18:27:13 UTC
FEDORA-2026-511c212155 (petsc-3.23.6-8.fc43) has been submitted as an update to Fedora 43.
https://bodhi.fedoraproject.org/updates/FEDORA-2026-511c212155

Comment 5 Fedora Update System 2026-08-28 01:37:22 UTC
FEDORA-2026-511c212155 has been pushed to the Fedora 43 testing repository.
Soon you'll be able to install the update with the following command:
`sudo dnf upgrade --enablerepo=updates-testing --refresh --advisory=FEDORA-2026-511c212155`
You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2026-511c212155

See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.

Comment 6 Fedora Update System 2026-08-28 01:52:30 UTC
FEDORA-EPEL-2026-79786c5fd4 has been pushed to the Fedora EPEL 10.4 testing repository.

You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-EPEL-2026-79786c5fd4

See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.

Comment 7 Fedora Update System 2026-08-28 02:00:50 UTC
FEDORA-2026-27422b4f76 has been pushed to the Fedora 44 testing repository.
Soon you'll be able to install the update with the following command:
`sudo dnf upgrade --enablerepo=updates-testing --refresh --advisory=FEDORA-2026-27422b4f76`
You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2026-27422b4f76

See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.

Comment 8 Fedora Update System 2026-08-28 02:20:56 UTC
FEDORA-2026-fec1533d95 has been pushed to the Fedora 45 testing repository.
Soon you'll be able to install the update with the following command:
`sudo dnf upgrade --enablerepo=updates-testing --refresh --advisory=FEDORA-2026-fec1533d95`
You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2026-fec1533d95

See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.

Comment 9 Fedora Update System 2026-09-05 00:26:29 UTC
FEDORA-EPEL-2026-79786c5fd4 (petsc-3.24.6-5.el10_4) has been pushed to the Fedora EPEL 10.4 stable repository.
If problem still persists, please make note of it in this bug report.

Comment 10 Fedora Update System 2026-09-05 00:52:31 UTC
FEDORA-2026-511c212155 (petsc-3.23.6-8.fc43) has been pushed to the Fedora 43 stable repository.
If problem still persists, please make note of it in this bug report.

Comment 11 Fedora Update System 2026-09-05 01:11:39 UTC
FEDORA-2026-27422b4f76 (petsc-3.24.6-4.fc44) has been pushed to the Fedora 44 stable repository.
If problem still persists, please make note of it in this bug report.

Comment 12 Fedora Update System 2026-09-11 18:50:59 UTC
FEDORA-2026-fec1533d95 (petsc-3.25.4-2.fc45) has been pushed to the Fedora 45 stable repository.
If problem still persists, please make note of it in this bug report.


Note You need to log in before you can comment on or make changes to this bug.