[Scripts] update build scripts

Author: bongjunj

build.sh

@@ -5,7 +5,7 @@ export OPAMYES=1
 
 NCPU="$(getconf _NPROCESSORS_ONLN 2>/dev/null || echo 1)"
 OCAML_VERSION="5.3.0"
-OPTIMUZZ_OPAM_SWITCH=optimuzz-"$OCAML_VERSION"
+export OPTIMUZZ_OPAM_SWITCH="optimuzz-$OCAML_VERSION"
 opam init --reinit --bare --no-setup
 
 switch_exists=no
@@ -22,11 +22,11 @@ else
   opam switch $OPTIMUZZ_OPAM_SWITCH
 fi
 
-eval $(SHELL=bash opam config env --switch=$OPTIMUZZ_OPAM_SWITCH)
+eval $(SHELL=bash opam env --switch=$OPTIMUZZ_OPAM_SWITCH)
 opam pin https://github.com/prosyslab/logger.git
-opam install -j $NCPU dune logger domainslib progress ocamlgraph
-opam install -j $NCPU ocamlformat merlin ocp-index ocp-indent ocaml-lsp-server # for development
-scripts/llvm-20.sh
+opam install -j $NCPU dune ctypes domainslib progress ocamlgraph ocamlformat merlin ocp-index ocp-indent ocaml-lsp-server
+scripts/llvm20.sh
+scrtips/alive.sh
 
 make
 # opam install -j $NCPU llvm.16.0.6+nnp

scripts/alive.sh

@@ -0,0 +1,19 @@
+#! /usr/bin/env bash
+
+set -e
+
+echo "LLVM_PATH: $LLVM_PATH"
+
+git submodule update --init --remote alive2
+
+pushd alive2
+git checkout v20.0
+
+rm -rf build
+mkdir -p build
+
+pushd build
+cmake -GNinja -DCMAKE_PREFIX_PATH="$LLVM_PATH" -DBUILD_TV=1 -DCMAKE_BUILD_TYPE=Release ..
+ninja
+popd
+popd

scripts/llvm20.sh

@@ -4,8 +4,11 @@
 
 export OPAMYES=1
 
+set -e
+
 echo $LLVM_PATH
 opam switch
+eval $(opam env)
 
 opam install ctypes
 
@@ -29,6 +32,7 @@ cmake -G Ninja ../llvm \
     -DLLVM_ENABLE_DOXYGEN=OFF \
     -DLLVM_ENABLE_OCAMLDOC=OFF \
     -DLLVM_OCAML_INSTALL_PATH="$(opam var lib)"
+ninja
 sudo ninja install
 popd
 popd