search

mixbytes / zkllvm-doomreplay

zkllvm proving of Doom videogame state transition
GNU General Public License v2.0
0 stars 0 forks source link

[BLOCKER] Deal with "bool", "boolean" and old C standards #22

Open BoogerWooger opened 1 year ago

BoogerWooger commented 1 year ago

we compile Doom using standard C99 (when "true" and "false" weren't reserved words). "boolean" typedef is here: https://github.com/mixbytes/zkllvm-doomreplay/blob/584155e831d5897d27e12ecf21b4aaa0d6ac8d3f/zkldoom/doomtype.h#L80-L85

In the same time ZKLLVM's stdlib uses type "bool"(added in later standards) in ctype.h header.

Need to find a workaround for this problem

BoogerWooger commented 1 year ago

still paused - will deal with it when multiple files will be linked