Fix Oscar.build() (#3728)

oscar-system · May 22, 2024 · 5e39d99 · 5e39d99
1 parent 848707a
commit 5e39d99
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/system/Build.jl b/system/Build.jl
@@ -27,11 +27,12 @@ Oscar.system("precompile.jl")
 
 sysimage=joinpath(tmp, "Oscar.$(Libdl.dlext)")
 if !("JULIA_CPU_TARGET" in keys(ENV)) || (ENV["JULIA_CPU_TARGET"] == "")
-  PackageCompiler.create_sysimage([:Oscar], sysimage_path=sysimage, precompile_execution_file=CO)
+  println("Building system image for generic target. Use JULIA_CPU_TARGET to change.")
+  target = PackageCompiler.default_app_cpu_target()
 else
   target = ENV["JULIA_CPU_TARGET"]
-  PackageCompiler.create_sysimage([:Oscar], sysimage_path=sysimage, precompile_execution_file=CO; cpu_target=target)
 end
+PackageCompiler.create_sysimage([:Oscar], sysimage_path=sysimage, precompile_execution_file=CO; cpu_target=target)
 
 println("(re)start julia as")
 println("\tjulia -J $(sysimage)")
diff --git a/system/precompile.jl b/system/precompile.jl
@@ -1,9 +1,8 @@
 import Pkg
 Pkg.add("Documenter")
 Pkg.add("PrettyTables")
-Pkg.add("Aqua")
-
+Pkg.add("JSONSchema")
 Pkg.precompile()
-
+ENV["OSCAR_TEST_SUBSET"] = "short"
 include(joinpath(pkgdir(Oscar), "test", "runtests.jl"))
 Hecke.system("precompile.jl")