Boey Maun Suang 4d85cedf5a cvc4: Fix build failure from new bash 5.2 feature ... Per https://bodhi.fedoraproject.org/updates/FEDORA-2022-dc47174c36: This update fixes a failure to build with source with bash 5.2. Bash's `patsub_replacement` feature makes ampersand a special character when doing variable substitution, which was not previously the case. This update instructs bash to turn off the new behavior. We exclude the unrelated change in that Fedora update (i.e. using Python 3.11's `tomllib` instead of the PyPI `toml` package) since: - we package cvc4 with Python versions earlier than 3.11; and - since cvc4 is no longer being updated, sticking with the PyPI `toml` package causes no extra work in the future.		2023-02-18 14:07:28 -06:00
..
cvc4-bash-patsub-replacement.patch	cvc4: Fix build failure from new bash 5.2 feature	2023-02-18 14:07:28 -06:00
default.nix	cvc4: Fix build failure from new bash 5.2 feature	2023-02-18 14:07:28 -06:00
minisat-fenv.patch