swh:1:snp:073f9f660876ea6d96214b0f286fe610ca1875c7
Raw File
Tip revision: 9e2f905f6ff3f028c5eaeccb8a5370ec4ab3abe2 authored by Pierre-Yves Strub on 23 January 2022, 15:46:16 UTC
Theory for R[X]/<X^n+1>
Tip revision: 9e2f905
Makefile
# -*- Makefile -*-

# --------------------------------------------------------------------
# docker.com account name
DNAME ?= easycryptpa
BBOX  := build-box test-box

# --------------------------------------------------------------------
.PHONY: all __force__

default:
	@echo "Available images: $(BBOX)"

all:
	for i in $(BBOX); do $(MAKE) $$i-build; done

%-test-box-build:
	[ -d $*-test-box ] || mkdir $*-test-box
	sed -e 's/BRANCH/$*/g' < templates/Dockerfile > $*-test-box/Dockerfile
	cd $*-test-box && docker build -t $(DNAME)/ec-$*-test-box .

%-build: __force__
	cd $* && docker build -t $(DNAME)/ec-$* .

%-publish: __force__
	cd $* && docker push $(DNAME)/ec-$*:latest
back to top