File indexing completed on 2024-04-28 07:52:49

0001 #!/bin/bash
0002 
0003 if ! [ -d build ]; then
0004         mkdir build
0005 fi
0006 
0007 cd build
0008 
0009 cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr && make -j 4