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:

   1 sudo apt install g++ make flex bison
   2 git clone https://github.com/KCL-Planning/VAL.git
   3 cd VAL
   4 # Newer VAL versions need time stamps (https://github.com/KCL-Planning/VAL/issues/46)
   5 # and they fail to validate the data network domain of IPC 2018
   6 # (https://github.com/KCL-Planning/VAL/issues/48), so we use an older version.
   7 git checkout a5565396007eee73ac36527fbf904142b3077c74
   8 make clean  # Remove old binaries.
   9 sed -i 's/-Werror //g' Makefile  # Ignore warnings.
  10 make

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).

FastDownward: SettingUpVal (last edited 2020-07-22 15:23:55 by SilvanSievers)