You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
21 lines
465 B
21 lines
465 B
#!/bin/bash
|
|
# A POSIX variable
|
|
OPTIND=1 # Reset in case getopts has been used previously in the shell.
|
|
|
|
# Initialize our own variables:
|
|
memory=""
|
|
|
|
while getopts "h?m:f:t:p:c:" opt; do
|
|
case "$opt" in
|
|
h|\?)
|
|
echo "Usage: main -f problem.json -t time -m memory -p powerPhrase"
|
|
exit 0
|
|
;;
|
|
m) memory="+RTS -M"$OPTARG"m"
|
|
;;
|
|
esac
|
|
done
|
|
|
|
cd "$( dirname "${BASH_SOURCE[0]}" )"
|
|
dist/build/icfp2015/icfp2015 "$@" $memory
|
|
|