From dd6e5ff8f979932d0a41ccf13f1bb1ccc5b1d677 Mon Sep 17 00:00:00 2001 From: Kirill Vasin Date: Wed, 19 Feb 2025 13:39:00 +0100 Subject: [PATCH] Update Build.wl --- Scripts/Build.wl | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/Scripts/Build.wl b/Scripts/Build.wl index 709ebc6..c4c80b0 100644 --- a/Scripts/Build.wl +++ b/Scripts/Build.wl @@ -4,10 +4,16 @@ Get["CCompilerDriver`"]; Get["LibraryLink`"]; Echo[$CCompiler]; -Echo[CCompilers[]]; - +Echo[CCompilers[Full]]; +Needs["CCompilerDriver`GenericCCompiler`"] +$CCompiler={"Compiler"->GenericCCompiler, + "CompilerInstallation"->"/usr/bin", + "CompilerName"->"gcc"}; +CCompilers[Full] = {{"Compiler"->GenericCCompiler, + "CompilerInstallation"->"/usr/bin", + "CompilerName"->"gcc"}} ; getLibraryLinkVersion[] :=