From 507270e776cb549bd0c56ba14455c870922fbff0 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Tue, 24 Sep 2024 12:26:43 +0200 Subject: [PATCH] Hack to avoid warning about Downloads package (#1054) --- pkg/JuliaInterface/gap/JuliaInterface.gi | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkg/JuliaInterface/gap/JuliaInterface.gi b/pkg/JuliaInterface/gap/JuliaInterface.gi index a58880157..2d7b68a68 100644 --- a/pkg/JuliaInterface/gap/JuliaInterface.gi +++ b/pkg/JuliaInterface/gap/JuliaInterface.gi @@ -131,6 +131,10 @@ InstallGlobalFunction( JuliaImportPackage, function( pkgname ) if JuliaEvalString( callstring ) = true then return true; else + # HACK: avoid warning "The Julia package 'Downloads' cannot be loaded" + # with older versions of the GAP PackageManager + if pkgname = "Downloads" then return false; fi; + Info( InfoWarning, 1, "The Julia package '", pkgname, "' cannot be loaded." ); return false;