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
489 B
21 lines
489 B
#!/bin/bash
|
|
if [ $# -lt 1 ]; then
|
|
echo "missing json filename"
|
|
exit 1
|
|
fi
|
|
OUTPUT=`vm/Main0.hs -f $1`
|
|
if [ $? -eq 0 ]; then
|
|
read -p "Are you sure? [y/n]" -n 1 -r
|
|
echo
|
|
if [[ $REPLY =~ ^[Yy]$ ]]; then
|
|
echo "submitting solution"
|
|
exit 1
|
|
curl --user :2aaFCkjNIDHAsAIh9iQHc+Y+FGhkM5Z0RQgpO6TL6EA= -X POST -H "Content-Type: application/json" \
|
|
-d $OUTPUT \
|
|
https://davar.icfpcontest.org/teams/235/solutions
|
|
else
|
|
echo "abort submission"
|
|
fi
|
|
else
|
|
echo "error in vm execution"
|
|
fi
|