lean4-htt/script/ci.sh
Sebastian Ullrich 279746fa6a chore: change stage1-3 into homogeneous ExternalProjects from new top-level /CMakeLists.txt
This ensures stage2+3 are full, standalone Lean installations
2020-05-14 14:47:54 +02:00

7 lines
101 B
Bash
Executable file

#!/usr/bin/env bash
set -e
mkdir build
cd build
eval cmake .. $CMAKE_OPTIONS
make
(cd stage1; cpack)