Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Modularization #1

Merged
merged 7 commits into from
Jul 22, 2021
Merged

Conversation

Ericson2314
Copy link
Collaborator

No description provided.

andreasabel and others added 5 commits July 14, 2021 20:21
Get CI on GitHub Actions via a patched workflow generated by haskell-ci.

- DEVELOPER.md explains how to regenerate the CI, e.g. in case of new GHCs.

- .github/haskell-ci.patch modifies the generated workflow by:
  * Setting flag 'bootstrap' to False in calls to cabal.
  * Installing happy instead of just building it.
  * Setting HAPPY and HC for running the tests.

- tests/Makefile has been modified to not overwrite already set HAPPY
  and HC variables.  This is needed to locate these executables correctly.

- cabal.haskell-ci contains configuration for running haskell-ci:
  It removes constraints on packages containers, mtl and transformers.
  Otherwise, these will be constrained to the GHC-shipped versions,
  which isn't compatible with happy for all GHC versions.

The logic behind this CI setup is identical to

  haskell/alex#189

[fixes #189] [fixes #193]
CI on GitHub via `haskell-ci github happy.cabal`
knothed and others added 2 commits July 22, 2021 10:26
@Ericson2314 Ericson2314 deleted the branch piknotech:modularization July 22, 2021 09:08
@Ericson2314 Ericson2314 deleted the modularization branch July 22, 2021 09:08
@Ericson2314 Ericson2314 restored the modularization branch July 22, 2021 09:08
@Ericson2314 Ericson2314 reopened this Jul 22, 2021
@Ericson2314 Ericson2314 merged commit 7f9b5d4 into piknotech:modularization Jul 22, 2021
@Ericson2314 Ericson2314 deleted the modularization branch July 22, 2021 09:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

3 participants