cmd='/usr/bin/cmake;-DCMAKE_C_COMPILER=/usr/bin/cc;-DGMP_LOCATION=/usr/lib/x86_64-linux-gnu;-DGMP_INCLUDE=/usr/include/x86_64-linux-gnu;-DCMAKE_CXX_COMPILER=/usr/bin/c++;-DSYLVAN_BUILD_DOCS=OFF;-DSYLVAN_BUILD_EXAMPLES=OFF;-DCMAKE_BUILD_TYPE=Release;-DCMAKE_POSITION_INDEPENDENT_CODE=ON;-DUSE_CARL=ON;-Dcarl_DIR=/home/ae/Desktop/artifact/carl/build;-DSYLVAN_PORTABLE=OFF;-DBoost_INCLUDE_DIRS=/usr/include;-DBUILD_SHARED_LIBS=OFF;-DSYLVAN_BUILD_TESTS=OFF;-GUnix Makefiles;<SOURCE_DIR><SOURCE_SUBDIR>'
