991
Comment: Checkout old version of VAL
|
941
update VAL instructions
|
Deletions are marked like this. | Additions are marked like this. |
Line 11: | Line 11: |
git checkout a5565396007eee73ac36527fbf904142b3077c74 make clean # Remove old build artifacts and binaries. sed -i 's/-Werror //g' Makefile # Ignore warnings. make |
git checkout 8d61593 # newer versions don't accept IPC format plans bash ./scripts/linux/build_linux64.sh all release |
Back to the HomePage.
Setting Up VAL
On Linux, you should be able to set up the VAL plan validation software by following these steps:
Don't forget to add the resulting validate binary to your PATH.
Building VAL on Windows
You will need to download Flex and Bison.
Building VAL on macOS
If your compiler doesn't find flex or bison, your include directories might be in a non-standard location. In this case you probably have to specify where to look for includes and libraries in VAL's Makefile (probably /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr).