search

project-everest / everparse

Automated generation of provably secure, zero-copy parsers from format specifications
https://project-everest.github.io/everparse
Apache License 2.0
251 stars 15 forks source link

probe makefile is broken on Linux #138

Open mkravchik opened 6 months ago

mkravchik commented 6 months ago

I tried to build the probe project following its README - and it's broken. Besides EVERPARSE_HOME, other environment variables are missing (FSTAR_HOME, KRML_HOME). Moreover, 3d is running fstart.exe from bin (so you need to run it from a different directory), and fstar is just looking for z3, so it must be in the PATH.

tahina-pro commented 3 months ago

In fact, proper environment setup is required as described in steps 1, 4 and 5 of https://project-everest.github.io/everparse/build.html#build-in-the-source-tree

Alternatively, this Makefile should work with an EverParse binary package created via make everparse (see https://project-everest.github.io/everparse/build.html#build-a-binary-package), by replacing the value of EVERPARSE_EXE with the path to the everparse.sh (resp. everparse.cmd) script found in the Linux (resp. Windows) binary package.

Do those instructions work for you?