diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-12-26 14:26:59 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-12-26 17:35:10 +0100 |
| commit | b9788c0bb2fabdcdd70029cd2ffbdd12706aea1d (patch) | |
| tree | eb903a286fca01f9c039f6c69a92e1399a90c84e /src/libraries.ads | |
| parent | f60887e70ac8f2b24637b4710f5cb9a18acef6aa (diff) | |
| download | ghdl-b9788c0bb2fabdcdd70029cd2ffbdd12706aea1d.tar.gz ghdl-b9788c0bb2fabdcdd70029cd2ffbdd12706aea1d.tar.bz2 ghdl-b9788c0bb2fabdcdd70029cd2ffbdd12706aea1d.zip | |
libraries: Load_Std_Library: now return a status.
Propagate this change to libghdl and python binding to avoid abort.
For #1551
Diffstat (limited to 'src/libraries.ads')
| -rw-r--r-- | src/libraries.ads | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/libraries.ads b/src/libraries.ads index 66a80a747..8e9967ff1 100644 --- a/src/libraries.ads +++ b/src/libraries.ads @@ -94,7 +94,8 @@ package Libraries is -- Initialize the library manager and load the STD library. -- If BUILD_STANDARD is false, the std.standard library is not created. - procedure Load_Std_Library (Build_Standard : Boolean := True); + -- Return TRUE in case of success, FALSE in case of failure. + function Load_Std_Library (Build_Standard : Boolean := True) return Boolean; -- Save the work library as a host-dependent library. procedure Save_Work_Library; |