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