Update a machine setup script

scripts/hls-setup-a-machine.sh

@@ -7,18 +7,12 @@
 pushd $(git rev-parse --show-toplevel)
 export RDIR=$(git rev-parse --show-toplevel)/../../
 
-# modify the pk source code to enable pk for custom instructions
-pushd $RDIR/toolchains/riscv-tools/riscv-pk
-git apply $RDIR/tools/centrifuge/patches/riscv-pk.patch
-popd
-
 if [ -d /ecad/tools ]; then
-    #source /ecad/tools/fpga.bashrc
-    #source /ecad/tools/xilinx/Vivado/2017.1/settings64.sh > /dev/null
     source /ecad/tools/vlsi.bashrc 
     export VCS_HOME=/ecad/tools/synopsys/vcs/P-2019.06
     export VCS_LIC_EXPIRE_WARNING=0
     export XILINXD_LICENSE_FILE="2200@sunv40z-1.eecs.berkeley.edu"
+    source /ecad/tools/xilinx/Vivado/2018.2/settings64.sh > /dev/null
 fi
 
 # Setup all the auxiliary makefiles for RISC-V baremetal compilation for print statement and etc.