Merge pull request #3 from satos---jp/update-install-spot-doc

Update spot instalation guide
SoftwareFoundationGroupAtKyotoU · Sep 9, 2024 · 5665abb · 5665abb
2 parents 2ba2519 + 72c0d1b
commit 5665abb
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -76,10 +76,11 @@ ProbBBC depends on [Spot](https://spot.lre.epita.fr/) for handling LTL formulas.
 
 ```shell
 ## Download the source code of spot
-wget http://www.lrde.epita.fr/dload/spot/spot-2.11.3.tar.gz
-tar xvf spot-2.11.3.tar.gz 
+wget http://www.lrde.epita.fr/dload/spot/spot-2.11.5.tar.gz
+tar xvf spot-2.11.5.tar.gz
 cd spot-2.11.5
-./configure --prefix "$OLDPWD/.venv/" --with-python_prefix  "$OLDPWD/.venv/" --with-python_exec_prefix  "$OLDPWD/.venv/"
+# Specify appropriate CPU/OS for your environment
+./configure --prefix "$OLDPWD/.venv/" --build=x86_64-unknown-linux-gnu --host=x86_64-unknown-linux-gnu
 # Build and install Spot
 make -j8 && make install
 ```