Common Issues and Fixes

[kromy]

Salam all,

this is just to point out some of the issues and fixes(I'm using Ubuntu 22):

1- you need to ensure that below packages are installed by:

sudo apt update && sudo apt upgrade -y
sudo apt install -y build-essential default-jdk flex bison graphviz texlive-font-utils git xutils-dev

2- download xsb which is a pre-requesit and unzip it to /usr/local/bin by:

wget "https://sourceforge.net/projects/xsb/files/xsb/5.0%20%28Green%20Tea%29/XSB-5.0.tar.gz/download" -O - | sudo tar -zx -C /usr/local/bin

3- Build xsb by(this should be run under XSB or XSB/build):

sudo ./configure -prefix=/usr/local/bin
sudo ./makexsb
sudo ./makexsb install

4- important Environment variable to be added to (~/.bashrc)

export MULVALROOT=/location/to/the/repo/of/Mulval
export PATH=$PATH:"$MULVALROOT/bin":"$MULVALROOT/utils":/usr/local/bin/XSB/bin
source ~/.bashrc

5- Clone the repo and apply patches by:

git clone https://github.com/risksense/mulval.git (the absolute path of this will be MULVALROOT mentioned above)

cd mulval

wget "https://patch-diff.githubusercontent.com/raw/risksense/mulval/pull/9.patch" -O - | git apply -

make

to test you can run graph_gen.sh testcases/3host/input.P