init

2020-09-04 16:19:52 +01:00
commit 33d0e9c193
40 changed files with 3807 additions and 0 deletions
@@ -0,0 +1,11 @@
+ROOT_DIR=`pwd`
+if [ -d "$ROOT_DIR/build" ]; then
+   echo "deleting build"
+   rm -r build  
+fi
+   mkdir -p build && cd build && \
+   cmake ../
+   make
+
+
+