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

[WIP] Add OS X 10.10 profile #779

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

[WIP] Add OS X 10.10 profile #779

wants to merge 1 commit into from

Conversation

certik
Copy link
Member

@certik certik commented May 15, 2015

To build this, use the profile from #776 and put its hash into the PROLOGUE.

This is still a work in progress.

The following PRs must be merged for this to build:

Some of the PRs are more of a hack to get it working and we need to figure out a nice solution before they can be merged.

@cekees
Copy link
Contributor

cekees commented Oct 20, 2015

How far are we from getting 10.10 merged into master? Looks like we've been stuck on the two remaining unmerged PR's for a while, and I can think of a nice way to handle them (and don't have an os x machine to experiment on).

@certik
Copy link
Member Author

certik commented Oct 21, 2015

My OS X machine doesn't work at the moment, so I can't work on it. Nor I have time at the moment. Do you depend on this?

@cekees
Copy link
Contributor

cekees commented Oct 21, 2015

I don't have and OS X machine, but a couple of students /postdocs working on proteus do. I can just merge these PR's into stable/proteus as a temporary fix unless you have a better idea.

@certik
Copy link
Member Author

certik commented Oct 21, 2015

If you need it for proteus, you can merge it there, but do not merge the hacks into the master, until we figure out a solution. I'll try to get my OS X machine working again and resume the work.

@vbraun
Copy link
Contributor

vbraun commented Oct 22, 2015

FWIW I can provide access to the Sage OSX buildbot machine if somebody wants to work on it

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants