Release compiler 2024.08.14

Change naming scheme for runtime package, to not clash with reserved package prefix.
Also has to remove unnescessary files from distribution, to reduce it size

README.md

@@ -56,7 +56,7 @@ dotnet build -c Release src/sdk/FStarLang.Sdk.csproj /p:ReleaseBuild=true
 ```
 - publish Nuget file located at `src\sdk\bin\Release`
 ```
-dotnet nuget push --source fstarlang --api-key $ApiKey src/sdk/bin/Release/FStarLang.Sdk.0.1.2.nupkg
+dotnet nuget push --source fstarlang --api-key $ApiKey artifacts/package/release/FStarLang.Sdk.0.2.0.nupkg
 ```
 - Go back to root of the project
 - bump version in the `src/runtime/FStarLang.Runtime.csproj`
@@ -69,8 +69,8 @@ dotnet build -r linux-x64 -c Release src/runtime/FStarLang.Runtime.csproj /p:Rel
 - publish Nuget file located at `src\sdk\bin\Release`
 ```
 dotnet restore src/sdk/FStarLang.Sdk.csproj --interactive
-dotnet nuget push --source fstarlang --api-key $ApiKey src/runtime/bin/Release/FStarLang.Compiler.runtime.win-x64.0.0.6.nupkg
-dotnet nuget push --source fstarlang --api-key $ApiKey src/runtime/bin/Release/FStarLang.Compiler.runtime.linux-x64.0.0.6.nupkg
+dotnet nuget push --source fstarlang --api-key $ApiKey artifacts/package/release/FStarLang.Compiler.runtime.win-x64.0.0.7.nupkg
+dotnet nuget push --source fstarlang --api-key $ApiKey artifacts/package/release/FStarLang.Compiler.runtime.linux-x64.0.0.7.nupkg
 ```
 - Go back to root of the project
 - bump version in the `src/templates/FStarLang.DotNet.Common.ProjectTemplates.1.0.csproj`

src/runtime/Directory.Build.targets

@@ -7,10 +7,10 @@
   </PropertyGroup>
 
   <ItemGroup>
-      <None Include="build/runtime.$(RuntimeIdentifier).FStarLang.Compiler.props"
+      <None Include="build/FStarLang.Compiler.runtime.$(RuntimeIdentifier).props"
             Pack="true"
             PackagePath="build" />
-      <None Include="build/runtime.$(RuntimeIdentifier).FStarLang.Compiler.targets"
+      <None Include="build/FStarLang.Compiler.runtime.$(RuntimeIdentifier).targets"
             Pack="true"
             PackagePath="build" />
       <None Include="$(_ArchiveDestination)**"
@@ -20,7 +20,7 @@
   </ItemGroup>
 
   <Target Name="_RestoreArchive"
-        AfterTargets="_GenerateRestoreProjectPathWalk">
+        BeforeTargets="_RemoveUnnecessaryFilesFromArchive">
     <Error Text="FStarCompilerVersion variable is not set" Condition="'$(FStarCompilerVersion)' == ''" />
     <Error Text="RuntimeIdentifier variable is not set" Condition="'$(RuntimeIdentifier)' == ''" />
     <Error Text="Only win-x64, linux-x64 and osx-x64 supported" Condition="'$(RuntimeIdentifier)' != 'win-x64' and '$(RuntimeIdentifier)' != 'linux-x64' and '$(RuntimeIdentifier)' != 'osx-x64'" />
@@ -40,4 +40,12 @@
           Condition="'$(FStarArchiveType)' == 'tar.gz' and !Exists('$(_ArchiveDestination)fstar\bin\fstar')" />
   </Target>
 
+  <Target Name="_RemoveUnnecessaryFilesFromArchive"
+        AfterTargets="_GenerateRestoreProjectPathWalk">
+     <ItemGroup>
+       <FilesToDelete Include="$(_ArchiveDestination)lib\fstar\lib\*.cmt"/>
+     </ItemGroup>
+    <Delete Files="@(FilesToDelete)" />
+  </Target>
+
 </Project>

src/runtime/FStarLang.Runtime.csproj

@@ -1,8 +1,8 @@
 <Project Sdk="Microsoft.Build.NoTargets/3.5.6">
   <PropertyGroup>
     <TargetFramework>netstandard1.0</TargetFramework>
-    <VersionPrefix>0.0.6</VersionPrefix>
-    <FStarCompilerVersion>2023.09.03</FStarCompilerVersion>
+    <VersionPrefix>0.0.7</VersionPrefix>
+    <FStarCompilerVersion>2024.08.14</FStarCompilerVersion>
     <Description>Provides runtime tools for building F* applications. F* Compiler version: $(FStarCompilerVersion)</Description>
     <PackageTags>MSBuild MSBuildSdk fstar runtime</PackageTags>
     <!-- <ArtifactsPath>$(BaseArtifactsPath)$(MSBuildProjectName)\</ArtifactsPath> -->

src/sdk/FStarLang.Sdk.csproj

@@ -1,7 +1,7 @@
 <Project Sdk="Microsoft.Build.NoTargets/3.5.6">
   <PropertyGroup>
     <TargetFrameworks>net40;netstandard2.0</TargetFrameworks>
-    <VersionPrefix>0.1.2</VersionPrefix>
+    <VersionPrefix>0.2.0</VersionPrefix>
     <Description>Provides MSBuild support for F* projects.</Description>
     <PackageTags>MSBuild MSBuildSdk fstar</PackageTags>
     <!-- <ArtifactsPath>$(BaseArtifactsPath)$(MSBuildProjectName)\</ArtifactsPath> -->

src/sdk/Sdk/Sdk.targets

@@ -15,7 +15,7 @@ WARNING:  DO NOT MODIFY this file unless you are knowledgeable about MSBuild and
   </PropertyGroup>
 
   <PropertyGroup>
-    <FStarLangVersion Condition="'$(FStarLangVersion)' == ''">0.0.6</FStarLangVersion>
+    <FStarLangVersion Condition="'$(FStarLangVersion)' == ''">0.0.7</FStarLangVersion>
     <!-- Path where extracted fs files should be written by default -->
     <FStarExtractedFilesLocation Condition=" '$(FStarExtractedFilesLocation)' == '' ">$(IntermediateOutputPath)extracted\</FStarExtractedFilesLocation>
     <!-- # 271: theory symbols in smt patters -->