search

goblint / cil

C Intermediate Language
https://goblint.github.io/cil/
Other
40 stars 16 forks source link

fix: pass -s flag to emcc #138

Closed HakonHarnes closed 1 year ago

HakonHarnes commented 1 year ago

Related issue: #137

michael-schwarz commented 1 year ago

Thank you for the PR 🎉 I'll have a look at it after the weekend!

stilscher commented 1 year ago

Thank you for your PR. We noticed the flag is specific to emcc and not supported by gcc. Since we are a small research group we can not endeavor to support several compilers. Rather than enhancing CIL we would suggest to write a script that wraps emcc and adds the needed flags. You can then supply this script as the compiler to CIL, as you currently do with emcc. Sorry we could not be more helpful.