diff options
Diffstat (limited to 'python/libghdl/__init__.py')
| -rw-r--r-- | python/libghdl/__init__.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/python/libghdl/__init__.py b/python/libghdl/__init__.py index 0ac38694a..92a5ba1f0 100644 --- a/python/libghdl/__init__.py +++ b/python/libghdl/__init__.py @@ -85,6 +85,9 @@ def analyze_file(fname): return libghdl.libghdl__analyze_file(*_to_char_p(fname)) +def disp_config(): + return libghdl.ghdllocal__disp_config_prefixes() + if False: _prefix = os.environ.get("LIBGHDL_PREFIX") or '--PREFIX=%s' % join(dirname(_libghdl_path), 'ghdl') # print('ghdl prefix: {}'.format(_prefix)) |