mirror of
https://github.com/AdaCore/SPARKlib.git
synced 2026-02-12 13:11:36 -08:00
5 lines
138 B
Bash
Executable File
5 lines
138 B
Bash
Executable File
# Use "source setup.sh" before opening sparklib_external.gpr in GNAT Studio
|
|
|
|
export SPARKLIB_INSTALLED=False
|
|
export SPARKLIB_BODY_MODE=On
|