Skip to content

[Feature:Autograding] valgrind for amd autograding-default #69

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 9 commits into from
Jun 16, 2025
Merged

[Feature:Autograding] valgrind for amd autograding-default #69

Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
2d3dae0
add ubuntu22
May 28, 2025
c818d30
fix gcc symlink
May 30, 2025
77da8ff
dockerfile for julia
Jun 3, 2025
c74acad
merge
Jun 3, 2025
c6933e1
typo
Jun 3, 2025
02b362a
merge conflict
Jun 5, 2025
ccbdf78
add valgrind for autograding_default on amd
Jun 16, 2025
5a091d6
Merge remote-tracking branch 'origin/main' into valgrind_on_amd
Jun 16, 2025
b4922af
more amd specific installs
bmcutler Jun 16, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 14 additions & 5 deletions dockerfiles/autograding-default/ubuntu-22.04/Dockerfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,18 +6,21 @@

FROM ubuntu:22.04

ARG TARGETARCH

RUN apt-get update
RUN apt-get install -y python3
RUN apt-get install -y libpython3.10
RUN apt-get install -y python3-dev
RUN apt-get install -y clang lld lldb
RUN apt-get install -y gcc g++
#RUN apt-get install -y gdb

RUN if [ $TARGETARCH = "amd64" ]; then apt-get install -y gdb; fi

RUN apt-get install -y autoconf automake autotools-dev
RUN apt-get install -y diffstat
RUN apt-get install -y finger sed
RUN apt-get -y install locales
RUN apt-get install -y locales

RUN apt-get install -y git
RUN apt-get install -y git-man
Expand All @@ -26,17 +29,23 @@ RUN apt-get install -y p7zip-full
RUN apt-get install -y patchutils
RUN apt-get install -y libpq-dev
RUN apt-get install -y unzip zip
#RUN apt-get install -y valgrind

RUN if [ $TARGETARCH = "amd64" ]; then apt-get install -y valgrind; fi

RUN apt-get install -y libmagic-ocaml-dev
RUN apt-get install -y javascript-common
RUN apt-get install -y libfile-mmagic-perl libgnupg-interface-perl libbsd-resource-perl libarchive-zip-perl
RUN apt-get install -y jq libseccomp-dev libseccomp2 seccomp
#RUN apt-get install -y junit

RUN if [ $TARGETARCH = "amd64" ]; then apt-get install -y junit; fi

RUN apt-get install -y flex
RUN apt-get install -y bison
RUN apt-get install -y spim
RUN apt-get install -y poppler-utils
#RUN apt-get install -y imagemagick

RUN if [ $TARGETARCH = "amd64" ]; then apt-get install -y imagemagick; fi

RUN apt-get install -y cloc

ENV LANG C.UTF-8
Expand Down