Skip to content
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Go to file
Cannot retrieve contributors at this time
# Dockerfile used for CI builds in Travis
FROM ubuntu:16.04
# make sources available in docker image
RUN mkdir -p /src
ADD . /src
# Install OS dependencies as in the user guide
RUN apt-get update
RUN ./tools/
# Python dependencies
RUN pip3 install pytest fusesoc
# target/installation directory
RUN mkdir -p /opt/optimsoc
# Get prebuilts: GCC for or1k and verilator
RUN curl -s -o /tmp/ \
&& chmod a+x /tmp/ \
&& /tmp/ -d /opt/optimsoc all
# Execute the build and install it
RUN /bin/bash -c "source /opt/optimsoc/ \
&& ./tools/ --verbose --without-examples-fpga --with-examples-sim --with-docs \
&& make install INSTALL_TARGET=/opt/optimsoc/latest"
# Test the build
RUN /bin/bash -c "source /opt/optimsoc/ \
&& source /opt/optimsoc/latest/ \
&& pytest -s -v test/systemtest/"