Package evaluation of Fatou on Julia 1.13.0-DEV.791 (d5209bd37d*) started at 2025-07-04T11:58:29.452


################################################################################
# Set-up
#


Set-up completed after 0.21s


################################################################################
# Installation
#

Installing Fatou...
   Resolving package versions...
    Updating `~/.julia/environments/v1.13/Project.toml`
  [5f923234] + Fatou v1.2.1
    Updating `~/.julia/environments/v1.13/Manifest.toml`
  [398f06c4] + AbstractLattices v0.3.1
  [a8e43f4a] + AbstractTensors v0.8.9
  [35d6a980] + ColorSchemes v3.29.0
  [3da002f7] + ColorTypes v0.12.1
  [c3611d14] + ColorVectorSpace v0.11.0
  [5ae59095] + Colors v0.13.1
  [5f923234] + Fatou v1.2.1
  [53c48c17] + FixedPointNumbers v0.8.5
  [9dda63f9] + ForceImport v0.0.3
  [b964fa9f] + LaTeXStrings v1.4.0
  [aea7be01] + PrecompileTools v1.3.2
  [21216c6a] + Preferences v1.4.3
  [93e0c654] + Reduce v1.2.15
  [189a3867] + Reexport v1.2.2
  [b873ce64] + ReplMaker v0.2.7
  [ae029012] + Requires v1.3.1
  [20fadf95] + StaticVectors v1.0.8
  [10745b16] + Statistics v1.11.1
  [a4af3ec5] + SyntaxTree v1.0.1
  [62fd8b95] + TensorCore v0.1.1
  [56f22d72] + Artifacts v1.11.0
  [2a0f44e3] + Base64 v1.11.0
  [ade2ca70] + Dates v1.11.0
  [7b1f6079] + FileWatching v1.11.0
  [b77e0a4c] + InteractiveUtils v1.11.0
  [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0
  [8f399da3] + Libdl v1.11.0
  [37e2e46d] + LinearAlgebra v1.12.0
  [56ddb016] + Logging v1.11.0
  [d6f4376e] + Markdown v1.11.0
  [de0858da] + Printf v1.11.0
  [3fa0cd96] + REPL v1.11.0
  [9a3f8284] + Random v1.11.0
  [ea8e919c] + SHA v0.7.0
  [9e88b42a] + Serialization v1.11.0
  [6462fe0b] + Sockets v1.11.0
  [f489334b] + StyledStrings v1.11.0
  [fa267f1f] + TOML v1.0.3
  [8dfed614] + Test v1.11.0
  [cf7118a7] + UUIDs v1.11.0
  [4ec0a83e] + Unicode v1.11.0
  [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1
  [4536629a] + OpenBLAS_jll v0.3.29+0
  [8e850b90] + libblastrampoline_jll v5.13.1+0

Installation completed after 5.6s


################################################################################
# Precompilation
#

Precompiling PkgEval dependencies...
No packages added to or removed from `~/.julia/environments/pkgeval/Project.toml`
No packages added to or removed from `~/.julia/environments/pkgeval/Manifest.toml`

Precompiling package dependencies...
Precompiling packages...
           ✗ Fatou
  0 dependencies successfully precompiled in 16 seconds. 34 already precompiled.

ERROR: LoadError: The following 1 direct dependency failed to precompile:

Fatou 

Failed to precompile Fatou [5f923234-c850-556d-bb4f-28324fa1959a] to "/home/pkgeval/.julia/compiled/v1.13/Fatou/jl_rTgKN5" (ProcessExited(1)).
ERROR: LoadError: InitError: IOError: could not spawn `/home/pkgeval/.julia/packages/Reduce/uoKuq/src/../deps/usr/bin/redcsl -w`: no such file or directory (ENOENT)
Stacktrace:
  [1] _spawn_primitive(file::String, cmd::Cmd, stdio::Memory{Union{RawFD, Base.SyncCloseFD, IO}})
    @ Base ./process.jl:140
  [2] _spawn
    @ ./process.jl:157 [inlined]
  [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) (repeats 3 times)
    @ Base ./process.jl:179
  [4] #_spawn##0
    @ ./process.jl:149 [inlined]
  [5] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, IO}})
    @ Base ./process.jl:236
  [6] _spawn
    @ ./process.jl:148 [inlined]
  [7] run(::Base.CmdRedirect; wait::Bool)
    @ Base ./process.jl:520
  [8] run
    @ ./process.jl:514 [inlined]
  [9] _spawn
    @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:53 [inlined]
 [10] Reduce.PSL()
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:25
 [11] Load()
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:334
 [12] __init__()
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:329
 [13] run_module_init(mod::Module, i::Int64)
    @ Base ./loading.jl:1416
 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1404
 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}; register::Bool)
    @ Base ./loading.jl:1292
 [16] _include_from_serialized
    @ ./loading.jl:1246 [inlined]
 [17] _require_search_from_serialized(pkg::Base.PkgId, sourcepath::String, build_id::UInt128, stalecheck::Bool; reasons::Dict{String, Int64}, DEPOT_PATH::Vector{String})
    @ Base ./loading.jl:2088
 [18] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2600
 [19] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2466
 [20] macro expansion
    @ ./loading.jl:2394 [inlined]
 [21] macro expansion
    @ ./lock.jl:376 [inlined]
 [22] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2359
 [23] require
    @ ./loading.jl:2335 [inlined]
 [24] eval_import_path
    @ ./module.jl:36 [inlined]
 [25] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [26] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
 [27] top-level scope
    @ ~/.julia/packages/Fatou/PB1wu/src/Fatou.jl:2
 [28] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [29] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
    @ Base ./loading.jl:3000
 [30] top-level scope
    @ stdin:5
 [31] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [32] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2846
 [33] include_string
    @ ./loading.jl:2856 [inlined]
 [34] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:322
 [35] _start()
    @ Base ./client.jl:557
