diff options
author | Tristan Gingold <tgingold@free.fr> | 2018-12-10 07:52:26 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2018-12-11 05:25:07 +0100 |
commit | 3699e4f8b6bf5a2e757bcd397202dbdebf614a02 (patch) | |
tree | db118c38a6ef6e251fde6b1985518c1f3a29722c | |
parent | f7ee7d70756e4dd2ebcaeb6a0d8292a73678956c (diff) | |
download | ghdl-3699e4f8b6bf5a2e757bcd397202dbdebf614a02.tar.gz ghdl-3699e4f8b6bf5a2e757bcd397202dbdebf614a02.tar.bz2 ghdl-3699e4f8b6bf5a2e757bcd397202dbdebf614a02.zip |
Clarify error message.
-rw-r--r-- | src/ghdldrv/ghdldrv.adb | 2 | ||||
-rw-r--r-- | src/ghdldrv/ghdllocal.adb | 3 |
2 files changed, 2 insertions, 3 deletions
diff --git a/src/ghdldrv/ghdldrv.adb b/src/ghdldrv/ghdldrv.adb index 00e26a65c..b353159d5 100644 --- a/src/ghdldrv/ghdldrv.adb +++ b/src/ghdldrv/ghdldrv.adb @@ -1147,7 +1147,7 @@ package body Ghdldrv is (Prim_Name.all & '-' & Sec_Name.all & Suffix.all); end if; if not Is_Regular_File (Base_Name.all & Nul) then - Error ("file '" & Base_Name.all & "' does not exists"); + Error ("file '" & Base_Name.all & "' does not exist"); Error ("Please elaborate your design."); raise Exec_Error; end if; diff --git a/src/ghdldrv/ghdllocal.adb b/src/ghdldrv/ghdllocal.adb index 1c3059b73..568872ab3 100644 --- a/src/ghdldrv/ghdllocal.adb +++ b/src/ghdldrv/ghdllocal.adb @@ -330,8 +330,7 @@ package body Ghdllocal is & Name & Directory_Separator & Get_Version_Path & Directory_Separator; begin if not Is_Directory (Path) then - Warning - ("library " & Name & " does not exists for " & Get_Version_Path); + Warning ("ieee library directory '" & Path & "' not found"); end if; Libraries.Add_Library_Path (Path); end Add_Library_Name; |