From 968ce21d089b75fb1b0d4dcdb130e0b624382f97 Mon Sep 17 00:00:00 2001
From: Konstantinos Chatzilygeroudis <costashatz@gmail.com>
Date: Tue, 17 Sep 2024 09:27:13 +0300
Subject: [PATCH] Find dartpy

---
 ci/install_dart_latest.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ci/install_dart_latest.sh b/ci/install_dart_latest.sh
index cbc4e66b..606203b4 100755
--- a/ci/install_dart_latest.sh
+++ b/ci/install_dart_latest.sh
@@ -56,6 +56,8 @@ python_file=/usr/lib/python3/dist-packages/dartpy.cpython-310-x86_64-linux-gnu.s
 if [ -f "$python_file" ]; then
 sudo cp $python_file ${PREFIX}/$python_dist_dir
 fi
+echo "Searching for dartpy.cpython-310-x86_64-linux-gnu.so ..."
+locate dartpy.cpython-310-x86_64-linux-gnu.so
 
 else
 # Hack for dartpy installation