agda 2.7.0.1

[pthariensflame]

• Have you followed the guidelines for contributing?
• Have you ensured that your commits follow the commit style guide?
• Have you checked that there aren't other open pull requests for the same formula update/change?
• Have you built your formula locally with HOMEBREW_NO_INSTALL_FROM_API=1 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 HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source <formula>)? If this is a new formula, does it pass brew audit --new <formula>?

[pthariensflame]

Okay, I may need some help with this one. I don't understand why the final test is still failing.

[pthariensflame]

Okay, Linux builds are succeeding! What's going on with the persistent permissions issues in the macOS builds?

[SMillerDev]

  /opt/homebrew/Cellar/agda/2.7.0.1/libexec/ghc-9.10.1-inplace/Agd-2.7.0.1-78cf4b7a/share/lib/prim/_build:

It's creating files in the install directory. Can this be directed to install in something like /opt/homebrew/usr/share?

[pthariensflame]

  /opt/homebrew/Cellar/agda/2.7.0.1/libexec/ghc-9.10.1-inplace/Agd-2.7.0.1-78cf4b7a/share/lib/prim/_build:

It's creating files in the install directory. Can this be directed to install in something like /opt/homebrew/usr/share?

Ohhhh. It's doing the thing we're trying to prevent it from doing by copying all the standard library stuff to the test folder. I'll see if I can force it to pay attention to that instead of its default location. (Agda needs to produce compiled interface .agdai files next to the original .agda ones as it processes them; that's what it's trying to do.)

[SMillerDev]

Nope, still doing that

  ==> /private/tmp/agda-test-20241012-44547-llo00u/IOTest
  ==> /opt/homebrew/Cellar/agda/2.7.0.1/bin/agda2hs --no-libraries /private/tmp/agda-test-20241012-44547-llo00u/Agda2HsTest.agda -i /private/tmp/agda-test-20241012-44547-llo00u/lib/agda/agda2hs/lib -i . -o /private/tmp/agda-test-20241012-44547-llo00u
  /opt/homebrew/Cellar/agda/2.7.0.1/libexec/ghc-9.10.1-inplace/Agd-2.7.0.1-00893f58/share/lib/prim/_build:
  createDirectory: permission denied (Operation not permitted)

[pthariensflame]

@SMillerDev Should be good now! (Fingers crossed.)

EDIT: Never mind; dealing with this some other day. 😞

[daeho-ro]

Maybe this happen by version mismatch. Can we add a patch to the resource categories? Or inreplace.

• agda/agda-categories@b5ca41c

[github-actions]

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs.