File indexing completed on 2021-12-21 12:24:51
0001 #!/bin/bash 0002 0003 BUILDDIR=build 0004 0005 if [ ! -d $BUILDDIR ]; then 0006 mkdir $BUILDDIR 0007 fi 0008 0009 cd $BUILDDIR 0010 0011 cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr && make -j 4 0012 0013 #cmake .. -DCMAKE_BUILD_TYPE=Debug -DCMAKE_EXPORT_COMPILE_COMMANDS=ON -DBUILD_COVERAGE=ON -DECM_ENABLE_SANITIZERS='address' -DCMAKE_INSTALL_PREFIX=/usr && make -j 4