Replace remaining uses of 'cymake' with 'frontend' (!59) · Merge requests · curry / curry-frontend

Fredrik Wieczerkowski requested to merge rename-cymake-frontend into master Nov 22, 2022

To avoid confusion and to make the codebase more consistent, this branch replaces the remaining references to cymake with frontend. Note that OPTIONS_CYMAKE will still be supported alongside OPTIONS_FRONTEND for compatibility.

Replace remaining uses of 'cymake' with 'frontend'

Merge request reports