From 9e02835beaa600bc1e072b49a85f6398f729900c Mon Sep 17 00:00:00 2001 From: Avimitin Date: Mon, 29 Jul 2024 23:43:36 +0800 Subject: [PATCH] [nix] differentiate exists and valid Signed-off-by: Avimitin --- nix/pkgs/vcs-fhs-env.nix | 3 ++- nix/t1/vcs.nix | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/nix/pkgs/vcs-fhs-env.nix b/nix/pkgs/vcs-fhs-env.nix index 8176b3696f..5cf0be588c 100644 --- 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 index c2a681960b..3b862f21f4 100644 --- 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 \