File indexing completed on 2025-07-06 12:02:19
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