From 72c0d1be24100d1eb5fb06ee691a83c222c1e489 Mon Sep 17 00:00:00 2001
From: satos <satos@fos.kuis.kyoto-u.ac.jp>
Date: Mon, 9 Sep 2024 15:25:15 +0900
Subject: [PATCH] update spot instalation guide

---
 README.md | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index d93b319..7c21438 100644
--- 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
 ```