diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-10-15 06:41:36 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-10-15 06:41:36 +0200 |
| commit | acf68c6a935edaf9cd3f575a5606e8fc6bd0fecb (patch) | |
| tree | 9bc90b9c564e3bc20cadf8516f4854de0587ed70 /src/libraries.ads | |
| parent | 2485c247d5eae5f88c37708c2346c015caf22dbc (diff) | |
| download | ghdl-acf68c6a935edaf9cd3f575a5606e8fc6bd0fecb.tar.gz ghdl-acf68c6a935edaf9cd3f575a5606e8fc6bd0fecb.tar.bz2 ghdl-acf68c6a935edaf9cd3f575a5606e8fc6bd0fecb.zip | |
ghdlsynth: allow --work= option in the middle of files.
Diffstat (limited to 'src/libraries.ads')
| -rw-r--r-- | src/libraries.ads | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/libraries.ads b/src/libraries.ads index 396ba8885..99dcca393 100644 --- a/src/libraries.ads +++ b/src/libraries.ads @@ -167,6 +167,14 @@ package Libraries is -- If there are severals entities, return NULL_IIR; function Find_Entity_For_Component (Name: Name_Id) return Iir_Design_Unit; + -- Decode '--work=NAME' command line option. + -- Return false if NAME is not a valid name. + -- If IMMEDIATE is true, the library is created and loaded from disk + -- iff LOAD_LIB is true. If IMMEDIATE is false, the name of the work + -- library is simply set to NAME and Load_Work_Library has to be called. + function Decode_Work_Option + (Opt : String; Immediate : Boolean; Load_Lib : Boolean) return Boolean; + -- Get the chain of libraries. Can be used only to read (it musn't be -- modified). function Get_Libraries_Chain return Iir_Library_Declaration; |