#57 disable avy by default in scripts

Author: edbordin

build.sh

@@ -23,7 +23,7 @@ COMPILE_IVERILOG="${COMPILE_IVERILOG:-0}"
 COMPILE_GHDL="${COMPILE_GHDL:-1}"
 COMPILE_Z3="${COMPILE_Z3:-1}"
 COMPILE_BOOLECTOR="${COMPILE_BOOLECTOR:-1}"
-COMPILE_AVY="${COMPILE_AVY:-1}"
+COMPILE_AVY="${COMPILE_AVY:-0}" # deliberately disabled - does not yet work
 BUNDLE_PYTHON="${BUNDLE_PYTHON:-1}"
 COMPILE_YICES2="${COMPILE_YICES2:-1}"
 BUNDLE_MAKE="${BUNDLE_MAKE:-1}"