diff options
author | Tristan Gingold <tgingold@free.fr> | 2021-03-26 18:41:58 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2021-03-27 08:46:31 +0100 |
commit | f23949f3eda545ff0c3ca1c49037b9a83700b099 (patch) | |
tree | 6656e842a4a39d2e8fd413b19332ed1ede8882b1 /src/ghdldrv/ghdlsynth.adb | |
parent | ba2d9a39cb0c90c49f44d0d52258e8cc4920e15e (diff) | |
download | ghdl-f23949f3eda545ff0c3ca1c49037b9a83700b099.tar.gz ghdl-f23949f3eda545ff0c3ca1c49037b9a83700b099.tar.bz2 ghdl-f23949f3eda545ff0c3ca1c49037b9a83700b099.zip |
ghdlsynth.adb: also allow .psl files without any warning
Diffstat (limited to 'src/ghdldrv/ghdlsynth.adb')
-rw-r--r-- | src/ghdldrv/ghdlsynth.adb | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/src/ghdldrv/ghdlsynth.adb b/src/ghdldrv/ghdlsynth.adb index fda42bcbc..ffb3fb10d 100644 --- a/src/ghdldrv/ghdlsynth.adb +++ b/src/ghdldrv/ghdlsynth.adb @@ -310,12 +310,16 @@ package body Ghdlsynth is Libraries.Work_Library_Name := Id; Libraries.Load_Work_Library (True); else - if Files_Map.Find_Language (Arg) /= Language_Vhdl then - Errorout.Report_Msg - (Warnid_Library, Option, No_Source_Coord, - "unexpected extension for vhdl file %i", - (1 => +Name_Table.Get_Identifier (Arg))); - end if; + case Files_Map.Find_Language (Arg) is + when Language_Vhdl + | Language_Psl => + null; + when others => + Errorout.Report_Msg + (Warnid_Library, Option, No_Source_Coord, + "unexpected extension for vhdl file %i", + (1 => +Name_Table.Get_Identifier (Arg))); + end case; Ghdlcomp.Compile_Load_File (Arg); end if; |