-
Notifications
You must be signed in to change notification settings - Fork 20
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
Make mafia home Ambiata agnostic. #102
Conversation
👍 👍 |
@nhibberd How much will this break the CI caching? |
It will reset all caches unless we set up some links etc |
Can we hold off on this until we have time to deal with knock on consequences this will have a non-small impact on how infrastructure is currently configured. |
8cb2f77
to
61b5ffa
Compare
@tmcgilchrist I'm going to take over this PR |
Once this is merged we can switch the boris cache on and see if it works. |
The new cache location for GHC 8.0.1 on OS/X is:
the sandbox will be stored in:
|
👍 |
👍 thanks for the target thing |
Is there any harm in making the
MAFIA_HOME
default to.mafia
rather than using the ambiata prefix?Obviously it'd need a migration of some sort.
@jystic