cedille: build with haskell-stack

[SeekingMeaning]

• Have you followed the guidelines for contributing?
• Have you checked that there aren't other open pull requests for the same formula update/change?
• Have you built your formula locally with brew install --build-from-source <formula>, where <formula> is the name of the formula you're submitting?
• Is your test running fine brew test <formula>, where <formula> is the name of the formula you're submitting?
• Does your build pass brew audit --strict <formula> (after doing brew install <formula>)?

---

[carlocab]

Does cedille also need alex and happy, or was that just to build agda? Because there should be alex and happy binaries in agda's libexec.

[SeekingMeaning]

Hmm, that's a good question, I'm not sure myself

[carlocab]

Well, CI passed.. so I guess not?

Unless it actually built its own agda to bootstrap with without telling you No, this isn't possible. Building agda takes about an hour.

[chenrui333]

lgtm. 💯

[chenrui333]

Does cedille also need alex and happy, or was that just to build agda? Because there should be alex and happy binaries in agda's libexec.

I got inferred from the stack.yaml, so that is vendored in the build process (we will need to look at it later)

[carlocab]

I got inferred from the stack.yaml, so that is vendored in the build process

So that means it installed its own alex and happy?

[BrewTestBot]

🤖 A scheduled task has triggered a merge.

[chenrui333]

I got inferred from the stack.yaml, so that is vendored in the build process

So that means it installed its own alex and happy?

to my understanding, yes. you can also check discussions on this PR, Homebrew/brew#6945