during initialization of module Reduce
in expression starting at /home/pkgeval/.julia/packages/Fatou/PB1wu/src/Fatou.jl:1
in expression starting at stdin:5

caused by: IOError: could not spawn `redcsl -w`: no such file or directory (ENOENT)
Stacktrace:
  [1] _spawn_primitive(file::String, cmd::Cmd, stdio::Memory{Union{RawFD, Base.SyncCloseFD, IO}})
    @ Base ./process.jl:140
  [2] _spawn
    @ ./process.jl:157 [inlined]
  [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) (repeats 3 times)
    @ Base ./process.jl:179
  [4] #_spawn##0
    @ ./process.jl:149 [inlined]
  [5] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, IO}})
    @ Base ./process.jl:236
  [6] _spawn
    @ ./process.jl:148 [inlined]
  [7] run(::Base.CmdRedirect; wait::Bool)
    @ Base ./process.jl:520
  [8] run
    @ ./process.jl:514 [inlined]
  [9] _spawn
    @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:53 [inlined]
 [10] Reduce.PSL()
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:23
 [11] Load()
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:334
 [12] __init__()
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:329
 [13] run_module_init(mod::Module, i::Int64)
    @ Base ./loading.jl:1416
 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1404
 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}; register::Bool)
    @ Base ./loading.jl:1292
 [16] _include_from_serialized
    @ ./loading.jl:1246 [inlined]
 [17] _require_search_from_serialized(pkg::Base.PkgId, sourcepath::String, build_id::UInt128, stalecheck::Bool; reasons::Dict{String, Int64}, DEPOT_PATH::Vector{String})
    @ Base ./loading.jl:2088
 [18] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2600
 [19] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2466
 [20] macro expansion
    @ ./loading.jl:2394 [inlined]
 [21] macro expansion
    @ ./lock.jl:376 [inlined]
 [22] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2359
 [23] require
    @ ./loading.jl:2335 [inlined]
 [24] eval_import_path
    @ ./module.jl:36 [inlined]
 [25] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [26] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
 [27] top-level scope
    @ ~/.julia/packages/Fatou/PB1wu/src/Fatou.jl:2
 [28] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [29] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
    @ Base ./loading.jl:3000
 [30] top-level scope
    @ stdin:5
 [31] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [32] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2846
 [33] include_string
    @ ./loading.jl:2856 [inlined]
 [34] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:322
 [35] _start()
    @ Base ./client.jl:55
