Makefile

#
# Makefile - Builds the Docker images and host SDK for Lind
#
# AUTHOR: Nicholas Renner <nrenner@nyu.com>
# AUTHOR: Joey Pabalinas <alyptik@protonmail.com>

# default target shows `select` menu
all lind:
	@./src/mklind

.PHONY: Makefile all lind run shell list show
.PHONY: latest lind-full lind-base
.PHONY: stack deploy pull clean prune

# targets like `make nacl` and `make lind/nacl` run their respective `./ src/mklind -e nacl` command
%:
	@$(MAKE) "lind/$(basename $(notdir $*))"

lind/%:
	@./src/mklind $*

# run a clean, temporary containter with target tag
docker/%:
	docker run --rm --label=lind --ipc=host --cap-add=SYS_PTRACE -it securesystemslab/lind:$*

# the `--ipc=host` flag is needed to mount /dev/shm with PROT_EXEC
run shell: | pull
	docker create --name=lind --label=lind --ipc=host --cap-add=SYS_PTRACE -it securesystemslab/lind
	docker start lind
	docker exec -it lind

list show:
	docker image list -f label=lind -a
	@echo
	docker container list -f label=lind -a

lamp: | lind-full
	docker build --cache-from=securesystemslab/lind:latest -t securesystemslab/lind-lamp:latest ./src/docker/lind-lamp

latest: | lind-full
	docker build --cache-from=securesystemslab/lind:$| -t securesystemslab/lind:$@ ./src/docker/$|

lind-full: | lind-glibc
	docker build -t securesystemslab/lind:$@ ./src/docker/$@

lind-glibc: | lind-base
	docker build -t securesystemslab/lind:$@ ./src/docker/$@

lind-base:
	docker build -t securesystemslab/lind:$@ ./src/docker/$@

stack deploy:
	docker stack deploy -c ./src/docker/docker-compose.yml lindstack

pull:
	docker pull securesystemslab/lind

test: 
	cd tests/test_cases && bash suite.sh nondet.txt -d dettests.txt

test-verbose: 
	cd tests/test_cases && bash suite.sh nondet.txt -d dettests.txt -v

coreutils-test: 
	cd tests/test_cases/coreutils_suite && bash coreutils_suite.sh nondets.txt -d bashdets.txt

coreutils-test-verbose: 
	cd tests/test_cases/coreutils_suite && bash coreutils_suite.sh nondets.txt -d bashdets.txt -v

clean:
	@$(MAKE) cleanall

prune:
	docker stack rm lindstack
	docker container prune
	docker image prune

# vi:ft=make