Merge pull request #6 from DVLab-NTU/feat/hot-fix

Add the gmp dependency for linux

README.md

@@ -14,11 +14,11 @@ brew tap Homebrew/bundle && brew bundle
 
 export PATH="$(brew --prefix)/bin:$PATH"
 ```
-- for linux :
+- for linux (Ubuntu) :
 ```bash=
 sudo apt-get -y install gperf build-essential bison flex libreadline-dev gawk tcl-dev libffi-dev git cmake parallel
 
-sudo apt-get -y install graphviz xdot pkg-config python3 libboost-system-dev libboost-python-dev libboost-filesystem-dev zlib1g-dev
+sudo apt-get -y install graphviz xdot pkg-config python3 libboost-system-dev libboost-python-dev libboost-filesystem-dev zlib1g-dev libgmp-dev
 ```
 
 ## Compile