Update Build.wl

JerryI · Feb 19, 2025 · 1484da0 · 1484da0
1 parent a307866
commit 1484da0
Showing 1 changed file with 3 additions and 9 deletions.
diff --git 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
     ]
 ];