From 2bbbebed9ff8e0055a55023fbe015f1b127217cd Mon Sep 17 00:00:00 2001
From: sanmiguel <michael.coles@gmail.com>
Date: Sat, 11 Feb 2017 22:03:18 +0100
Subject: Attempt a more accurate way to get apps for dialyzer PLT building

---
 kerl | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/kerl b/kerl
index 090021d..06577b3 100755
--- a/kerl
+++ b/kerl
@@ -946,8 +946,9 @@ build_plt()
     plt=$dialyzerd/plt
     build_log=$dialyzerd/build.log
     dialyzer=$1/bin/dialyzer
-    apps=`ls -1 $1/lib | cut -d- -f1 | grep -Ev 'erl_interface|jinterface' | xargs echo`
-    $dialyzer --output_plt $plt --build_plt --apps $apps > $build_log 2>&1
+    dirs=`find $1/lib -maxdepth 2 -name ebin -type d -exec dirname {} \;`
+    apps=`for app in $dirs; do basename $app | cut -d- -f1 ; done | grep -Ev 'erl_interface|jinterface' | xargs echo`
+    $dialyzer --output_plt $plt --build_plt --apps $apps >> $build_log 2>&1
     status=$?
     if [ $status -eq 0 -o $status -eq 2 ]; then
         echo "Done building $plt"
-- 
cgit v1.2.3