Skip to content

Add a parameter to override the frontend executable path

Currently, callFrontendWithParams will always invoke the frontend from the running Curry distribution. There are, however, situations, where the consumer of this package may want to use a custom frontend, e.g. a KiCS2 built with PAKCS should use its own frontend rather than the PAKCS frontend.