Description of problem: In e-acsl-gcc.sh, EACSL_LIB is set to be "$BASEDIR/../lib/frama-c/e-acsl", but this directory does not exist. According to "sudo dnf provides */libeacsl-dlmalloc.a" the correct directory should in fact be "$BASEDIR/../lib64/frama-c/e-acsl". Version-Release number of selected component (if applicable): frama-c-25.0-4.fc37 How reproducible: Steps to Reproduce: 1. Run "e-acsl-gcc.sh <test.c> -c -O <test>" in the terminal. Actual results: "/usr/bin/ld: cannot find /usr/bin/../lib/frama-c/e-acsl/libeacsl-dlmalloc.a: No such file or directory" Expected results: Compilation of the source file. Additional info: To fix this issue for me, I ran the following command that cats the script, changes the value for EACSL_LIB and BASEDIR and then moves it to ~/.local.bin: cat $(which e-acsl-gcc.sh) | sed 's/\/lib\//\/lib64\//g' | sed 's/BASEDIR="$(realpath `dirname $0`)"/BASEDIR="\/usr\/bin"/g' > e-acsl-gcc.sh; chmod +x e-acsl-gcc.sh; mv e-acsl-gcc.sh $HOME/.local/bin; source $HOME/.bashrc
FEDORA-2022-be9715ae92 has been submitted as an update to Fedora 37. https://bodhi.fedoraproject.org/updates/FEDORA-2022-be9715ae92
FEDORA-2022-be9715ae92 has been pushed to the Fedora 37 testing repository. Soon you'll be able to install the update with the following command: `sudo dnf upgrade --enablerepo=updates-testing --refresh --advisory=FEDORA-2022-be9715ae92` You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2022-be9715ae92 See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.
FEDORA-2022-be9715ae92 has been pushed to the Fedora 37 stable repository. If problem still persists, please make note of it in this bug report.