#!/bin/bash if [ "$1" == '--help' ]; then echo "Usage: $0 " echo "Builds and packages the Polyhedron demo form the CGAL dir." exit 0 fi docker run --rm -v "$2":/results:Z -v "$1":/cgal:ro -e "NUMBER_OF_DEDICATED_CORES=$3" docker.io/cgal/bundle-3d-demo