diff options
| author | Rob Austein <sra@hactrn.net> | 2019-02-10 22:46:35 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2019-02-10 22:46:35 +0000 |
| commit | 8bf92fa91b9ffec90ce4968f1898d0864c7c5b12 (patch) | |
| tree | 68e7435d45a714ada8e03f96f439f576de7f440b | |
Initial commit.
| -rw-r--r-- | .dockerignore | 2 | ||||
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | Dockerfile | 22 | ||||
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | README.md | 20 |
5 files changed, 48 insertions, 0 deletions
diff --git a/.dockerignore b/.dockerignore new file mode 100644 index 0000000..10769eb --- /dev/null +++ b/.dockerignore @@ -0,0 +1,2 @@ +Makefile +README.md diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..4c21f8a --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +Xilinx_ISE_DS_Lin_14.7_1015_1.tar +Xilinx.lic diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..9998a71 --- /dev/null +++ b/Dockerfile @@ -0,0 +1,22 @@ +FROM debian:jessie + +RUN echo 'deb http://deb.debian.org/debian jessie-backports main' > /etc/apt/sources.list.d/backports.list + +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 diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..47f508b --- /dev/null +++ b/Makefile @@ -0,0 +1,2 @@ +all: + docker build -t alpha-releng . diff --git a/README.md b/README.md new file mode 100644 index 0000000..81c1377 --- /dev/null +++ b/README.md @@ -0,0 +1,20 @@ +Docker +====== + +An attempt to Dockerize the Cryptech build environment. + +The ten zillion Debian packages are tedious but straightforward. + +The tricky bit is the XiLinx toolchain: + +* You have to download the installation tarball by hand +* You have to get a license key from XiLinx before you can use it +* You have to run GUI installation tools to install and configure it + +There's not much we can do about the first two, so we assume that +you've obtained a tarball and a license key file, and that you've +dropped them into this directory with the filenames we expect. + +The third...is fun, in a demented sort of way. Don't know whether +it'll work yet, but going to try automating this using +Xvfb, xautomation, and ratpoison. |