From 7daec4dd67b65be69b8c7e69ab6857193a260829 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Fri, 3 Jan 2025 16:48:10 +0100
Subject: [PATCH] Adapt `testmockpkg` in `ci.sh` to use `--packagedirs`

---
 dev/ci.sh | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/dev/ci.sh b/dev/ci.sh
index f61e93b349..a39c816d21 100755
--- a/dev/ci.sh
+++ b/dev/ci.sh
@@ -99,11 +99,9 @@ testmockpkg () {
     cd "$mockpkg_dir"
     echo_and_run ./configure "$gaproot"
     echo_and_run $MAKE V=1
-    # trick to make it easy to load the package in GAP
-    rm -f pkg && ln -sf . pkg
     # try to load the kernel extension
     cd "$gaproot"
-    echo_and_run $gap -A -l "$mockpkg_dir;" "$mockpkg_dir/tst/testall.g"
+    echo_and_run $gap -A --packagedirs "$mockpkg_dir" "$mockpkg_dir/tst/testall.g"
 }