diff options
Diffstat (limited to 'scripts/ci/linux/build.sh')
-rw-r--r-- | scripts/ci/linux/build.sh | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/scripts/ci/linux/build.sh b/scripts/ci/linux/build.sh deleted file mode 100644 index b70f6de..0000000 --- a/scripts/ci/linux/build.sh +++ /dev/null @@ -1,22 +0,0 @@ -#!/bin/sh -e - -mkdir -p build - -cd build -rm -f CMakeCache.txt - -cmake \ - -DCMAKE_BUILD_TYPE=Release \ - -DSTAR_ENABLE_STATIC_LIBGCC_LIBSTDCXX=ON \ - -DSTAR_USE_JEMALLOC=ON \ - -DSTAR_ENABLE_STEAM_INTEGRATION=ON \ - -DCMAKE_INCLUDE_PATH=../lib/linux/include \ - -DCMAKE_LIBRARY_PATH=../lib/linux \ - ../source - -make -j2 - -cd .. - -mv dist linux_binaries -cp lib/linux/*.so linux_binaries/ |