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")