Commit - rpms/cvc4 - f7c24c6ad72a8812d244313f13032fa23d393315

    Add -bash-patsub-replacement patch to fix FTBFS.
    
    This fixes the build with bash 5.2 (bz 2133760).
    Add -toml patch and drop python3-toml BR.

Build completed
success

Built as cvc4-1.8-13.fc38
2 years ago
Build completed
success

Built as cvc4-1.8-13.fc37
2 years ago

cvc4-bash-patsub-replacement.patch

file added

+30

cvc4-toml.patch

file added

+32

cvc4.spec

file modified

+9 -2

rpms / cvc4

Source Code

f7c24c6 Add -bash-patsub-replacement patch to fix FTBFS.

Authored and Committed by jjames 2 years ago

`f7c24c6` Add -bash-patsub-replacement patch to fix FTBFS.