Skip to content

Commit

Permalink
environment.sh: Add example configuration for NixOS
Browse files Browse the repository at this point in the history
This works if the lattice-diamond package from nixpkgs is installed and
"diamond" is in the path.
  • Loading branch information
neuschaefer committed Feb 24, 2023
1 parent f3f4db5 commit 287bd7f
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions environment.sh
Original file line number Diff line number Diff line change
Expand Up @@ -27,6 +27,7 @@ cat > "${USER_ENV}" << EOT
# Changes to this file will be automatically ignored by Git
# export DIAMONDDIR=/usr/local/diamond/3.10_x64
# export DIAMONDDIR="$(realpath "$(dirname "$(realpath "$(which diamond)")")"/../diamond)" # suitable for NixOS
EOT
fi

Expand Down

0 comments on commit 287bd7f

Please sign in to comment.