mirror of
https://github.com/AdaCore/langkit.git
synced 2026-02-12 12:28:12 -08:00
ca0f8eb315
Also stop building it in `manage.py`` (it is no longer needed for common Langkit operations). Rename and repurpose `contrib/python_grammar` to generate+build Libpythonlang, in an attempt to ensure it does not bit rot.
22 lines
338 B
Python
22 lines
338 B
Python
"""
|
|
Check that Libpythonlang does not bitrot.
|
|
"""
|
|
|
|
import os
|
|
|
|
import langkit.scripts.lkm as lkm
|
|
|
|
from utils import langkit_root
|
|
|
|
|
|
lkm.main(
|
|
[
|
|
"make",
|
|
"-vnone",
|
|
"--config",
|
|
os.path.join(langkit_root, "contrib", "python", "langkit.yaml"),
|
|
"--build-dir",
|
|
os.path.abspath("build"),
|
|
]
|
|
)
|