04-rwslotmachine4: Add Dockerfile

[AmaliaI12]

…rwslotmachine4

Prerequisite Checklist

• Read the contribution guidelines regarding submitting new changes to the project;
• Tested your changes against relevant architectures and platforms;
• Updated relevant documentation (if needed).

Description of changes

[razvand]

Are other Dockerfile files using two stages?

Should there be a Makefile to build the application (and run make inside the Dockerfile), and a Makefile to automate the process of building and running Docker? As in this PR.

[razvand]

Extend your commit message with a commit description. Mention the rationale / motivation for adding a Dockerfile.

I would suggest, if possible, you renamed the Makefile to Makefile.sol. And add a new Makefile that is going to be used for deploying the Docker container, similar to the one below:

PORT ?= 31900
IMG_NAME ?= ez
CONT_NAME ?= $(IMG_NAME)-cnt

build:
	docker build -t $(IMG_NAME) -f Dockerfile ..

run: build
	docker run -d --rm -p $(PORT):31337 --name $(CONT_NAME) -t $(IMG_NAME)

stop:
	-docker stop $(CONT_NAME)

clean: stop
	docker rm $(CONT_NAME)

.PHONY: build run stop clean

[razvand]

Add ending newline in all files.

[razvand]

Reviewed-by: Razvan Deaconescu razvand@unikraft.io
Approved-by: Razvan Deaconescu razvand@unikraft.io

[razvand]

Use Tab-based indenting for the implementation of read_int().

[razvand]

Reviewed-by: Razvan Deaconescu razvand@unikraft.io
Approved-by: Razvan Deaconescu mailto:razvand@unikraft.io