Skip to content

: simply opam setup to just one link#442

Closed
shayne-fletcher wants to merge 1 commit intomainfrom
export-D50082445
Closed

: simply opam setup to just one link#442
shayne-fletcher wants to merge 1 commit intomainfrom
export-D50082445

Conversation

@shayne-fletcher
Copy link
Contributor

Summary: i convinced myself that creating a link to the ocaml standard library directory as extracted from ocamlopt.opt -config was necessary and that we can't just assume $OPAM_SWITCH/lib/ocaml but have failed to prove that to myself today. together with ocaml-scripts issue #2 and similar past questions from vsiles i'm motivated to attempt to remove it so that we create but one link into .opam.

Differential Revision: D50082445

@facebook-github-bot facebook-github-bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Oct 9, 2023
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D50082445

@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D50082445

facebook-github-bot pushed a commit that referenced this pull request Oct 9, 2023
Summary:

i convinced myself that creating a link to the ocaml standard library directory as extracted from `ocamlopt.opt -config` was necessary and that we can't just assume `$OPAM_SWITCH/lib/ocaml` but have failed to prove that to myself today. together with ocaml-scripts issue [#2](facebook/ocaml-scripts#2) and similar past questions from vsiles i'm motivated to attempt to remove it so that we create but one link into .opam.

Differential Revision: D50082445
Summary:

i convinced myself that creating a link to the ocaml standard library directory as extracted from `ocamlopt.opt -config` was necessary and that we can't just assume `$OPAM_SWITCH/lib/ocaml` but have failed to prove that to myself today. together with ocaml-scripts issue [#2](facebook/ocaml-scripts#2) and similar past questions from vsiles i'm motivated to attempt to remove it so that we create but one link into .opam.

Differential Revision: D50082445
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D50082445

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. fb-exported

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants