Skip to content

GitLab

F
FloVer
Commit e01c7e3f authored by Joachim Bard's avatar Joachim Bard
Browse files
Options

make eval scripts more platform independent

parent 47a6769d
Hide whitespace changes
Inline Side-by-side
Showing with 11 additions and 2 deletions
scripts/eval_interval.sh
View file @ e01c7e3f
......@@ -16,7 +16,7 @@ TIMECMD=""
unameOut="$(uname -s)"
case "${unameOut}" in
Linux*) TIMECMD=/usr/bin/time;;
Darwin*) machine=/usr/local/bin/time;;
Darwin*) TIMECMD=/usr/local/bin/time;;
# CYGWIN*) machine=Cygwin;;
# MINGW*) machine=MinGw;;
# *) machine="UNKNOWN:${unameOut}"
......
scripts/eval_smt.sh
View file @ e01c7e3f
......@@ -11,7 +11,16 @@
# #
##############################################################################
TIMECMD=/usr/local/bin/time
TIMECMD=""
unameOut="$(uname -s)"
case "${unameOut}" in
Linux*) TIMECMD=/usr/bin/time;;
Darwin*) TIMECMD=/usr/local/bin/time;;
# CYGWIN*) machine=Cygwin;;
# MINGW*) machine=MinGw;;
# *) machine="UNKNOWN:${unameOut}"
esac
#PROVERS=(coq hol4 binary)
PROVERS=(coq)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment