diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-10-29 12:06:05 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-10-29 12:06:05 +0000 |
| commit | 4ee6646b8a78d4c20fe0b89d95f23d382e1c47fc (patch) | |
| tree | 9b02e1b92f8abf0baf3dc108ab7f4fb8f33e753a /scripts/setup.sh | |
| parent | 1aaff80235237507572e0fb4be86f34cb1829b68 (diff) | |
| parent | 01c2ab3f6a58d416528efce3057e2cf2f1604489 (diff) | |
| download | verismith-feature/nondeterminism.tar.gz verismith-feature/nondeterminism.zip | |
Merge branch 'master' into HEADfeature/nondeterminism
Diffstat (limited to 'scripts/setup.sh')
| -rw-r--r-- | scripts/setup.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/setup.sh b/scripts/setup.sh index cef1cbc..6f6243e 100644 --- a/scripts/setup.sh +++ b/scripts/setup.sh @@ -16,14 +16,14 @@ sudo chown -R ec2-user:ec2-user /mnt/tools/home/ec2-user sudo chown -R ec2-user:ec2-user /mnt/work curl https://nixos.org/nix/install | sh -. $HOME/.nix-profile/etc/profile.d/nix.sh { cat <<EOF +. $HOME/.nix-profile/etc/profile.d/nix.sh + export PATH="/mnt/tools/opt/yosys/master/bin:\${PATH}" export PATH="\${PATH}:/mnt/tools/bin" export PATH="\${PATH}:/mnt/tools/opt/Xilinx/14.7/ISE_DS/ISE/bin/lin64" export PATH="\${PATH}:/mnt/tools/opt/Xilinx/Vivado/2018.3/bin" +export AFL_PATH=/mnt/tools/lib/afl EOF } >> $HOME/.bashrc - -source $HOME/.bashrc |