diff options
Diffstat (limited to 'python/libghdl')
| -rw-r--r-- | python/libghdl/__init__.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/python/libghdl/__init__.py b/python/libghdl/__init__.py index 1258a5643..6ea3a4177 100644 --- a/python/libghdl/__init__.py +++ b/python/libghdl/__init__.py @@ -5,6 +5,7 @@ from os.path import dirname, join, exists, normpath from shutil import which from libghdl.version import __version__ + def _to_char_p(arg): return ctypes.c_char_p(arg), len(arg) @@ -83,6 +84,7 @@ libghdl.libghdl__set_hooks_for_analysis() libghdl.libghdl__set_exec_prefix( *_to_char_p(dirname(dirname(_libghdl_path)).encode('utf-8'))) + def set_option(opt): "Set option OPT. Return true iff the option is known and handled" return libghdl.libghdl__set_option(*_to_char_p(opt)) == 0 |