Files
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

19 lines
333 B
Python

#
# This file is distributed under the MIT License. See LICENSE.md for details.
#
import sys
verbose = True
def set_verbose(verb: bool):
global verbose
verbose = verb
def log(message):
# TODO: implement properly using python logging and setting the loglevel
if verbose:
sys.stderr.write(message + "\n")