mirror of
https://github.com/AdaCore/langkit.git
synced 2026-02-12 12:28:12 -08:00
29 lines
596 B
Bash
Executable File
29 lines
596 B
Bash
Executable File
#! /usr/bin/env sh
|
|
|
|
set -v
|
|
set -e
|
|
|
|
export PATH=$INSTALL_DIR/bin:$PATH
|
|
export GPR_PROJECT_PATH=$LIB_INSTALL_DIR/share/gpr
|
|
|
|
# RA22-015: Make libpythonlang & liblktlang available
|
|
eval `./manage.py setenv`
|
|
|
|
# Log the toolchain to use
|
|
which gcc
|
|
which gprbuild
|
|
gcc -v
|
|
gprbuild -v
|
|
|
|
# Type check Langkit using mypy
|
|
mypy --config-file=mypy.ini
|
|
|
|
# Exit with an error if there is a test failure/error.
|
|
#
|
|
# TODO: adjust the Travis CI setup to provide a viable OCaml environment and
|
|
# enable the corresponding testcases.
|
|
./manage.py test \
|
|
--no-auto-path \
|
|
--disable-ocaml \
|
|
--failure-exit-code=1
|