1203
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 # Newer VAL versions need time stamps (https://github.com/KCL-Planning/VAL/issues/46) # and they fail to validate the data network domain of IPC 2018 # (https://github.com/KCL-Planning/VAL/issues/48), so we use an older version. git checkout a5565396007eee73ac36527fbf904142b3077c74 make clean # Remove old binaries. sed -i 's/-Werror //g' Makefile # Ignore warnings. make }}} 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}}}). |