chore: sync with latest woj-sandbox
This commit is contained in:
parent
d95c8f9ea3
commit
b595ec95ba
@ -10,6 +10,5 @@ cmake .. -DCMAKE_BUILD_TYPE=Release || exit 1
|
||||
make -j || exit 1
|
||||
|
||||
cd ../..
|
||||
cp woj-sandbox/build/libwoj_sandbox.so . || exit 1
|
||||
cp woj-sandbox/build/woj_launcher . || exit 1
|
||||
rm -rf woj-sandbox || exit 1
|
||||
|
@ -63,7 +63,7 @@ for test_num in $(seq "$Info_Num"); do
|
||||
--time_limit=$Info_Limit_Time \
|
||||
--sandbox_path=/woj/framework/scripts/libwoj_sandbox.so \
|
||||
--sandbox_template=$3 \
|
||||
--sandbox_action=nothing \
|
||||
--sandbox_action=ret \
|
||||
--file_input=/woj/problem/data/input/$test_num.input \
|
||||
--file_output=/woj/user/$test_num.out.usr \
|
||||
--file_info=/woj/user/$test_num.info \
|
||||
|
@ -18,3 +18,6 @@ ENV WOJ_SANDBOX=/woj/framework/scripts/libwoj_sandbox.so
|
||||
ENV TEMPLATE=/woj/framework/template
|
||||
ENV TESTLIB=/woj/framework/template/testlib
|
||||
ENV PREFIX=/woj/problem
|
||||
|
||||
# Permission
|
||||
USER 1000:1000
|
||||
|
@ -4,5 +4,7 @@ FROM docker.io/library/ubuntu:22.04
|
||||
WORKDIR /woj/problem
|
||||
RUN mkdir -p /woj/framework/scripts
|
||||
|
||||
COPY --from=builder /woj/framework/scripts/libwoj_sandbox.so /woj/framework/scripts/
|
||||
COPY --from=builder /woj/framework/scripts/woj_launcher /woj/framework/scripts/
|
||||
|
||||
# Permission
|
||||
USER 1000:1000
|
||||
|
Loading…
Reference in New Issue
Block a user