:wrench: Update gwion-pkg

diff --git a/scripts/gwion-pkg b/scripts/gwion-pkg
index 0840521e452fc9b29aa4c7214989e15b4a999474..e268072f2b4963bc13a7baf90c0c5885d3cccb3e 100644 (file)
--- a/scripts/gwion-pkg
+++ b/scripts/gwion-pkg
@@ -43,7 +43,9 @@ install_plug() {
   echo "installing $2 $3"
   index=$(printf "%04i" $3)
   [ -f .gwion-pkg/${index}_$(basename $1 .manifest).so ] && rm .gwion-pkg/${index}_$(basename $1 .manifest).so
-  ln $PLUG .gwion-pkg/${index}_$(basename $1 .manifest).so
+  [ -f $PLUG ] || return 1
+  ln -s $PLUG .gwion-pkg/${index}_$(basename $1 .manifest).so
+  return 0
 }
 
 install_manifest() {
@@ -51,8 +53,16 @@ install_manifest() {
   do
     [ -d $DIR ] || continue
     PLUG=$DIR/$(basename $1 .manifest).so
-    [ -f $PLUG ] || make
-    install_plug "$1" "$PLUG" $2
+    [ -f $PLUG ] || {
+      [ -f $DIR/Makefile ] || continue;
+      NAME=$(grep "NAME=" $DIR/Makefile | cut -d= -f2)
+      BASENAME=$(basename $1 .manifest)
+      [ $NAME != $BASENAME ] && continue
+      pushd $DIR
+      make
+      popd
+    }
+    install_plug "$1" "$PLUG" $2 && break
   done
 }