Skip to content

Commit

Permalink
[difftest] segfault
Browse files Browse the repository at this point in the history
run with

- module load synopsys/vc_static-V-2023.12
- nix develop --impure .#t1.blastoise.ip.vcs-emu
- pushd difftest && cargo build --release -p online_vcs && popd
- C-c exit build env

- nix run --impure .#vcs-fhs-env
- LD_PRELOAD=/nix/store/m71p7f0nymb19yn1dascklyya2i96jfw-glibc-2.39-52/lib/librt.so.1 LD_LIBRARY_PATH=/opt/synopsys/vc_static/V-2023.12/vcs-mx/linux64/lib/:$LD_LIBRARY_PATH ./difftest/target/release/online_vcs -daidir=/nix/store/b05gwv4l299k0ajvzvvkvc7fj8lkqzh8-blastoise-vcs/share/daidir
  • Loading branch information
sequencer committed Jul 21, 2024
1 parent f3f052b commit 594cbd2
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions nix/pkgs/vcs-fhs-env.nix
Original file line number Diff line number Diff line change
Expand Up @@ -23,13 +23,17 @@ buildFHSEnv {
export PATH=${vcStaticInstallPath}/vcs-mx/bin:$PATH
export PATH=${vcStaticInstallPath}/SG_COMPAT/SPYGLASS_HOME/bin:$PATH
export LD_LIBRARY_PATH=/usr/lib64/
export LD_LIBRARY_PATH=${vcStaticInstallPath}/verdi/share/PLI/lib/LINUX64:$LD_LIBRARY_PATH
export LD_LIBRARY_PATH=${vcStaticInstallPath}/verdi/share/NPI/lib/LINUX64:$LD_LIBRARY_PATH
'';
targetPkgs = (ps: with ps; [
libGL
util-linux
libxcrypt-legacy
coreutils-full
ncurses5
gmp5
bzip2
glib
bc
Expand Down

0 comments on commit 594cbd2

Please sign in to comment.