Merge pull request #3488 from kant2002/kant/ulibfs-nuget

Improve publishing Nuget properties
FStarLang · Sep 30, 2024 · c20b10a · c20b10a
2 parents 079e27e + 39b83dc
commit c20b10a
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 0 deletions.
diff --git a/ulib/fs/VS/README.md b/ulib/fs/VS/README.md
@@ -0,0 +1,4 @@
+ulibfs
+======
+
+Runtime library for exported code exported from F* to F#.
diff --git a/ulib/fs/VS/fstar-new.png b/ulib/fs/VS/fstar-new.png
diff --git a/ulib/fs/ulibfs.fsproj b/ulib/fs/ulibfs.fsproj
@@ -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. -->
@@ -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>