From 4ab13d5c2b7c64d84de897b67304d63b8e0c904a Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Fri, 6 Mar 2020 20:36:39 +0100 Subject: ghdllocal: improve help. --- src/ghdldrv/ghdllocal.adb | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'src') diff --git a/src/ghdldrv/ghdllocal.adb b/src/ghdldrv/ghdllocal.adb index 3baea8889..45a0152fa 100644 --- a/src/ghdldrv/ghdllocal.adb +++ b/src/ghdldrv/ghdllocal.adb @@ -175,11 +175,9 @@ package body Ghdllocal is P (" --work=NAME Set the name of the WORK library"); P (" -PDIR Add DIR in the library search path"); P (" --workdir=DIR Specify the directory of the WORK library"); - P (" --PREFIX=DIR Specify installation prefix"); - P (" --ieee=NAME Use NAME as ieee library, where name is:"); - P (" standard: standard version (default)"); - P (" synopsys: vendor version (not advised)"); - P (" none: do not use a predefined ieee library"); + P (" -fsynopsys Allow to use synopsys packages in ieee library"); + P (" -frelaxed Relax semantic rules"); + P (" -fexplicit Gives priority to explicit operator redefinitions"); end Disp_Long_Help; function Is_Directory_Separator (C : Character) return Boolean is -- cgit v1.2.3