[nix] differentiate exists and valid

Signed-off-by: Avimitin <[email protected]>
chipsalliance · Jul 29, 2024 · 9e02835 · 9e02835
1 parent eb57d9f
commit 9e02835
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/nix/pkgs/vcs-fhs-env.nix b/nix/pkgs/vcs-fhs-env.nix
@@ -6,7 +6,8 @@ buildFHSEnv {
   name = "vcs-fhs-env";
 
   profile = ''
-    [ ! -d "${vcStaticHome}"  ] && echo "env VC_STATIC_HOME not set" && exit 1
+    [ ! -e "${vcStaticHome}"  ] && echo "env VC_STATIC_HOME not set" && exit 1
+    [ ! -d "${vcStaticHome}"  ] && echo "VC_STATIC_HOME not accessible" && exit 1
     [ -z "${snpslmdLicenseFile}"  ] && echo "env SNPS LICENSE not set" && exit 1
     export VC_STATIC_HOME=${vcStaticHome}
 

diff --git a/nix/t1/vcs.nix b/nix/t1/vcs.nix
@@ -26,8 +26,8 @@ stdenv.mkDerivation {
       -sverilog \
       -full64 \
       -timescale=1ns/1ps \
+      -P $VERDI_HOME/share/PLI/VCS/LINUX64/novas.tab $VERDI_HOME/share/PLI/VCS/LINUX64/pli.a \
       ${lib.optionalString vcs-dpi-lib.enable-trace ''
-        -P $VERDI_HOME/share/PLI/VCS/LINUX64/novas.tab $VERDI_HOME/share/PLI/VCS/LINUX64/pli.a \
         -debug_access+pp+dmptf+thread \
         -kdb=common_elab,hgldd_all''} \
       -file filelist.f \