diff options
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..0a787bf --- /dev/null +++ b/Dockerfile @@ -0,0 +1,24 @@ +FROM cryptech-builder:stage2 + +RUN echo 'deb http://deb.debian.org/debian jessie-backports main' > /etc/apt/sources.list.d/backports.list + +# Stuff we need we need to build firmware and client packages. This +# stuff is much more likely to change than the XiLinx tools, so we put +# it at the end of the build where we can use normal Docker tooling. + +RUN apt-get update && \ + apt-get install -y \ + avr-libc \ + binutils-avr \ + gcc-arm-none-eabi \ + gcc-avr \ + git \ + python-crypto \ + python-serial \ + python-yaml \ + reprepro \ + ubuntu-archive-keyring \ + ubuntu-dev-tools \ + pbuilder && \ + apt-get -t jessie-backports install -y \ + debootstrap distro-info-data |