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

Improve publishing Nuget properties #3488

Merged
merged 1 commit into from
Sep 30, 2024

Conversation

kant2002
Copy link
Contributor

  • Add README
  • Add existing LICENSE file
  • Add projects links to be visible in Nuget UI
  • Add icon to package.
  • Specify version prefix (allow differentiate local/ci/rtm version if needed)

- Add README
- Add existing LICENSE file
- Add projects links to be visible in Nuget UI
- Add icon to package.
- Specify version prefix (allow differentiate local/ci/rtm version if needed)
@mtzguido mtzguido merged commit c20b10a into FStarLang:master Sep 30, 2024
2 checks passed
@mtzguido
Copy link
Member

Hi Andrii, thanks! This looks good to me, though admittedly I'm not very familiar with the F# build and packaging. From what I remember you are publishing this package to nuget yourself. Maybe we could automate this process and test it more... I imagine that would be useful?

@kant2002
Copy link
Contributor Author

kant2002 commented Oct 1, 2024

For now I gradually test how things should work. Basically F# packaging is simple calling dotnet pack which is standard way for devs in .Net of doin things.

I really want to automate it more, but since I have limited time and have to balance other packaging priorities. Think about it as I trying to smooth all kinks without bothering you guys too much. If somebody want to know more about process, I’m ready to answer all questions.

@briangmilnes
Copy link
Contributor

I have a very capable makefile setup, Forge, that is almost working with FSharp (some F* system changes need to be handled for the latest revision). I'll add this to it.

@kant2002 kant2002 deleted the kant/ulibfs-nuget branch October 3, 2024 08:52
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.

3 participants