From 1484da0a714b6036ca6678d556e81461104532bc Mon Sep 17 00:00:00 2001 From: Kirill Vasin Date: Wed, 19 Feb 2025 13:35:11 +0100 Subject: [PATCH] Update Build.wl --- Scripts/Build.wl | 12 +++--------- 1 file changed, 3 insertions(+), 9 deletions(-) diff --git a/Scripts/Build.wl b/Scripts/Build.wl index 212161d..709ebc6 100644 --- a/Scripts/Build.wl +++ b/Scripts/Build.wl @@ -6,15 +6,6 @@ Get["LibraryLink`"]; Echo[$CCompiler]; Echo[CCompilers[]]; -If[Length[CCompilers[]] === 0, - $CCompiler={"Compiler"->GenericCCompiler, - "CompilerInstallation"->"/usr/bin", - "CompilerName"->"gcc", - "ShellOutputFunction"->Print} -, -$CCompiler = Last[CCompilers[]]; -]; - @@ -64,6 +55,9 @@ Block[{$directory, $libSrc, $libDir, $linkerOptions}, "TargetDirectory" -> $libDir, "Debug" -> True, "ShellOutputFunction"->Print, + "Compiler"->GenericCCompiler, + "CompilerInstallation"->"/usr/bin", + "CompilerName"->"gcc", opts ] ];