in expression starting at /PkgEval.jl/scripts/precompile.jl:37

Precompilation failed after 27.88s



################################################################################
# Loading
#

Loading Fatou...
Precompiling packages...
Info Given Fatou was explicitly requested, output will be shown live 
ERROR: LoadError: InitError: IOError: could not spawn `/home/pkgeval/.julia/packages/Reduce/uoKuq/src/../deps/usr/bin/redcsl -w`: no such file or directory (ENOENT)
Stacktrace:
  [1] _spawn_primitive(file::String, cmd::Cmd, stdio::Memory{Union{RawFD, Base.SyncCloseFD, IO}})
    @ Base ./process.jl:140
  [2] _spawn
    @ ./process.jl:157 [inlined]
  [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) (repeats 3 times)
    @ Base ./process.jl:179
  [4] #_spawn##0
    @ ./process.jl:149 [inlined]
  [5] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, IO}})
    @ Base ./process.jl:236
  [6] _spawn
    @ ./process.jl:148 [inlined]
  [7] run(::Base.CmdRedirect; wait::Bool)
    @ Base ./process.jl:520
  [8] run
    @ ./process.jl:514 [inlined]
  [9] _spawn
    @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:53 [inlined]
 [10] Reduce.PSL()
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:25
 [11] Load()
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:334
 [12] __init__()
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:329
 [13] run_module_init(mod::Module, i::Int64)
    @ Base ./loading.jl:1416
 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1404
 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}; register::Bool)
    @ Base ./loading.jl:1292
 [16] _include_from_serialized
    @ ./loading.jl:1246 [inlined]
 [17] _require_search_from_serialized(pkg::Base.PkgId, sourcepath::String, build_id::UInt128, stalecheck::Bool; reasons::Dict{String, Int64}, DEPOT_PATH::Vector{String})
    @ Base ./loading.jl:2088
 [18] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2600
 [19] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2466
 [20] macro expansion
    @ ./loading.jl:2394 [inlined]
 [21] macro expansion
    @ ./lock.jl:376 [inlined]
 [22] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2359
 [23] require
    @ ./loading.jl:2335 [inlined]
 [24] eval_import_path
    @ ./module.jl:36 [inlined]
 [25] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [26] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
 [27] top-level scope
    @ ~/.julia/packages/Fatou/PB1wu/src/Fatou.jl:2
 [28] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [29] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
    @ Base ./loading.jl:3000
 [30] top-level scope
    @ stdin:5
 [31] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [32] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2846
 [33] include_string
    @ ./loading.jl:2856 [inlined]
 [34] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:322
 [35] _start()
    @ Base ./client.jl:557
during initialization of module Reduce
in expression starting at /home/pkgeval/.julia/packages/Fatou/PB1wu/src/Fatou.jl:1
in expression starting at stdin:5

