Build source with docker technology

[anna.git] / docker-images / anna-build-nodb / deps / build.sh

diff --git a/docker-images/anna-build-nodb/deps/build.sh b/docker-images/anna-build-nodb/deps/build.sh
new file mode 100755 (executable)
index 0000000..1243d5c
--- /dev/null
+++ b/docker-images/anna-build-nodb/deps/build.sh
@@ -0,0 +1,10 @@
+#!/bin/sh
+if [ -x ./`basename $0` ]
+then
+   exec ./`basename $0` $@
+else
+   cmake -DSKIP_DATABASE_BUILD=1 $@ .
+   make -j `grep processor /proc/cpuinfo | wc -l` $2
+   make doc
+fi
+exit $?