-
Notifications
You must be signed in to change notification settings - Fork 100
Open
Description
I faced this error when trying to use cilly on Linux with gcc 8, didn't find much related to this issue from Google, but finally was able to fix the prob. So just want to put the solution here just in case others face the same issue.
The problem seems to be that cilly doesn't like gcc 8, so telling cilly to use an older gcc version works.
$ cilly --merge -c ~/Dropbox/git/WSymtraces/symtracesOld/programs/nla/cohendiv.c
Cannot find GNUCC version
debian Fri Apr 12:21:43:15 (2261) /home/SHARED/Devel/CIL/cil-1.7.3
$ cilly --gcc=/usr/bin/gcc-8 --merge -c ~/Dropbox/git/WSymtraces/symtracesOld/programs/nla/cohendiv.c
Cannot find GNUCC version
debian Fri Apr 12:21:43:22 (2262) /home/SHARED/Devel/CIL/cil-1.7.3
$ cilly --gcc=/usr/bin/gcc-6 --merge -c ~/Dropbox/git/WSymtraces/symtracesOld/programs/nla/cohendiv.c
/usr/bin/gcc-6 -D_GNUCC -E -DCIL=1 /home/tnguyen/Dropbox/git/WSymtraces/symtracesOld/programs/nla/cohendiv.c -o /tmp/cil-HIhbdf4L.i
debian Fri Apr 12:21:43:30 (2263) /home/SHARED/Devel/CIL/cil-1.7.3
$ cilly --gcc=/usr/bin/gcc-4.9 --merge -c ~/Dropbox/git/WSymtraces/symtracesOld/programs/nla/cohendiv.c
/usr/bin/gcc-4.9 -D_GNUCC -E -DCIL=1 /home/tnguyen/Dropbox/git/WSymtraces/symtracesOld/programs/nla/cohendiv.c -o /tmp/cil-fuo0RgEZ.i
debian Fri Apr 12:21:43:34 (2264) /home/SHARED/Devel/CIL/cil-1.7.3
MuradAkh, e1iu and marvinlwc97
Metadata
Metadata
Assignees
Labels
No labels