caused by: IOError: could not spawn `redcsl -w`: no such file or directory (ENOENT)
Stacktrace:
  [1] _spawn_primitive(file::String, cmd::Cmd, stdio::Memory{Union{RawFD, Base.SyncCloseFD, IO}})
    @ Base ./process.jl:140
  [2] _spawn
    @ ./process.jl:157 [inlined]
  [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) (repeats 3 times)
    @ Base ./process.jl:179
  [4] #_spawn##0
    @ ./process.jl:149 [inlined]
  [5] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, IO}})
    @ Base ./process.jl:236
  [6] _spawn
    @ ./process.jl:148 [inlined]
  [7] run(::Base.CmdRedirect; wait::Bool)
    @ Base ./process.jl:520
  [8] run
    @ ./process.jl:514 [inlined]
  [9] _spawn
    @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:53 [inlined]
 [10] Reduce.PSL()
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:23
 [11] Load()
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:334
 [12] __init__()
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:329
 [13] run_module_init(mod::Module, i::Int64)
    @ Base ./loading.jl:1416
 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1404
 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}; register::Bool)
    @ Base ./loading.jl:1292
 [16] _include_from_serialized
    @ ./loading.jl:1246 [inlined]
 [17] _require_search_from_serialized(pkg::Base.PkgId, sourcepath::String, build_id::UInt128, stalecheck::Bool; reasons::Dict{String, Int64}, DEPOT_PATH::Vector{String})
    @ Base ./loading.jl:2088
 [18] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2600
 [19] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2466
 [20] macro expansion
    @ ./loading.jl:2394 [inlined]
 [21] macro expansion
    @ ./lock.jl:376 [inlined]
 [22] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2359
 [23] require
    @ ./loading.jl:2335 [inlined]
 [24] eval_import_path
    @ ./module.jl:36 [inlined]
 [25] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [26] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
 [27] top-level scope
    @ ~/.julia/packages/Fatou/PB1wu/src/Fatou.jl:2
 [28] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [29] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
    @ Base ./loading.jl:3000
 [30] top-level scope
    @ stdin:5
 [31] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [32] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2846
 [33] include_string
    @ ./loading.jl:2856 [inlined]
 [34] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:322
 [35] _start()
    @ Base ./client.jl:557
           ✗ Fatou
  0 dependencies successfully precompiled in 17 seconds. 34 already precompiled.

ERROR: The following 1 direct dependency failed to precompile:

Fatou 

Failed to precompile Fatou [5f923234-c850-556d-bb4f-28324fa1959a] to "/home/pkgeval/.julia/compiled/v1.13/Fatou/jl_aBHMm4" (ProcessExited(1)).
ERROR: LoadError: InitError: IOError: could not spawn `/home/pkgeval/.julia/packages/Reduce/uoKuq/src/../deps/usr/bin/redcsl -w`: no such file or directory (ENOENT)
Stacktrace:
  [1] _spawn_primitive(file::String, cmd::Cmd, stdio::Memory{Union{RawFD, Base.SyncCloseFD, IO}})
    @ Base ./process.jl:140
  [2] _spawn
    @ ./process.jl:157 [inlined]
  [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) (repeats 3 times)
    @ Base ./process.jl:179
  [4] #_spawn##0
    @ ./process.jl:149 [inlined]
  [5] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, IO}})
    @ Base ./process.jl:236
  [6] _spawn
    @ ./process.jl:148 [inlined]
  [7] run(::Base.CmdRedirect; wait::Bool)
    @ Base ./process.jl:520
  [8] run
    @ ./process.jl:514 [inlined]
  [9] _spawn
    @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:53 [inlined]
 [10] Reduce.PSL()
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:25
 [11] Load()
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:334
 [12] __init__()
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:329
 [13] run_module_init(mod::Module, i::Int64)
    @ Base ./loading.jl:1416
 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1404
 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}; register::Bool)
    @ Base ./loading.jl:1292
 [16] _include_from_serialized
    @ ./loading.jl:1246 [inlined]
 [17] _require_search_from_serialized(pkg::Base.PkgId, sourcepath::String, build_id::UInt128, stalecheck::Bool; reasons::Dict{String, Int64}, DEPOT_PATH::Vector{String})
    @ Base ./loading.jl:2088
 [18] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2600
 [19] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2466
 [20] macro expansion
    @ ./loading.jl:2394 [inlined]
 [21] macro expansion
    @ ./lock.jl:376 [inlined]
 [22] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2359
 [23] require
    @ ./loading.jl:2335 [inlined]
 [24] eval_import_path
    @ ./module.jl:36 [inlined]
 [25] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [26] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
 [27] top-level scope
    @ ~/.julia/packages/Fatou/PB1wu/src/Fatou.jl:2
 [28] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [29] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
    @ Base ./loading.jl:3000
 [30] top-level scope
    @ stdin:5
 [31] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [32] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2846
 [33] include_string
    @ ./loading.jl:2856 [inlined]
 [34] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:322
 [35] _start()
    @ Base ./client.jl:557
