diff --git a/make-ci.sh b/make-ci.sh index a962851..2fc70b3 100755 --- a/make-ci.sh +++ b/make-ci.sh @@ -7,20 +7,22 @@ env | sort sudo apt-get update sudo apt-get install -y libhiredis-dev libev-dev libgtest-dev redis-server +# Clean +rm -rf build +mkdir build +cd build + # Make gtest git clone https://github.com/google/googletest cd googletest -mkdir -p build +mkdir build cd build -cmake .. -make -sudo mv googlemock/gtest/libg* /usr/local/lib/ +cmake -DBUILD_GMOCK=OFF -DBUILD_GTEST=ON -DBUILD_SHARED_LIBS=ON .. +time make +sudo mv googletest/libg* /usr/local/lib/ cd ../.. -rm -rf googletest # Make redox -mkdir -p build -cd build cmake -Dexamples=ON -Dlib=ON -Dstatic_lib=ON -Dtests=ON .. time make ./test_redox