Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/llp64
/
.
/
script
/
ci.sh
blob: eb6ef0c61f9a122409877b23c43cd8166b1b6e53 [
file
] [
edit
]
#!/usr/bin/env bash
set
-
e
mkdir build
cd build
eval
cmake
../
src $CMAKE_OPTIONS
cmake
--
build
.
# -T to create .xml file
ctest
-
j8
--
output
-
on
-
failure
--
no
-
compress
-
output
-
T
Test
cpack