941
Comment: update VAL instructions
|
← Revision 5 as of 2023-10-12 12:20:35 ⇥
0
Information was moved to BUILD.md in repository
|
Deletions are marked like this. | Additions are marked like this. |
Line 1: | Line 1: |
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: {{{#!highlight bash sudo apt install g++ make flex bison git clone https://github.com/KCL-Planning/VAL.git cd VAL git checkout 8d61593 # newer versions don't accept IPC format plans bash ./scripts/linux/build_linux64.sh all release }}} Don't forget to add the resulting {{{validate}}} binary to your {{{PATH}}}. == Building VAL on Windows == You will need to download [[http://sourceforge.net/projects/winflexbison/|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}}}). |