# Use "source setup.sh" before opening sparklib_external.gpr in GNAT Studio export SPARKLIB_INSTALLED=False export SPARKLIB_BODY_MODE=On