Skip to content

Backport #10730: Create noindex.cache if missing #10874

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

Merged
merged 1 commit into from
Mar 28, 2025

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Mar 28, 2025

Fixes #9891 by creating the file if it is missing.

Depends on #10728

QA

This will work on Linux:

cabal init -m -n --simple --lib
mkdir repo
echo "packages: ." > cabal.project
echo "repository local" >> cabal.project
echo "  url: file+noindex://$(pwd)/repo" >> cabal.project
cabal build

For Windows, the path has to be un-cygwinize and prepended by //./ as described in #10728.


Template Α: This PR modifies behaviour or interface

Include the following checklist in your PR:

@mergify mergify bot mentioned this pull request Mar 28, 2025
6 tasks
@mergify mergify bot added the backport label Mar 28, 2025
@Mikolaj Mikolaj added the merge me Tell Mergify Bot to merge label Mar 28, 2025
(cherry picked from commit 2528f73)
@Mikolaj Mikolaj force-pushed the mergify/bp/3.14/pr-10730 branch from 2c512f8 to 667525f Compare March 28, 2025 10:28
@mergify mergify bot merged commit 42fb5dc into 3.14 Mar 28, 2025
58 checks passed
@mergify mergify bot deleted the mergify/bp/3.14/pr-10730 branch March 28, 2025 12:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport merge me Tell Mergify Bot to merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants