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.

Sign up for GitHub

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

Jump to bottom

OCaml INSTALL/manual should mention xcode-select #10281

Closed
dra27 opened this issue Mar 9, 2021 · 6 comments · Fixed by #10685
Closed

OCaml INSTALL/manual should mention xcode-select #10281

dra27 opened this issue Mar 9, 2021 · 6 comments · Fixed by #10685
Labels
good first issue newcomer-job

Comments

@dra27
Copy link
Member

dra27 commented Mar 9, 2021

Follow-up issue to #10275 (comment), noting CompCert's manual.
@Aman9026
Copy link

Aman9026 commented Apr 1, 2021

@dra27 Hi! I'm an outreachy applicant, I want to work on this issue.
Should I update this in INSTALL.adoc

@dra27
Copy link
Member Author

dra27 commented Apr 1, 2021

Thanks, @Aman9026! This would go in INSTALL.adoc, yes - and the text from the CompCert manual is a good template. The only additional check is to ensure that it's sufficient for OCaml (I don't have a spare Mac to be able to check that)

@kirisky
Copy link
Contributor

kirisky commented Oct 5, 2021 •
edited

Hi @dra27! Is this issue still available? I'd like to take it. 😃

@kirisky
Copy link
Contributor

kirisky commented Oct 6, 2021

Hi @gasche ! Can I take this issue?

@gasche
Copy link
Member

gasche commented Oct 6, 2021

Yes, please feel free. In general, unless someone has explicitly said otherwise, any open issue is available. But asking explicitly can be an occasion to get extra information on the issue; in this case I have no recommendation other than "read the linked Compcert doc and see how to adapt it to OCaml's INSTALL file".

@kirisky
Copy link
Contributor

kirisky commented Oct 6, 2021

Got it, thank you, @gasche!

@kirisky kirisky mentioned this issue Oct 8, 2021
Merged
xavierleroy pushed a commit that referenced this issue Nov 5, 2021
@kirisky
More detailed recommendations about C compilers in INSTALL file (#10685)
db47011 
* Add the description of Xcode to the INSTALL file.
* Add description for Windows

Fixes: #10281
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
good first issue newcomer-job
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add description of Xcode and Windows to install file, Fixes #10281 kirisky/ocaml
4 participants
@gasche @kirisky @dra27 @Aman9026