19 lines
291 B
Bash
Executable File
19 lines
291 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
goto_cc=$1
|
|
cbmc=$2
|
|
is_windows=$3
|
|
|
|
options=${*:4:$#-4}
|
|
name=${*:$#}
|
|
name=${name%.c}
|
|
|
|
if [[ "${is_windows}" == "true" ]]; then
|
|
"${goto_cc}" "${name}.c"
|
|
mv "${name}.exe" "${name}.gb"
|
|
else
|
|
"${goto_cc}" "${name}.c" -o "${name}.gb"
|
|
fi
|
|
|
|
"${cbmc}" "${name}.gb" ${options}
|