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