cmd='/usr/bin/cmake;-DCMAKE_PREFIX_PATH=/home/mdasoh/src/hdl_tools/cvc5/build/murxla-install/usr/local/;-DENABLE_BITWUZLA=OFF;-DENABLE_BOOLECTOR=OFF;-DENABLE_YICES=OFF;-GUnix Makefiles;<SOURCE_DIR><SOURCE_SUBDIR>'