mirror of
https://github.com/AdaCore/spat.git
synced 2026-02-12 13:09:53 -08:00
31 lines
631 B
Bash
31 lines
631 B
Bash
#!/usr/bin/env bash
|
|
|
|
trap 'echo "ERROR at line ${LINENO} (code: $?)" >&2' ERR
|
|
trap 'echo "Interrupted" >&2 ; exit 1' INT
|
|
|
|
set -o errexit
|
|
set -o nounset
|
|
|
|
# For the record
|
|
echo ENVIRONMENT:
|
|
env | sort
|
|
echo ............................
|
|
|
|
echo GNAT VERSION:
|
|
gnatls -v
|
|
echo ............................
|
|
|
|
# Download and install dependencies
|
|
git clone https://github.com/HeisenbugLtd/si_units
|
|
cd si_units
|
|
git checkout v0.2.0
|
|
cd ..
|
|
gprbuild -p -P si_units/si_units.gpr
|
|
gprinstall -v -p -P si_units/si_units.gpr
|
|
|
|
# debug, list what's available
|
|
gprinstall --list --stat
|
|
|
|
# Build library project and then test programs
|
|
gprbuild -p -P spat.gpr
|