-
Notifications
You must be signed in to change notification settings - Fork 15
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
probe makefile is broken on Linux #138
Comments
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 Do those instructions work for you? |
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.
The text was updated successfully, but these errors were encountered: