idris2

{erl_opts, [no_debug_info, nowarn_unused_vars, nowarn_unused_function]}.
{deps, []}.

{escript_incl_apps,
 [idris2]}.
{escript_main_app, idris2}.
{escript_name, idris2erl}.
{escript_emu_args, "%%! -escript main idris2 +sbtu +A1\n"}.
{escript_incl_extra, [{"idris2/priv/**", "_build/default/lib/"}]}.

%% Profiles
{profiles, [{test,
             [{erl_opts, [debug_info]}
            ]}]}.