#!/bin/bash

docker build --network host -f Dockerfile.swig -t forthy42/swig:latest .
docker build --network host -t forthy42/gforth:latest .
docker build --network host -f Dockerfile.gui -t forthy42/gforth-gui:latest .
docker build --network host -f Dockerfile.gui+fonts -t forthy42/gforth-gui-fonts:latest .
if [ "$1" != "nopush" ]
then
    docker push forthy42/swig:latest
    docker push forthy42/gforth:latest
    docker push forthy42/gforth-gui:latest
    docker push forthy42/gforth-gui-fonts:latest
fi
