#!/bin/bash export CC=gcc-8 export CXX=g++-8 export LIBTOOL=libtool export AR=ar export RANLIB=ranlib export STRIP=strip export OTOOL=otool export NM=nm set -eu -o pipefail if [ "x$*" = 'x--help' ] then cat <