recent ptscotch-bison patch MR5720 prevents build with libptscotch if bison is not present
Commit c2e5504b recently merged MR 5720, "ptscotch: bison is required only for --download-ptscotch - not --with-ptscotch-lib etc.. " The patch appears in 3.18.1.
I'm not certain if the patch is working as intended. It causes configuration to fail if bison is not installed, with the message Package BISON needed by PTScotch failed to configure.
.
bison was not previously (PETSc 3.17.5) required when ptscotch configuration is made using --with-ptscotch-lib
. The build proceeded fine using local installation of ptscith. MR 5720 now causes configuration to fail if bison is not present.
But the title of MR5720 implies the previous behaviour should have been fine. "ptscotch: bison is required only for --download-ptscotch - not --with-ptscotch-lib". That is, the title implies that configuration using --with-ptscotch-lib shouldn't be failing if bison is missing (and previously it did not fail).
Is the logic in MR5720 incorrect, and needs to be reverted or corrected?
I'm testing on debian unstable, building in a chroot (pbuilder).