22 lines
619 B
Bash
Executable File
22 lines
619 B
Bash
Executable File
#!/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 $@
|