Skip to content

Add outdir to frontend params

Fredrik Wieczerkowski requested to merge outdir-param into libs_refactor

Currently, the frontend always uses the running Curry distribution's output directory. In some cases, however, more control over the output directory may be desired, e.g. a KiCS2 compiled with PAKCS might want to use .curry/kics2-x.y.z instead of .curry/pakcs-x.y.z.

This branch therefore makes outdir customizable through the FrontendParams. The default value is still currySubdir, therefore this change is fully backwards-compatible.

Merge request reports