aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2019-02-10 23:58:32 +0000
committerRob Austein <sra@hactrn.net>2019-02-10 23:58:32 +0000
commit71861b6ea54738950ac5c8e83e78bbd1215a11ed (patch)
treeb18d6c8087b1e3cdd936a00565b3ddce124435aa /Makefile
parentb0daf8cf8c9cd39dd5e76aacfa5a5c7c4d500b8b (diff)
Separate into multiple stages, at least during development.
Docker is pretty clever about not rebuilding stuff, but simply having the 6GB XiLinx tarball in the build context is painful, so let's avoid that as much as we can.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 47f508b..69fcb57 100644
--- a/Makefile
+++ b/Makefile
@@ -1,2 +1,4 @@
all:
- docker build -t alpha-releng .
+ cd stage1; docker build -t xilinx:loadonly .
+ cd stage2; docker build -t xilinx:intalled .
+ cd stage3; docker build -t cryptech-alpha .