#!/bin/bash set -e script_dir=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd ) build_dir=${script_dir}/Build code_dir=${script_dir} # Bootstrap a version git show -s --date=format:%Y-%m-%d --format=%cd HEAD> feely_pona_version.txt git rev-parse --short=8 HEAD>> feely_pona_version.txt git rev-list --count HEAD>> feely_pona_version.txt # Bootstrap the build program mkdir --parents ${build_dir} pushd ${build_dir} g++ -g -Wall -o feely_pona_build ${code_dir}/feely_pona_build.cpp -lm -lpthread cp --force feely_pona_build ${code_dir} popd # Run the build program ${code_dir}/feely_pona_build $@