Merge pull request #43 from rbarzic/master

Add support for installation directory selection
casouri · Apr 8, 2024 · 2d142d1 · 2d142d1
2 parents 8fe4300 + 469871b
commit 2d142d1
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/build.sh b/build.sh
@@ -174,8 +174,14 @@ else
 fi
 
 ### Copy out
+if [[ -n "$INSTALL_DIR" ]]; then
+    _install_dir="$INSTALL_DIR"
+    echo "Copying libtree-sitter-${lang}.${soext} to $_install_dir"
+else
+  _install_dir="${topdir}/dist"
+fi
 
-mkdir -p "${topdir}/dist"
-cp "libtree-sitter-${lang}.${soext}" "${topdir}/dist"
+mkdir -p "$_install_dir"
+cp "libtree-sitter-${lang}.${soext}" "$_install_dir"
 cd "${topdir}"
 rm -rf "${lang}"