mirror of
https://github.com/AdaCore/learn.git
synced 2026-02-12 13:00:42 -08:00
17 lines
235 B
Bash
Executable File
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 |