Skip to content
This repository has been archived by the owner on Dec 11, 2024. It is now read-only.

Commit

Permalink
fix dockerfile
Browse files Browse the repository at this point in the history
  • Loading branch information
wu-kan committed Jan 12, 2024
1 parent a59f001 commit 59be0ee
Showing 1 changed file with 16 additions and 16 deletions.
32 changes: 16 additions & 16 deletions Dockerfile
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
# syntax=docker/dockerfile:1.4
ARG BASE_IMAGE=ubuntu
ARG SYSU_SOURCE_DIR=/opt/SYsU-lang
ARG SYSU_INSTALL_PREFIX=/opt/sysu
FROM ${BASE_IMAGE}
WORKDIR /autograder
WORKDIR ${SYSU_SOURCE_DIR}
COPY <<build_install.sh <<run.sh . ${SYSU_SOURCE_DIR}
ENV SYSU_SOURCE_DIR=/opt/SYsU-lang
ENV SYSU_INSTALL_PREFIX=/opt/sysu
WORKDIR \$SYSU_SOURCE_DIR
COPY <<build_install.sh <<run.sh . \$SYSU_SOURCE_DIR
#!/bin/sh
rm -rf $2
cmake -G Ninja \\
Expand All @@ -21,17 +21,17 @@ cmake --build $2/build
cmake --build $2/build -t install
build_install.sh
#!/bin/sh
python3 -m tarfile -e /autograder/submission/*.tar.gz /opt/submission
rm -rf ${SYSU_SOURCE_DIR}/generator
cp -r /opt/submission/*-Source/generator ${SYSU_SOURCE_DIR}
rm -rf ${SYSU_SOURCE_DIR}/optimizer
cp -r /opt/submission/*-Source/optimizer ${SYSU_SOURCE_DIR}
rm -rf /opt/submission
\${SYSU_SOURCE_DIR}/build_install.sh
python3 -m tarfile -e /autograder/submission/*.tar.gz \$SYSU_SOURCE_DIR/submission
rm -rf \$SYSU_SOURCE_DIR/generator
cp -r \$SYSU_SOURCE_DIR/submission/*-Source/generator \$SYSU_SOURCE_DIR
rm -rf \$SYSU_SOURCE_DIR/optimizer
cp -r \$SYSU_SOURCE_DIR/submission/*-Source/optimizer \$SYSU_SOURCE_DIR
rm -rf \$SYSU_SOURCE_DIR/submission
\$SYSU_SOURCE_DIR/build_install.sh
mkdir -p /autograder/results
sysu-compiler \\
--unittest=benchmark_generator_and_optimizer_1 \\
"${SYSU_SOURCE_DIR}/**/*.sysu.c" >/autograder/results/results.json
"\$SYSU_SOURCE_DIR/**/*.sysu.c" >/autograder/results/results.json
run.sh
RUN <<EOF
apt-get update -y
Expand All @@ -42,11 +42,11 @@ apt-get install -y --no-install-recommends \
apt-get autoremove -y
apt-get clean -y
rm -rf /var/lib/apt/lists/*
cat \${SYSU_SOURCE_DIR}/run.sh
mv \${SYSU_SOURCE_DIR}/run.sh /autograder/run
cat \$SYSU_SOURCE_DIR/run.sh
mv \$SYSU_SOURCE_DIR/run.sh /autograder/run
chmod +x /autograder/run
chmod +x \${SYSU_SOURCE_DIR}/build_install.sh
\${SYSU_SOURCE_DIR}/build_install.sh \${SYSU_SOURCE_DIR} \${SYSU_INSTALL_PREFIX}
chmod +x \$SYSU_SOURCE_DIR/build_install.sh
\$SYSU_SOURCE_DIR/build_install.sh \$SYSU_SOURCE_DIR \$SYSU_INSTALL_PREFIX
EOF
ENV PATH=${SYSU_INSTALL_PREFIX}/bin:$PATH \
CPATH=${SYSU_INSTALL_PREFIX}/include:$CPATH \
Expand Down

0 comments on commit 59be0ee

Please sign in to comment.