mirror of
https://github.com/AdaCore/OpenUxAS.git
synced 2026-02-12 13:07:16 -08:00
ad985645b6
* Initial update for DAIDALUS w/ new infrastructure. Merged the work from the develop branch with DAIDALUS. This is completely untested at present. README needs update, so this should be considered a work in progress. * Fix proofs and add run-example support. `run-example` can now be used with the daidalus examples (9-12). Proofs are fixed. README is still broken. * Update README for DAIDALUS.
19 lines
584 B
Bash
Executable File
19 lines
584 B
Bash
Executable File
#! /usr/bin/env bash
|
|
#
|
|
# run-example wrapper script.
|
|
|
|
# Script location
|
|
SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
|
|
|
|
# Load global paths
|
|
source "${SCRIPT_DIR}/infrastructure/paths.sh"
|
|
|
|
# Activate the python venv
|
|
activate_venv
|
|
|
|
# Just in case, for uxas-ada. A bit ugly and special-purpose. Use build-env to
|
|
# avoid directly putting uxas-ada itself on the path (in case there's a local
|
|
# build)
|
|
debug_and_run "eval \"\$( \"${OPENUXAS_ROOT}/anod\" printenv uxas-ada --build-env )\""
|
|
debug_and_run "python3 \"${INFRASTRUCTURE_DIR}/run-example.py\" $*"
|