使うminisatのリポジトリを変更．

参考: niklasso/minisat#16
Yokohama-Miyazawa · Dec 9, 2019 · e02a511 · e02a511
1 parent f7ccb6a
commit e02a511
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/minisat/build.sh b/minisat/build.sh
@@ -9,7 +9,8 @@ cd build
 
 if [ ! -d "minisat" ]; then
     echo "Cloning from git"
-    git clone https://github.com/niklasso/minisat.git
+    #git clone https://github.com/niklasso/minisat.git
+    git clone https://github.com/agurfinkel/minisat.git
 
     echo "Patching minisat to build and work with emscripten"
     for p in ../patches/*.patch; do patch -p0 < $p; done