Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CIL does not compile with GCC 7 (patch attached) #30

Open
rwmjones opened this issue Feb 14, 2017 · 3 comments
Open

CIL does not compile with GCC 7 (patch attached) #30

rwmjones opened this issue Feb 14, 2017 · 3 comments

Comments

@rwmjones
Copy link

With gcc 7:

$ gcc -dumpversion
7

The attached patch fixed it for me.

@rwmjones
Copy link
Author

Apparently you cannot attach a patch to github ...

@rwmjones
Copy link
Author

--- cil-1.7.3/lib/App/Cilly.pm.in	2013-07-24 16:07:11.000000000 +0100
+++ cil-1.7.3.new/lib/App/Cilly.pm.in	2017-02-14 13:02:52.517194526 +0000
@@ -2220,7 +2220,7 @@
          . join(' ', @{$self->{PPARGS}}) ." |") 
         || die "Cannot start GNUCC";
     while(<VER>) {
-        if($_ =~ m|^(\d+\S+)| || $_ =~ m|^(egcs-\d+\S+)|) {
+        if($_ =~ m|^(\d+\S+)| || $_ =~ m|^(\d+)$| || $_ =~ m|^(egcs-\d+\S+)|) {
             $cversion = "gcc_$1";
             close(VER) || die "Cannot start GNUCC\n";
             $self->{CVERSION} = $cversion;

@MartinNowack
Copy link

@rwmjones This patch helped me also for gcc 8. Thanks a lot!

andersfischernielsen added a commit to andersfischernielsen/eba-cil that referenced this issue Oct 26, 2020
HansolChoe added a commit to HansolChoe/crestive that referenced this issue Dec 3, 2020
Current cil does not support GCC version 7+
Find detailed information at git hub issue page:
"cil-project/cil#30"
andersfischernielsen pushed a commit to andersfischernielsen/eba-cil that referenced this issue Dec 14, 2020
Used Bytes.set/get for in-place string modification across project.
Strings are immutable in recent OCaml versions, and Bytes should be used instead. This will allow the project to build on recent OCaml versions.

Fix encoding issues

Reencode file to allow make

Implement productions and matching Cabs.ml types.
Add patch in cil-project/cil#30 to allow compilation.

Implement _Generic expression visiting & extraction of their type(s)

Simplify assoc. list type checks in _Generic

Improve code explanation for understandability

Implement simplified type checks for assoc. list in _Generic types

Use built-in type comparison. Fix bug in default case expression generation.
IagoAbal pushed a commit to IagoAbal/eba-cil that referenced this issue Jan 2, 2021
IagoAbal pushed a commit to IagoAbal/eba-cil that referenced this issue Jan 2, 2021
IagoAbal pushed a commit to IagoAbal/eba-cil that referenced this issue Jan 2, 2021
IagoAbal pushed a commit to IagoAbal/eba-cil that referenced this issue May 16, 2021
Used Bytes.set/get for in-place string modification across project.
Strings are immutable in recent OCaml versions, and Bytes should be used instead. This will allow the project to build on recent OCaml versions.

Fix encoding issues

Reencode file to allow make

Implement productions and matching Cabs.ml types.
Add patch in cil-project/cil#30 to allow compilation.

Implement _Generic expression visiting & extraction of their type(s)

Simplify assoc. list type checks in _Generic

Improve code explanation for understandability

Implement simplified type checks for assoc. list in _Generic types

Use built-in type comparison. Fix bug in default case expression generation.
vesalvojdani added a commit to goblint/cil that referenced this issue Oct 13, 2021
pdreiter added a commit to pdreiter/cil that referenced this issue Apr 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants