diff options
| -rw-r--r-- | makefile | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/makefile b/makefile new file mode 100644 index 000000000..f9b47c2ca --- /dev/null +++ b/makefile @@ -0,0 +1,22 @@ +# SPDX-License-Identifier: GPL-2.0 + +# Default target executed when no arguments are given to make. +default_target: all + +.PHONY : default_target + +# Allow only one "make -f <foo>" at a time, but pass parallelism. +.NOTPARALLEL: + + +mobile: + if test ! -d build-mobile; then (echo "error: please run build.sh before make"; exit -1;); fi + cd build-mobile; LIBRARY_PATH=../install_root/lib make + cd build-mobile; LIBRARY_PATH=../install_root/lib make install + +desktop: + if test ! -d build; then (echo "error: please run build.sh before make"; exit -1;); fi + cd build; LIBRARY_PATH=../install_root/lib make + cd build; LIBRARY_PATH=../install_root/lib make install + +all: desktop mobile |