forked from UBAutograding/leviathan
-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #13 from makeopensource/connect-rpc
Connect rpc
- Loading branch information
Showing
89 changed files
with
7,089 additions
and
2,630 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1,4 @@ | ||
hydra | ||
hydra | ||
bin | ||
uploads | ||
config.toml |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,36 @@ | ||
FROM python:3.12-bookworm | ||
FROM mcr.microsoft.com/dotnet/sdk:3.1 | ||
MAINTAINER Vinay Venkat (@cool00geek) | ||
|
||
WORKDIR /home/autolab/ | ||
RUN apt-get update --fix-missing | ||
RUN apt-get install -y gcc | ||
RUN apt-get install -y make | ||
RUN apt-get install -y build-essential | ||
|
||
CMD ["/bin/sh -c"] | ||
# Install autodriver | ||
WORKDIR /home | ||
RUN useradd autolab | ||
RUN useradd autograde | ||
RUN mkdir autolab autograde output | ||
RUN chown autolab:autolab autolab | ||
RUN chown autolab:autolab output | ||
RUN chown autograde:autograde autograde | ||
RUN apt-get install -y git | ||
RUN git clone https://github.com/autolab/Tango.git | ||
WORKDIR Tango/autodriver | ||
RUN sed -i "s/sudo //g" Makefile | ||
RUN make clean && make | ||
RUN cp autodriver /usr/bin/autodriver | ||
RUN chmod +s /usr/bin/autodriver | ||
|
||
# Clean up | ||
WORKDIR /home | ||
RUN apt-get remove -y git | ||
RUN apt-get -y autoremove | ||
RUN rm -rf Tango/ | ||
|
||
# Set dotnet environment | ||
ENV DOTNET_CLI_HOME /tmp | ||
|
||
# Check installation | ||
RUN ls -l /home | ||
RUN which autodriver |
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file was deleted.
Oops, something went wrong.
Oops, something went wrong.