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

build: simplify, coallescing src/ml/full into ulib/ml/plugin, move src/ml/bare -> src/ml #3708

Merged
merged 1 commit into from
Jan 30, 2025

Conversation

mtzguido
Copy link
Member

@mtzguido mtzguido commented Jan 30, 2025

This separation did not make sense, files in both src/ml/full and ulib/ml/plugin are there for the support of plugins only, and not needed for the bare compiler. So we can coallesce these directories into ulib/ml/plugin, and place all compiler ML files in just src/ml.

…c/ml/bare -> src/ml

This separation did not make sense, files in both src/ml/full and
ulib/ml/plugin are there for the support of plugins only, and not needed
for the bare compiler. So we can coallesce these directories into
ulib/ml/plugin, and place all compiler ML files in just src/ml.
@mtzguido mtzguido changed the title build: simplify, coallescing src/ml/full into ulib/ml/plugin, move sr… build: simplify, coallescing src/ml/full into ulib/ml/plugin, move src/ml/bare -> src/ml Jan 30, 2025
@mtzguido mtzguido enabled auto-merge January 30, 2025 22:45
@mtzguido mtzguido merged commit 3d50ae0 into FStarLang:master Jan 30, 2025
10 checks passed
@mtzguido mtzguido deleted the build-simpl branch January 30, 2025 23:21
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