diff --git a/src/Polymake.jl b/src/Polymake.jl index a00b08b7..2603996c 100644 --- a/src/Polymake.jl +++ b/src/Polymake.jl @@ -34,6 +34,8 @@ end # Load Cxx stuff and init ########################## +__is_root_module(m=@__MODULE__) = haskey(Base.package_locks, Base.PkgId(m)) + Sys.isapple() || Sys.islinux() || error("System is not supported!") deps_dir = joinpath(@__DIR__, "..", "deps") @@ -56,8 +58,7 @@ function __init__() end try - show_banner = isinteractive() && - !any(x->x.name in ["Oscar"], keys(Base.package_locks)) + show_banner = isinteractive() && __is_root_module() initialize_polymake(show_banner) if !show_banner diff --git a/src/generate_applications.jl b/src/generate_applications.jl index 79fd9704..69f23258 100644 --- a/src/generate_applications.jl +++ b/src/generate_applications.jl @@ -11,7 +11,6 @@ isdir(generated_dir) || mkpath(generated_dir) for (app, mod) in appname_module_dict json_file = joinpath(json_dir, "$app.json") @assert isfile(json_file) - @info "Generating module $mod" @eval $(Polymake.Meta.jl_code(Polymake.Meta.PolymakeApp(mod, json_file))) @eval export $mod end