Update build-ceres.sh

joyantaDebnath · Sep 21, 2023 · 7b118f7 · 7b118f7
1 parent 0180dbe
commit 7b118f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build-ceres.sh b/build-ceres.sh
@@ -10,7 +10,7 @@ mkdir ~/.ceres/
 
 ## install pre-requisite packages
 sudo apt-get update
-sudo apt-get -y install python3.11 python3-pip ghc libghc-regex-compat-dev libghc-text-icu-dev
+sudo apt-get -y install python3 python3-pip ghc libghc-regex-compat-dev libghc-text-icu-dev
 pip3 install parsec
 pip3 install pyinstaller
 pip3 install pysmt