51 Commits

Author SHA1 Message Date
Pierre-Marie de Rodat
135ef70c12 manage.py: use default formatting for errors
For interactive uses, the `gnu-full` style is much less convenient than
the default format (colors, true column number, quoted source with
caret, ...).
2026-02-12 11:48:42 +00:00
Pierre-Marie de Rodat
fa87b61ec1 Get rid of the dependency to the e3 Python package 2026-02-02 10:12:46 +00:00
Pierre-Marie de Rodat
4c12a7cd13 Disable incrementality to generate bootstrap sources 2026-01-12 14:45:43 +00:00
Pierre-Marie de Rodat
6957054061 manage.py: introduce a clean command to remove bootstrap build artifacts 2025-11-14 10:46:59 +00:00
Hugo Guerrier
78409b127e Revert "Merge branch 'topic/sigill_handler' into 'master'"
This reverts merge request !1453
2025-10-22 10:18:26 +00:00
Hugo Guerrier
27cd27b2e1 Add support to build the new sigill handler in manage.py and in the testsuite 2025-10-16 09:31:57 +00:00
Remi Segard
136a1d59c1 Lsp: support windows build 2025-10-15 08:07:28 +00:00
Pierre-Marie de Rodat
a61867e2d5 manage.py: include extension sources + langkit.yaml in bootstrap sources 2025-06-27 12:40:56 +02:00
Pierre-Marie de Rodat
6cee1cad6e manage.py: do not use an API introduced in Python 3.12
We need to keep supporting Python 3.11, and
`tempfile.NamedTemporaryFile`'s `delete_on_close` argument was
introduced in Python 3.12: refactor to avoid using it.
2025-06-03 09:18:35 +00:00
Pierre-Marie de Rodat
e69408afcf manage.py: use --output internally and expose it for printenv commands 2025-05-30 13:48:31 +00:00
Pierre-Marie de Rodat
6cefc74c93 Set up pre-commit checks and reformat the Python sources with black 2025-03-26 14:04:20 +00:00
Pierre-Marie de Rodat
06fb6d69f8 lkm: rename the "setenv" command to "printenv" 2025-03-10 16:23:41 +00:00
Pierre-Marie de Rodat
7bfbc5dc8f Move contrib/lkt to lkt 2025-02-06 09:31:49 +00:00
Pierre-Marie de Rodat
ca0f8eb315 Transition Libpythonlang to Lkt/lkm
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.
2025-02-06 09:31:49 +00:00
Pierre-Marie de Rodat
863be42475 Self-host Lkt (i.e. transition Liblktlang to Lkt)
Add pre-generated sources for Liblktlang in `contrib/lkt/bootstrap` so
that it is possible to build one version of Liblktlang in order to
compile Liblktlang's Lkt sources.

Adjust `manage.py` to build that bootstrap version of Liblktlang
automatically, and add a `manage.py bootstrap` command to genererate
sources for the bootstrap Liblktlang.
2025-02-06 09:31:49 +00:00
Pierre-Marie de Rodat
d07802d182 manage.py[install-langkit-support]: add support for --force 2024-12-03 14:01:09 +00:00
Pierre-Marie de Rodat
59968f6cdf Remove the unused pretty-printing feature for generated sources 2024-11-05 08:58:12 +00:00
Pierre-Marie de Rodat
a64a818c34 manage.py: fix handling of static-pic library type
Use the "enum value" (static-pic: dash) instead of the "enum name"
(static_pic: underscore) to pass requested library types to manage.py
subprocesses.
2024-06-19 09:32:17 +00:00
Maxim Reznik
603f3cf695 Skip building SigSegV when just static libs are built
Refs #740
2023-12-06 10:57:51 +02:00
Hugo Guerrier
62b82450bd Add flag to generate a DLL directories adding in Python bindings
This flag trigger the generation of a code snippet in the Python
bindings which contains calls to the "add_dll_directory" function.
2023-10-02 09:17:49 +00:00
Hugo Guerrier
207663138a Remove path separator special case for Cygwin environment 2023-10-02 08:43:30 +00:00
Pierre-Marie de Rodat
5e8146c83f langkit.packaging: add type annotations and enable checking with Mypy
Note that this commit also reworks this module to ease type checking, in
particular use subclassing to avoid attributes nullability (all
`*_prefix` attributes could be None before this commit) as all uses for
such attributes would have to be protected with an assert otherwise.
2023-08-30 07:51:41 +00:00
Pierre-Marie de Rodat
8e13558aac manage.py: fix path formatting on Windows
Use the correct path environment variable separator (':' or ';')
depending on the platfrom and the environment variable. This should fix
builds on Windows/GitHub.

For #631
2022-07-19 11:44:24 +00:00
Pierre-Marie de Rodat
e13dfe6d05 Run stylechecks on manage.py & setup.py
Also fix existing style issues in manage.py.

Closes #633
2022-07-04 16:11:24 +02:00
Raphaël AMIARD
bfce25b08d Make toplevel manage.py accept -J
Fixes issue #631
2022-06-29 08:27:19 +00:00