during initialization of module Reduce
in expression starting at /home/pkgeval/.julia/packages/Fatou/PB1wu/src/Fatou.jl:1
in expression starting at stdin:5

caused by: IOError: could not spawn `redcsl -w`: no such file or directory (ENOENT)
Stacktrace:
  [1] _spawn_primitive(file::String, cmd::Cmd, stdio::Memory{Union{RawFD, Base.SyncCloseFD, IO}})
    @ Base ./process.jl:140
  [2] _spawn
    @ ./process.jl:157 [inlined]
  [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) (repeats 3 times)
    @ Base ./process.jl:179
  [4] #_spawn##0
    @ ./process.jl:149 [inlined]
  [5] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, IO}})
    @ Base ./process.jl:236
  [6] _spawn
    @ ./process.jl:148 [inlined]
  [7] run(::Base.CmdRedirect; wait::Bool)
    @ Base ./process.jl:520
  [8] run
    @ ./process.jl:514 [inlined]
  [9] _spawn
    @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:53 [inlined]
 [10] Reduce.PSL()
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:23
 [11] Load()
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:334
 [12] __init__()
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:329
 [13] run_module_init(mod::Module, i::Int64)
    @ Base ./loading.jl:1416
 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1404
 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}; register::Bool)
    @ Base ./loading.jl:1292
 [16] _include_from_serialized
    @ ./loading.jl:1246 [inlined]
 [17] _require_search_from_serialized(pkg::Base.PkgId, sourcepath::String, build_id::UInt128, stalecheck::Bool; reasons::Dict{String, Int64}, DEPOT_PATH::Vector{String})
    @ Base ./loading.jl:2088
 [18] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2600
 [19] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2466
 [20] macro expansion
    @ ./loading.jl:2394 [inlined]
 [21] macro expansion
    @ ./lock.jl:376 [inlined]
 [22] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2359
 [23] require
    @ ./loading.jl:2335 [inlined]
 [24] eval_import_path
    @ ./module.jl:36 [inlined]
 [25] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [26] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
 [27] top-level scope
    @ ~/.julia/packages/Fatou/PB1wu/src/Fatou.jl:2
 [28] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [29] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
    @ Base ./loading.jl:3000
 [30] top-level scope
    @ stdin:5
 [31] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [32] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2846
 [33] include_string
    @ ./loading.jl:2856 [inlined]
 [34] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:322
 [35] _start()
    @ Base ./client.jl:55

Loading failed after 19.9s

ERROR: LoadError: failed process: Process(`/opt/julia/bin/julia -C native -J/opt/julia/lib/julia/sys.so -g1 --check-bounds=yes --inline=yes --pkgimages=existing -e 'using Fatou'`, ProcessExited(1)) [1]

Stacktrace:
 [1] pipeline_error
   @ ./process.jl:602 [inlined]
 [2] run(::Cmd; wait::Bool)
   @ Base ./process.jl:517
 [3] run(::Cmd)
   @ Base ./process.jl:514
 [4] top-level scope
   @ /PkgEval.jl/scripts/evaluate.jl:193
 [5] include(mod::Module, _path::String)
   @ Base ./Base.jl:309
 [6] exec_options(opts::Base.JLOptions)
   @ Base ./client.jl:324
 [7] _start()
   @ Base ./client.jl:557
in expression starting at /PkgEval.jl/scripts/evaluate.jl:184

PkgEval failed after 70.96s: package fails to precompile