Adapt testmockpkg in ci.sh to use --packagedirs

gap-system · Jan 3, 2025 · 7daec4d · 7daec4d
1 parent acd18ad
commit 7daec4d
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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"
 }