Skip to content

Commit

Permalink
Improve publishing Nuget properties
Browse files Browse the repository at this point in the history
- 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)
  • Loading branch information
kant2002 authored and mtzguido committed Sep 30, 2024
1 parent 079e27e commit 39b83dc
Show file tree
Hide file tree
Showing 3 changed files with 16 additions and 0 deletions.
4 changes: 4 additions & 0 deletions ulib/fs/VS/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
ulibfs
======

Runtime library for exported code exported from F* to F#.
Binary file added ulib/fs/VS/fstar-new.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
12 changes: 12 additions & 0 deletions ulib/fs/ulibfs.fsproj
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,12 @@
<AppendTargetFrameworkToOutputPath>false</AppendTargetFrameworkToOutputPath>
<GenerateDocumentation>True</GenerateDocumentation>
<GenerateDependencyFile>false</GenerateDependencyFile>
<VersionPrefix>0.0.3</VersionPrefix>
<PackageReadmeFile>README.md</PackageReadmeFile>
<PackageIcon>fstar-new.png</PackageIcon>
<PackageProjectUrl>https://fstar-lang.org/</PackageProjectUrl>
<RepositoryUrl>https://github.com/FStarLang/FStar</RepositoryUrl>
<PackageLicenseFile>LICENSE</PackageLicenseFile>
</PropertyGroup>
<ItemGroup>
<!-- Note, for now we just ignore some modules and or comment out some code in them. -->
Expand Down Expand Up @@ -89,4 +95,10 @@
<ItemGroup>
<PackageReference Update="FSharp.Core" Version="4.3.4" />
</ItemGroup>
<ItemGroup>
<None Include="VS\README.md" Pack="true" PackagePath="\"/>
<None Include="VS\fstar-new.png" Pack="true" PackagePath="\"/>
<None Include="..\..\LICENSE" Pack="true" PackagePath="\"/>
<None Include="..\..\LICENSE-fsharp.txt" Pack="true" PackagePath="\"/>
</ItemGroup>
</Project>

0 comments on commit 39b83dc

Please sign in to comment.