Bug 2137875

Summary: e-acsl-gcc.sh uses lib instead of lib64
Product: [Fedora] Fedora Reporter: Jasper Vinkenvleugel <j.t.vinkenvleugel>
Component: frama-cAssignee: Jerry James <loganjerry>
Status: CLOSED ERRATA QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: unspecified Docs Contact:
Priority: unspecified    
Version: 37CC: Andre.MARONEZE, loganjerry
Target Milestone: ---   
Target Release: ---   
Hardware: x86_64   
OS: Linux   
Whiteboard:
Fixed In Version: frama-c-25.0-6.fc37 Doc Type: ---
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2022-11-10 22:19:01 UTC Type: Bug
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:
Embargoed:

Description Jasper Vinkenvleugel 2022-10-26 13:24:08 UTC 
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
Comment 1 Fedora Update System 2022-10-29 20:40:24 UTC 
FEDORA-2022-be9715ae92 has been submitted as an update to Fedora 37. https://bodhi.fedoraproject.org/updates/FEDORA-2022-be9715ae92
Comment 2 Fedora Update System 2022-10-30 19:22:10 UTC 
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.
Comment 3 Fedora Update System 2022-11-10 22:19:01 UTC 
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.