Skip to content

[HYPRE64] Install headers under include/HYPRE64#13948

Open
ViralBShah wants to merge 3 commits into
masterfrom
vs/hypre64-headers-subdir
Open

[HYPRE64] Install headers under include/HYPRE64#13948
ViralBShah wants to merge 3 commits into
masterfrom
vs/hypre64-headers-subdir

Conversation

@ViralBShah

Copy link
Copy Markdown
Member

Stock HYPRE_jll installs the same header names into ${includedir} — notably HYPRE_config.h, which records the integer width (HYPRE_BIGINT) — so HYPRE_jll and HYPRE64_jll were not co-installable: in a prefix with both, one config header silently shadows the other.

This moves HYPRE64's headers into their own include/HYPRE64/ subdirectory.

Motivation: PETSc (#13691) builds its 64-bit-PetscInt variants against HYPRE64_jll and the 32-bit ones against HYPRE_jll in the same build prefix; with this change it can pass --with-hypre-include=${includedir}/HYPRE64 (or plain ${includedir}) per variant instead of staging sed-patched header copies. The PETSc recipe will be updated accordingly once this ships; HYPRE64_jll currently has no other consumers.

🤖 Generated with Claude Code

Stock HYPRE_jll installs the same header names into ${includedir} --
notably HYPRE_config.h, which records the integer width (HYPRE_BIGINT)
-- so HYPRE_jll and HYPRE64_jll were not co-installable without one
silently shadowing the other in the prefix merge.  Move HYPRE64's
headers into their own include/HYPRE64/ subdirectory.

Motivation: PETSc (#13691) builds 64-bit-PetscInt variants against
HYPRE64_jll and 32-bit ones against HYPRE_jll in the same build
prefix; with this change it can pass
--with-hypre-include=${includedir}/HYPRE64 or ${includedir} per
variant instead of staging sed-patched header copies.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@ViralBShah ViralBShah enabled auto-merge (squash) June 11, 2026 15:34
@ViralBShah ViralBShah closed this Jun 12, 2026
auto-merge was automatically disabled June 12, 2026 17:50

Pull request was closed

@ViralBShah ViralBShah reopened this Jun 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant