1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
|
import ctypes
import os
import sys
from os.path import dirname, join, exists, normpath
from shutil import which
from pyGHDL.libghdl.version import __version__
def _to_char_p(arg):
return ctypes.c_char_p(arg), len(arg)
def _get_libghdl_name():
"""Get the name of the libghdl library (with version and extension)"""
ver = __version__.replace("-", "_").replace(".", "_")
ext = {"win32": "dll", "cygwin": "dll", "darwin": "dylib"}.get(sys.platform, "so")
return "libghdl-" + ver + "." + ext
def _check_libghdl_libdir(libdir, basename):
"""Return libghdl path in :param libdir" if found or None"""
if libdir is None:
return None
# print('libghdl: check in {}'.format(libdir))
res = join(libdir, basename)
if exists(res):
return res
return None
def _check_libghdl_bindir(bindir, basename):
if bindir is None:
return None
return _check_libghdl_libdir(normpath(join(bindir, "..", "lib")), basename)
def _get_libghdl_path():
"""Locate the directory where the shared library is"""
basename = _get_libghdl_name()
# Try GHDL_PREFIX
r = os.environ.get("GHDL_PREFIX")
if r is not None:
# GHDL_PREFIX is the prefix of the vhdl libraries, so remove the
# last path component.
r = _check_libghdl_libdir(dirname(r), basename)
if r is not None:
return r
# Try VUNIT_GHDL_PATH (path of the ghdl binary when using VUnit).
r = _check_libghdl_bindir(os.environ.get("VUNIT_GHDL_PATH"), basename)
if r is not None:
return r
# Try GHDL (name/path of the ghdl binary)
r = os.environ.get("GHDL", "ghdl")
r = which(r)
if r is not None:
r = _check_libghdl_bindir(dirname(r), basename)
if r is not None:
return r
# Try within libghdl/ python installation
r = __file__
r = _check_libghdl_bindir(dirname(r), basename)
if r is not None:
return r
# Try when running from the build directory
r = normpath(join(dirname(__file__), "..", "..", "lib"))
r = _check_libghdl_libdir(r, basename)
if r is not None:
return r
# Failed.
raise Exception("Cannot find libghdl {}".format(basename))
# Load the shared library
_libghdl_path = _get_libghdl_path()
# print("Load {}".format(_libghdl_path))
libghdl = ctypes.CDLL(_libghdl_path)
# Initialize it.
# First Ada elaboration (must be the first call)
libghdl.libghdl_init()
# Then 'normal' initialization (set hooks)
libghdl.libghdl__set_hooks_for_analysis()
# Set the prefix in order to locate the vhdl libraries.
libghdl.libghdl__set_exec_prefix(
*_to_char_p(dirname(dirname(_libghdl_path)).encode("utf-8"))
)
def finalize():
"Free all the memory, be ready for a new initialization"
libghdl.options__finalize()
def initialize():
"Initialize or re-initialize the library"
libghdl.options__initialize()
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
def analyze_init():
# Deprecated as it may raise an exception. Use analyze_init_status
libghdl.libghdl__analyze_init()
def analyze_init_status():
# Return 0 in case of success
return libghdl.libghdl__analyze_init_status()
def analyze_file(fname):
return libghdl.libghdl__analyze_file(*_to_char_p(fname))
def disp_config():
return libghdl.ghdllocal__disp_config_prefixes()
|
