Skip to content

Remove OCaml - #4594

Merged
pbiggar merged 5 commits into
mainfrom
paul/remove-ocaml
Nov 16, 2022
Merged

pbiggar merged 5 commits into
mainfrom
paul/remove-ocaml

Conversation

@pbiggar

@pbiggar pbiggar commented Nov 9, 2022

Copy link
Copy Markdown
Member

Changelog:

Internal
- Remove all remnants of OCaml files and tooling

Moved all the OCaml stuff into https://github.com/darklang/dark-ocaml. The remaining two containers can be built and deployed over there, if needs be, but hopefully they won't be touched until we remove them.

Multiple contributors have had issues with ocaml builds, including very high memory use (and hence extremely long build times, like 10 hours) and them not working on i5s. Best to just remove them, esp since we're probably a few months from removing them otherwise.

@pbiggar
pbiggar marked this pull request as ready for review November 9, 2022 19:37
@pbiggar
pbiggar requested a review from StachuDotNet November 9, 2022 19:37

@StachuDotNet StachuDotNet left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

As far as I can tell, these all seem like the appropriate removals. I assume dark-ocaml should stabilize (have darklang/dark-ocaml#7 merged) before this is merged?

@pbiggar

pbiggar commented Nov 12, 2022

Copy link
Copy Markdown
Member Author

As far as I can tell, these all seem like the appropriate removals. I assume dark-ocaml should stabilize (have darklang/dark-ocaml#7 merged) before this is merged?

Yes. Should be ready now - can you review?

@pbiggar

pbiggar commented Nov 16, 2022

Copy link
Copy Markdown
Member Author

The dark-ocaml repo deploy worked great ( https://app.circleci.com/pipelines/github/darklang/dark-ocaml/13/workflows/467479a4-9fa1-4b75-a681-6761bb672247/jobs/83).

So let's see how this one goes.

@pbiggar
pbiggar merged commit f972c45 into main Nov 16, 2022
@pbiggar
pbiggar deleted the paul/remove-ocaml branch November 16, 2022 08:46
@pbiggar

pbiggar commented Nov 16, 2022

Copy link
Copy Markdown
Member Author

This worked fine.

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.

2 participants