Update build scripts.

incomplete/llvm-clang/build.sh

@@ -1,10 +1,10 @@
 #!/bin/bash
 
-DOWNLOAD_DIR=http://llvm.org/releases/3.3/
-LLVM_FILENAME=llvm-3.3.src
-CLANG_FILENAME=cfe-3.3.src
-LLVM_TAR_FILE=${LLVM_FILENAME}.tar.gz
-CLANG_TAR_FILE=${CLANG_FILENAME}.tar.gz
+DOWNLOAD_DIR=http://llvm.org/releases/3.5.0/
+LLVM_FILENAME=llvm-3.5.0.src
+CLANG_FILENAME=cfe-3.5.0.src
+LLVM_TAR_FILE=${LLVM_FILENAME}.tar.xz
+CLANG_TAR_FILE=${CLANG_FILENAME}.tar.xz
 
 EMCONFIGURE=emconfigure
 EMMAKE=emmake
@@ -55,7 +55,7 @@ chmod +x js/Release/bin/clang-tblgen
 echo "Building JavaScript"
 mkdir -p js
 cd js
-$EMCONFIGURE ../configure $CONFIGURE_OPTIONS
+$EMCONFIGURE ../configure $CONFIGURE_OPTIONS --disable-zlib
 $EMMAKE make
 if [ ! -e "Release/bin/clang" ]; then
     echo "The clang bytecode file does not exist."

lingeling/build.sh

@@ -33,7 +33,7 @@ echo "Building"
 $EMCONFIGURE ./configure.sh
 $EMMAKE make lingeling
 ln -s lingeling lingeling.bc
-$EMCC -O3 -s EXPORTED_FUNCTIONS='["_solve_string"]' -s TOTAL_MEMORY=33554432 -s PRECISE_I64_MATH=1 lingeling.bc -o lingeling.js
+$EMCC -O3 -s EXPORTED_FUNCTIONS='["_solve_string"]' -s TOTAL_MEMORY=33554432 -s TOTAL_STACK=26214400 -s PRECISE_I64_MATH=1 lingeling.bc -o lingeling.js
 cp lingeling.js{,.mem} ../
 cd ..
 

minisat/build.sh

@@ -20,7 +20,7 @@ cd minisat
 $EMMAKE make r
 cd build/release/bin
 ln -s minisat minisat.bc
-$EMCC -O3 -s EXPORTED_FUNCTIONS='["_solve_string"]' -s TOTAL_MEMORY=67108864 minisat.bc -o minisat.js
+$EMCC -O3 -s EXPORTED_FUNCTIONS='["_solve_string"]' -s TOTAL_MEMORY=67108864 -s TOTAL_STACK=26214400 minisat.bc -o minisat.js
 cd ../../../..
 cp minisat/build/release/bin/minisat.js{,.mem} .