Build IRMA API Server in docker container:
make build
To run the server with the demo config:
make run
Run container bash shell:
make shell
To run irma server instance in dev mode from the container shell:
# cd /irma/irma_api_server && gradle appRun