You've already forked libadalang
mirror of
https://github.com/AdaCore/libadalang.git
synced 2026-02-12 12:28:54 -08:00
4382a22f9c
Move most of "ada/*" to the root directory (this makes sense, as this repository has been dedicated to Libadalang for years), and rename "ada/language" to "ada". TN: T914-010
27 lines
758 B
Plaintext
27 lines
758 B
Plaintext
## vim: filetype=makopython
|
|
|
|
def add_arguments(self):
|
|
self.parser.add_argument(
|
|
'-X', action='append',
|
|
help="Scenario variables to pass along to GPR"
|
|
)
|
|
self.parser.add_argument(
|
|
'-P', '--project', type=str, default='', help="GPR project file"
|
|
)
|
|
|
|
def create_unit_provider(self):
|
|
|
|
from tempfile import mkdtemp
|
|
|
|
if not self.args.project:
|
|
return None
|
|
|
|
self.scenario_vars = {}
|
|
if self.args.X:
|
|
for var in self.args.X:
|
|
k, v = var.split("=")
|
|
self.scenario_vars[k] = v
|
|
|
|
return UnitProvider.for_project(self.args.project,
|
|
scenario_vars=self.scenario_vars)
|