Compare commits

..

No commits in common. "46edb3b478a5bc19c75605228e28bb9bf02ff95f" and "87b124c73761c5b6b573d5c0840a6561cc5c748d" have entirely different histories.

3 changed files with 2 additions and 7 deletions

View File

@ -1,4 +1,4 @@
#!/bin/bash
cd /tmp/$1
timeout -s KILL 3 xargs -a args.args -d '\n' NO_COLOR=true deno run code.code < stdin.stdin
timeout -s KILL 3 xargs -a args.args -d '\n' deno run code.code < stdin.stdin

View File

@ -5,9 +5,4 @@ cd /tmp/$1
sed 's/^.*$/:- forall((Goal = (\0), call(Goal)), (write(Goal), nl))./' stdin.stdin |
cat code.code - > code.pl
if [ -s args.args ]
then
echo ":- main($(jq --raw-input -c --slurp 'split("\n")' args.args))." >> code.pl
fi
timeout -s KILL 3 swipl -g true -t halt code.pl

View File

@ -2,4 +2,4 @@
cd /tmp/$1
cp code.code interim.scala
timeout -s KILL 10 xargs -a args.args -d '\n' scala -color never interim.scala < stdin.stdin
timeout -s KILL 10 xargs -a args.args -d '\n' scala interim.scala < stdin.stdin