forked from rems-project/cerberus
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile_docker
22 lines (16 loc) · 844 Bytes
/
Makefile_docker
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
.PHONY: all release dev-env deps
PLATFORM ?= linux/amd64
$(info Building for platform $(PLATFORM))
all:
@echo 'targets: deps|release|dev-env'
deps :
docker build --platform $(PLATFORM) --tag cerberus:deps -f Dockerfile.deps .
release: deps
docker build --platform $(PLATFORM) --tag cerberus:release -f Dockerfile.release .
@echo 'for example: docker run --volume `PWD`:/data/ cerberus:release cerberus tests/tcc/00_assignment.c --pp=core'
release_cn: deps
docker build --platform $(PLATFORM) --tag cn:release -f Dockerfile.release .
@echo 'for example: docker run --volume `PWD`:/data/ cn:release cerberus tests/tcc/00_assignment.c --pp=core'
dev-env: deps
docker build --platform $(PLATFORM) --tag cerberus:dev-env -f Dockerfile.dev-env .
@echo 'for example: docker run -ti --volume `PWD`:/home/user1/cerberus/ cerberus:dev-env'