Skip to content
Snippets Groups Projects
Select Git revision
  • a0c3017ecae614aa3ad72d2d5c472ba6ea4d8407
  • master default protected
2 results

Dockerfile_autograder

Blame
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Dockerfile_autograder 1.13 KiB
    FROM ubuntu:20.04
    MAINTAINER Autolab Team <autolab-dev@andrew.cmu.edu>
    
    RUN apt-get update && apt-get install -y \
      build-essential \
      gcc \
      git \
      make \    
      freeglut3-dev \
      gtkwave \
      texinfo \
      libncurses-dev \
      elfutils \
      swig \
      python3-pip \
      ctags \
      libelf1 \
      libelf-dev \
      libglib2.0-dev \
      gcc-avr \
      gdb-avr \
      avr-libc \
      sudo \
      && rm -rf /var/lib/apt/lists/*
    
    # 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 git clone --depth 1 https://github.com/autolab/Tango.git
    WORKDIR Tango/autodriver
    RUN make clean && make
    RUN cp autodriver /usr/bin/autodriver
    RUN chmod +s /usr/bin/autodriver
    
    # Get us Simavr
    WORKDIR /tmp/
    RUN git clone https://github.com/buserror/simavr.git --single-branch --depth 1
    
    WORKDIR /tmp/simavr
    RUN make
    RUN make install
    #RUN make install RELEASE=1
    RUN pip3 install pysimavr
    
    # Clean up
    WORKDIR /home
    RUN apt-get remove -y git && apt-get -y autoremove && rm -rf Tango/
    
    # Check installation
    RUN ls -l /home
    RUN which autodriver