Use $IMAGE_NAME for tagging.

This commit is contained in:
Achim D. Brucker 2021-01-15 11:50:43 +00:00
parent 1e8603f50e
commit 67cc9b43c4
1 changed files with 6 additions and 6 deletions

View File

@ -1,5 +1,5 @@
#!/bin/bash #!/bin/bash
# Copyright (c) 2019 Achim D. Brucker # Copyright (c) 2019-2021 Achim D. Brucker
# #
# All rights reserved. # All rights reserved.
# #
@ -59,8 +59,8 @@ for url in $ISA_URL $AFP_URL/$AFP_TAR; do
fi fi
done done
$CONTAINER build -t logicalhacking/isabelle$VERSION . \ $CONTAINER build --build-arg uid="$DOCKERUID" \
--build-arg uid="$DOCKERUID" \ --build-arg sessions="$SESSIONS" \
--build-arg sessions="$SESSIONS" \ --build-arg isabelle="$ISA_URL" \
--build-arg isabelle="$ISA_URL" \ --build-arg afp="$AFP_URL/$AFP_TAR" \
--build-arg afp="$AFP_URL/$AFP_TAR" -t $IMAGE_NAME .