#!/bin/bash

PROJECTHOME=$(pwd)

sysOS=`uname -s`

LLVMHome="llvm-13.0.0.obj"

Z3Home="z3.obj"

install_path=`npm root`

export LLVM_DIR=$install_path/$LLVMHome

export Z3_DIR=$install_path/$Z3Home

export PATH=$LLVM_DIR/bin:$PATH

export PATH=$PROJECTHOME/bin:$PATH

echo "export LLVM_DIR=$install_path/$LLVMHome" >> ~/.bashrc

echo "export Z3_DIR=$install_path/$Z3Home" >> ~/.bashrc

echo "export PATH=$LLVM_DIR/bin:$PROJECTHOME/bin:$PATH" >> ~/.bashrc

if [[ $sysOS == "Darwin" ]]

then

export SVF_DIR=$install_path/SVF/

elif [[ $sysOS == "Linux" ]]

then

export SVF_DIR=$install_path/SVF/

fi

echo "LLVM_DIR="$LLVM_DIR

echo "SVF_DIR="$SVF_DIR

echo "Z3_DIR="$Z3_DIR