Differences between revisions 1 and 5 (spanning 4 versions)
⇤ ← Revision 1 as of 2019-06-04 16:20:45 →
Size: 936
Editor: GuillemFrances
Comment:
← 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
make clean # Remove old build artifacts and 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}}}).