#!/bin/bash

# Creation script for the Docker container

# Get the working directory:
_pwd="$(pwd)"

docker create -ti -e DISPLAY=docker.for.mac.host.internal:0 \
 -v ${_pwd}/examples:/home/opam/cut/examples \
 -v ${_pwd}/OCaml:/home/opam/cut/OCaml \
 -v ${_pwd}/prolog:/home/opam/cut/prolog \
 -v ${_pwd}/why3:/home/opam/cut/why3 \
 --name="cut25ctr" cut2.5:latest
