# Clone SVF
git clone https://github.com/SVF-tools/SVF.git
cd SVF
# Build SVF in Release mode
cmake -S ./ -B Release-build
cmake --build Release-build
# Or build SVF in Debug mode
cmake -S ./ -B Debug-build -DCMAKE_BUILD_TYPE=Debug
cmake --build Debug-build

# For Release build
cd SVF-example
cmake -B build -S ./ -DSVF_DIR=/path/to/SVF 
cmake --build build
# For Debug build
cd SVF-example
cmake -B build -S ./ -DSVF_DIR=/path/to/SVF -DCMAKE_BUILD_TYPE=Debug
cmake --build build

# Clone SVF
git clone https://github.com/SVF-tools/SVF.git
cd SVF

cd SVF-example
cmake -B build -S ./ -DSVF_DIR=/path/to/install/dir
cmake --build build

npm install svf-lib

cd SVF-example
# Get npm root directory
NPM_ROOT=$(npm root)
# Set SVF_DIR to the SVF installation in npm
export SVF_DIR="$NPM_ROOT/SVF"
cmake -B build -S ./
cmake --build build

./build/svf-example ./data/example.ll

# For Bash/Zsh
export CMAKE_PREFIX_PATH="$SVF_DIR${CMAKE_PREFIX_PATH:+:$CMAKE_PREFIX_PATH}"
# For Fish
set -px --path CMAKE_LIBRARY_PATH $SVF_DIR

# For Bash/Zsh
export LD_LIBRARY_PATH="$SVF_DIR/lib:$LD_LIBRARY_PATH"
# For Fish
set -Upx LD_LIBRARY_PATH $SVF_DIR/lib