Skip to content

Conversation

@wenkokke
Copy link
Collaborator

@wenkokke wenkokke commented Nov 4, 2024

This PR restructures cabal.project into cabal.project.release and cabal.project.debug so that we can switch between release/debug builds from the command line rather than by editing a file, to avoid the need to git stash/apply when switching branches, and to enable an entirely programmatic git bisect for benchmarks. It also symlinks cabal.project.debug to cabal.project as the default configuration.

@wenkokke wenkokke changed the title Wenkokke/restructure cabal project Restructure cabal.project files. Nov 4, 2024
@jorisdral jorisdral enabled auto-merge November 4, 2024 15:56
@jorisdral jorisdral added this pull request to the merge queue Nov 4, 2024
@jorisdral jorisdral removed this pull request from the merge queue due to a manual request Nov 4, 2024
@jorisdral jorisdral added this pull request to the merge queue Nov 4, 2024
Merged via the queue into main with commit 31983c6 Nov 4, 2024
24 checks passed
@jorisdral jorisdral deleted the wenkokke/restructure-cabal-project branch November 4, 2024 17:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants