diff --git a/incomplete/llvm-clang/build.sh b/incomplete/llvm-clang/build.sh index e3b7ee5..f03d3a5 100755 --- a/incomplete/llvm-clang/build.sh +++ b/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." diff --git a/lingeling/build.sh b/lingeling/build.sh index b76e9ae..2feccdf 100755 --- a/lingeling/build.sh +++ b/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 .. diff --git a/minisat/build.sh b/minisat/build.sh index 49d6d24..e6bfa19 100755 --- a/minisat/build.sh +++ b/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} .