Differences between revisions 4 and 5
Revision 4 as of 2020-07-22 15:23:55
Size: 1203
Comment: update VAL instructions
Revision 5 as of 2023-10-12 12:20:35
Size: 0
Editor: GabiRoeger
Comment: 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}}}).