Makefile 1.45 KB
Newer Older
1
all: base-8-stamp base-9-stamp dune-2.3-stamp dune-2.4-stamp dune-fufem-stamp dune-fufem-latest-stamp dune-latest-stamp
Ansgar Burchardt's avatar
Ansgar Burchardt committed
2 3 4

clean:
	rm -f -- ./*-stamp
Ansgar Burchardt's avatar
Ansgar Burchardt committed
5
	rm -f -- base-8/duneci-ctest base-9/duneci-ctest
Ansgar Burchardt's avatar
Ansgar Burchardt committed
6

Ansgar Burchardt's avatar
Ansgar Burchardt committed
7 8
base-8-stamp: base-8/Dockerfile base-common/duneci-ctest
	cp base-common/duneci-ctest base-8/duneci-ctest
Ansgar Burchardt's avatar
Ansgar Burchardt committed
9
	docker build --no-cache -t duneci/base:8 base-8
Ansgar Burchardt's avatar
Ansgar Burchardt committed
10 11
	touch $@

Ansgar Burchardt's avatar
Ansgar Burchardt committed
12 13
base-9-stamp: base-9/Dockerfile base-common/duneci-ctest
	cp base-common/duneci-ctest base-9/duneci-ctest
Ansgar Burchardt's avatar
Ansgar Burchardt committed
14
	docker build --no-cache -t duneci/base:9 base-9
Ansgar Burchardt's avatar
Ansgar Burchardt committed
15 16 17
	touch $@

dune-2.3-stamp: base-8-stamp dune-2.3/Dockerfile
18
	docker build -t duneci/dune:2.3 dune-2.3
Ansgar Burchardt's avatar
Ansgar Burchardt committed
19 20
	touch $@

Ansgar Burchardt's avatar
Ansgar Burchardt committed
21
dune-2.4-stamp: base-9-stamp dune-2.4/Dockerfile
22
	docker build -t duneci/dune:2.4 dune-2.4
Ansgar Burchardt's avatar
Ansgar Burchardt committed
23 24 25
	touch $@

dune-fufem-stamp: dune-fufem/Dockerfile dune-2.4-stamp
Ansgar Burchardt's avatar
Ansgar Burchardt committed
26
	docker build --no-cache -t duneci/dune-fufem:2.4 dune-fufem
Ansgar Burchardt's avatar
Ansgar Burchardt committed
27 28
	touch $@

Ansgar Burchardt's avatar
Ansgar Burchardt committed
29 30 31 32
dune-fufem-git-stamp: dune-fufem-git/Dockerfile dune-git-stamp
	docker build --no-cache -t duneci/dune-fufem:git dune-fufem-git
	touch $@

Ansgar Burchardt's avatar
Ansgar Burchardt committed
33
dune-git-stamp: base-9-stamp dune-git/Dockerfile
Ansgar Burchardt's avatar
Ansgar Burchardt committed
34
	docker build --no-cache -t duneci/dune:git-staging dune-git
Ansgar Burchardt's avatar
Ansgar Burchardt committed
35
	#docker run -i duneci/dune:git-staging sh -c "dunecontrol make build_tests && dunecontrol make test"
Ansgar Burchardt's avatar
Ansgar Burchardt committed
36 37 38
	docker tag -f duneci/dune:git-staging duneci/dune:git
	touch $@

Ansgar Burchardt's avatar
Ansgar Burchardt committed
39
dune-latest-stamp: dune-2.4-stamp
Ansgar Burchardt's avatar
Ansgar Burchardt committed
40
	docker tag -f duneci/dune:2.4 duneci/dune:latest
Ansgar Burchardt's avatar
Ansgar Burchardt committed
41
	touch $@
42 43 44 45

dune-fufem-latest-stamp: dune-fufem-stamp
	docker tag -f duneci/dune-fufem:2.4 duneci/dune-fufem:latest
	touch $@