search

cil-project / cil

C Intermediate Language
Other
348 stars 85 forks source link

cilly: Cannot find GNUCC version #46

Open nguyenthanhvuh opened 5 years ago

nguyenthanhvuh commented 5 years ago

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
MartinNowack commented 4 years ago

The patch proposed in #30 fixes this issue.

upstreamzy commented 4 years ago

But I faced this error when trying to use cilly on Linux with gcc 7