Make stack path configurable in Makefile (!52) · Merge requests · curry / curry-frontend

Fredrik Wieczerkowski requested to merge configurable-stack into master Mar 02, 2022

This branch makes the path to the stack binary (and potential default flags) configurable, without changing any defaults. Especially for KiCS2 this could potentially be useful to use the exact same Stack configuration to build both the frontend and KiCS2 (reducing the number of duplicate GHC installs, packages, etc.)

Make stack path configurable in Makefile

Merge request reports