mirror of
https://github.com/engineer-man/piston.git
synced 2025-06-07 18:56:26 +02:00
fix deno and haskell and jelly
This commit is contained in:
parent
a7fdbca30b
commit
ca52e04bbd
3 changed files with 5 additions and 4 deletions
|
@ -1,7 +1,7 @@
|
||||||
cd /tmp/$2
|
cd /tmp/$2
|
||||||
|
|
||||||
if [[ -z $(grep '[^[:space:]]' args.args) ]]; then
|
if [[ -z $(grep '[^[:space:]]' args.args) ]]; then
|
||||||
runuser runner$1 -c "cd /tmp/$2 ; timeout -s KILL 3 deno code.code"
|
runuser runner$1 -c "cd /tmp/$2 ; timeout -s KILL 3 deno run code.code"
|
||||||
else
|
else
|
||||||
runuser runner$1 -c "cd /tmp/$2 ; cat args.args | xargs -d '\n' timeout -s KILL 3 deno code.code"
|
runuser runner$1 -c "cd /tmp/$2 ; cat args.args | xargs -d '\n' timeout -s KILL 3 deno run code.code"
|
||||||
fi
|
fi
|
||||||
|
|
|
@ -1,3 +1,4 @@
|
||||||
cd /tmp/$2
|
cd /tmp/$2
|
||||||
|
mv code.code code.hs
|
||||||
timeout -s KILL 10 ghc -dynamic -o binary code.code
|
timeout -s KILL 10 ghc -dynamic -o binary code.code
|
||||||
runuser runner$1 -c "cd /tmp/$2 ; cat args.args | xargs -d '\n' timeout -s KILL 3 ./binary"
|
runuser runner$1 -c "cd /tmp/$2 ; cat args.args | xargs -d '\n' timeout -s KILL 3 ./binary"
|
||||||
|
|
|
@ -164,7 +164,7 @@ cd /opt && mkdir jelly && cd jelly
|
||||||
wget https://github.com/DennisMitchell/jellylanguage/archive/master.zip
|
wget https://github.com/DennisMitchell/jellylanguage/archive/master.zip
|
||||||
unzip master.zip
|
unzip master.zip
|
||||||
cd jellylanguage-master
|
cd jellylanguage-master
|
||||||
pip3.8 install --upgrade --user .
|
pip3.8 install .
|
||||||
|
|
||||||
# install julia
|
# install julia
|
||||||
# final binary: /opt/julia/julia-1.5.0/bin/julia
|
# final binary: /opt/julia/julia-1.5.0/bin/julia
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue