vara-buildsetup

This tool manages your research tool installations.

usage: vara-buildsetup [-h] [-c] [-i] [-u] [-b]
                       [--buildtype [{dev,opt,pgo,dbg,dev-san}]]
                       [--version [VERSION]]
                       {phasar,vara,szzunleashed} [sourcelocation]
                       [installprefix]

positional arguments:
  {phasar,vara,szzunleashed}
                        The research tool one wants to setup
  sourcelocation        Folder to store tool sources. (Optional)
  installprefix         Folder to install LLVM. (Optional)

optional arguments:
  -h, --help            show this help message and exit
  -c, --config          Only create a VaRA config file.
  -i, --init            Initializes VaRA and all components.
  -u, --update          Updates VaRA and all components.
  -b, --build           Builds VaRA and all components.
  --buildtype [{dev,opt,pgo,dbg,dev-san}]
                        Build type to use for the tool build configuration.
  --version [VERSION]   Version to download.

The buildsetup tool allows you to initialize different research tools that are included an managed with the tool suite in the same manner. For example, see below how one would initialize and build VaRA.

For a clean setup, you would typically first initialize VaRA with:

vara-buildsetup vara -i

and then trigger the build process with:

vara-buildsetup vara -b

You can upgrade VaRA to a new version with:

vara-buildsetup vara -u

If you want to upgrade to a specific release, use the --version flag:

vara-buildsetup vara -u --version release_100

Don’t forget to re-build VaRA after an upgrade!