from __future__ import absolute_import, division, print_function import sys from utils import in_contrib sys.path.append(in_contrib()) import check_same_operands check_same_operands.main(check_same_operands.parser.parse_args(['foo.adb']))
from __future__ import absolute_import, division, print_function
import subprocess
from utils import gprbuild, in_contrib
gprbuild(in_contrib('highlight', 'highlight.gpr'))
subprocess.check_call(
[in_contrib('highlight', 'obj', 'highlight'), 'example.adb'],
cwd=in_contrib('highlight')
)
# Set this manually to True to generate a coverage report for laldoc
COVERAGE = False
if COVERAGE:
import coverage
import sys
from os import path as P
from utils import in_contrib
if COVERAGE:
cov = coverage.Coverage()
sys.path.append(P.join(in_contrib(), 'laldoc', 'laldoc'))
import generate_rst
print("Generating rst")
print("==============")
print()
if COVERAGE:
cov.start()
generate_rst.GenerateDoc.run(['base.ads'])
if COVERAGE:
cov.stop()
print()
print("Output")