rm commands.tmp
echo 'options C_COMPILER_CFG_SOURCE BUILT_IN_TAG' >> commands.tmp
echo 'options C_COMPILER_FAMILY_NAME GNU_Native' >> commands.tmp
echo 'options C_COMPILER_HIERARCHY_STRING GNU Native_7.4_C' >> commands.tmp
echo 'options C_COMPILER_OUTPUT_FLAG -o' >> commands.tmp
echo 'options C_COMPILER_TAG CUSTOM_GNU_C_74' >> commands.tmp
echo 'options C_COMPILER_VERSION_CMD gcc --version' >> commands.tmp
echo 'options C_COMPILE_CMD gcc -c -g' >> commands.tmp
echo 'options C_DEBUG_CMD gdb' >> commands.tmp
echo 'options C_DEFINE_LIST _VECTORCAST_ _HD_' >> commands.tmp
echo 'options C_EDG_FLAGS -w --gcc --gnu_version 60300 --mingw --define_macro='_Float128=float'' >> commands.tmp
echo 'options C_LINKER_VERSION_CMD ld --version' >> commands.tmp
echo 'options C_LINK_CMD gcc -g' >> commands.tmp
echo 'options C_LINK_OPTIONS -lm' >> commands.tmp
echo 'options C_PREPROCESS_CMD gcc -E -C' >> commands.tmp
echo 'options VCAST_ASSEMBLY_FILE_EXTENSIONS s' >> commands.tmp
echo 'options VCAST_COLLAPSE_STD_HEADERS COLLAPSE_SYSTEM_HEADERS' >> commands.tmp
echo 'options VCAST_COMMAND_LINE_DEBUGGER TRUE' >> commands.tmp
echo 'options VCAST_DISABLE_STD_WSTRING_DETECTION TRUE' >> commands.tmp
echo 'options VCAST_DISPLAY_UNINST_EXPR FALSE' >> commands.tmp
echo 'options VCAST_ENABLE_FUNCTION_CALL_COVERAGE FALSE' >> commands.tmp
echo 'options VCAST_HAS_LONGLONG TRUE' >> commands.tmp
echo 'options VCAST_PREPROCESS_PREINCLUDE $(VECTORCAST_DIR)/DATA/gnu_native/intrinsics.h' >> commands.tmp
echo 'options VCAST_TYPEOF_OPERATOR TRUE' >> commands.tmp
echo 'options WHITEBOX YES' >> commands.tmp
echo 'environment build INT_ACCEL.env' >> commands.tmp
echo '-eINT_ACCEL tools script run INT_ACCEL.tst' >> commands.tmp
echo '-eINT_ACCEL execute batch' >> commands.tmp
echo '-eINT_ACCEL reports custom management INT_ACCEL_management_report.html' >> commands.tmp
$VECTORCAST_DIR/clicast  -lC tools execute commands.tmp false
