search

cil-project / cil

C Intermediate Language
Other
348 stars 86 forks source link

unknown option '--param=allow-store-data-races' when building linux kernel #31

Open yrp604 opened 7 years ago

yrp604 commented 7 years ago

Newer gcc option that CIL doesn't seem to be aware of.

Commenting that out, it still fails on #12.

Are there plans to continue development on CIL or has the CIL repo moved elsewhere? It looks like the last update was around a year ago.

Thanks!