HomeIsabelle/Phabricator

update build script for veriT 2020.10-rmx

Description

update build script for veriT 2020.10-rmx

Details

Provenance
Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de>Authored on
Parents
rISABELLEaca85e8d873d: more robust;
Branches
Unknown
Tags
Unknown