Makefile for creating the docker image
This commit is contained in:
parent
b25019c808
commit
1d10d786e4
1 changed files with 6 additions and 0 deletions
6
docker/Makefile
Normal file
6
docker/Makefile
Normal file
|
@ -0,0 +1,6 @@
|
|||
all: ../bfclient/RelOpt/bfclient Dockerfile
|
||||
cp ../bfclient/RelOpt/bfclient .
|
||||
docker login registry.gitlab.com
|
||||
docker build -t registry.gitlab.com/arminfriedl/btcollider .
|
||||
docker push registry.gitlab.com/arminfriedl/btcollider
|
||||
|
Loading…
Reference in a new issue