search

nimble-code / Modex

a model extractor, to automatically extract Spin verification models from multi-threaded C code
18 stars 3 forks source link

install #5

Closed zhang-cell closed 2 years ago

zhang-cell commented 2 years ago

When I download modex in cygwin, it displays:“fatal error: gram.tab.h: No such file or directory compilation terminated.”do you know why?thanks...

nimble-code commented 2 years ago

when you compile? you'll nee yacc, or an equivalent eg byacc, to generate the parser files (gram.tab.c and gran.tab.h)

kikishao commented 2 years ago

When I download modex in cygwin, it displays:“fatal error: gram.tab.h: No such file or directory compilation terminated.”do you know why?thanks...

I installed byacc, but still encountered the same problem, how did you solve it in the end?

nimble-code commented 2 years ago

those two files are created by yacc (or byacc or bison, if you have those installed instead of yacc. bison -v -d gram.y