2 Commits

Author	SHA1	Message	Date
Giacomo Vercesi	6fc6d38228	Remove argparse.FileType ... Python 3.14 will deprecate `argparse.FileType` [1]. This is due to a variety of factors, one of which is that the class leaks file descriptors when used. Remove all usages in the codebase and instead use a wrapper function for `open`. [1] https://docs.python.org/3.14/library/argparse.html#argparse.FileType	2025-05-05 16:02:40 +02:00
Giacomo Vercesi	942cf50735	python: create python wheels ... Package revng's python code in two wheels: `revng` and `revng_internal`. The revng wheel contains the `revng.{pipeline_description,model,tupletree}` modules, while the `revng_internal` one everything under `revng.internal`.	2023-12-12 14:52:22 +01:00