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

Create UseLocalCompiler.Directory.Build.props #17396

Merged
merged 5 commits into from
Jul 13, 2024
Merged

Conversation

vzarytovskii
Copy link
Member

Added props file, which will point to locally build compiler (Debug configuration), which can simply be included in contributor's project (via <Import Project="UseLocalCompiler.Directory.Build.props"/>) to test changes easier.

Added props file, which will point to locally build compiler (Debug configuration), which can simply be included in contributor's project (via `  <Import Project="UseLocalCompiler.Directory.Build.props"/>`) to test changes.
@vzarytovskii vzarytovskii requested a review from a team as a code owner July 9, 2024 10:53
Copy link
Contributor

github-actions bot commented Jul 9, 2024

Caution

Repository is on lockdown for maintenance, all merges are on hold.

Copy link
Contributor

github-actions bot commented Jul 9, 2024

✅ No release notes required

Co-authored-by: Tomas Grosup <tomasgrosup@microsoft.com>
Co-authored-by: Tomas Grosup <tomasgrosup@microsoft.com>
Co-authored-by: Tomas Grosup <tomasgrosup@microsoft.com>
@psfinaki
Copy link
Member

psfinaki commented Jul 9, 2024

This should be somehow mentioned in the docs, and also explained how's this better than or different from this tip: https://github.com/dotnet/fsharp/blob/main/DEVGUIDE.md#using-your-custom-compiler-to-build-other-projects

@vzarytovskii
Copy link
Member Author

This should be somehow mentioned in the docs, and also explained how's this better than or different from this tip: main/DEVGUIDE.md#using-your-custom-compiler-to-build-other-projects

Sure, feel free to add it

@vzarytovskii
Copy link
Member Author

Gonna merge it as is and add docs if needed

@vzarytovskii vzarytovskii merged commit 26c053f into main Jul 13, 2024
29 of 30 checks passed
@edgarfgp
Copy link
Contributor

Thanks

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

4 participants