Files
learn/travis_script.sh
2020-01-10 10:38:19 -05:00

17 lines
235 B
Bash
Executable File

#! /usr/bin/env sh
export PATH=$GNAT_PATH/bin:$PATH
set -v
set -e
which gcc
which gnatchop
which gprbuild
cd frontend
ls
make SPHINXOPTS="-W" tests
# TODO: need to build the frontend to test build
# TODO: need to also test backend