From 6cf0e9f58eb1c42153ab5d4de87ddd91d50eabbd Mon Sep 17 00:00:00 2001 From: Relintai Date: Sun, 24 Dec 2023 00:26:37 +0100 Subject: [PATCH] Added a build helper script. --- build_lib.sh | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100755 build_lib.sh diff --git a/build_lib.sh b/build_lib.sh new file mode 100755 index 0000000..72535ad --- /dev/null +++ b/build_lib.sh @@ -0,0 +1,8 @@ + +if [ -z "$1" ]; then + scons bel_strip_slim -j4 editor_docs=no pmlpp_shared=yes +else + scons bel_strip_slim -j4 editor_docs=no pmlpp_shared=yes bin/libpmlpp.x11.opt.tools.64.so +fi + +