Skip to content

compatibility with ocaml PR#1569 (changes to compiler install dir)#966

Closed
v-gb wants to merge 1 commit intoocaml:mainfrom
v-gb:compat-ocaml-pr-1569
Closed

compatibility with ocaml PR#1569 (changes to compiler install dir)#966
v-gb wants to merge 1 commit intoocaml:mainfrom
v-gb:compat-ocaml-pr-1569

Conversation

@v-gb
Copy link
Copy Markdown
Contributor

@v-gb v-gb commented Jul 7, 2018

See description of ocaml/ocaml#1569 .

]
@ (if sep_libraries then [] else [ directory "+compiler-libs" ])
@
[ sub "common" []
Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ocamlcommon is not in a sub-directory as well?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It is, I guessed I missed this change and for some reason, it didn't break anything.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Fixed now.

src/meta.ml Outdated
let builtins ~stdlib_dir =
let version = version "[distributed with Ocaml]" in
let sep_libraries =
List.exists (fun suf ->
Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

the label is missing (that's what causing the CI failures)

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hum, weird I was not getting this earlier but instead I had warning 32 in usexp.mli. Not sure what happened but I fixed this.

Signed-off-by: Valentin Gatien-Baron <valentin.gatienbaron@gmail.com>
@ghost
Copy link
Copy Markdown

ghost commented Jul 8, 2018

Thanks. We'll merge this PR as soon as the OCaml PR is merged

@rgrinberg rgrinberg mentioned this pull request Oct 2, 2018
7 tasks
Base automatically changed from master to main January 14, 2021 17:08
@v-gb v-gb closed this Jun 2, 2021
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.

1 participant