2021-07-31 18:56:18 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
2023-06-21 19:06:37 +02:00
|
|
|
WLCS_SHA=12234affdc0a4cc104fbaf8a502efc5f822b973b
|
2023-06-21 18:54:09 +02:00
|
|
|
|
2023-06-21 19:05:17 +02:00
|
|
|
if [ -f "./wlcs/wlcs" ] && [ "$(cd wlcs; git rev-parse HEAD)" = "${WLCS_SHA}" ] ; then
|
2021-07-31 18:56:18 +02:00
|
|
|
echo "Using cached WLCS."
|
|
|
|
else
|
|
|
|
echo "Compiling WLCS."
|
|
|
|
git clone https://github.com/MirServer/wlcs.git
|
2023-06-21 18:58:05 +02:00
|
|
|
cd wlcs || exit
|
2021-07-31 18:56:18 +02:00
|
|
|
# checkout a specific revision
|
2023-06-21 18:54:09 +02:00
|
|
|
git reset --hard "${WLCS_SHA}"
|
2023-06-21 18:56:02 +02:00
|
|
|
cmake -DWLCS_BUILD_ASAN=False -DWLCS_BUILD_TSAN=False -DWLCS_BUILD_UBSAN=False -DCMAKE_EXPORT_COMPILE_COMMANDS=1 .
|
2021-07-31 18:56:18 +02:00
|
|
|
make
|
|
|
|
fi
|