Updated the checker core

p-org · Mar 10, 2023 · 92ecc4f · 92ecc4f
1 parent c0aea7e
commit 92ecc4f
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/Src/PChecker/CheckerCore/CheckerCore.csproj b/Src/PChecker/CheckerCore/CheckerCore.csproj
@@ -6,5 +6,20 @@
         <GenerateDocumentationFile>true</GenerateDocumentationFile>
         <OutputPath>$(PSdkFolder)\Binaries</OutputPath>
         <TargetFramework>net6.0</TargetFramework>
+        <PackageLicenseExpression>MIT</PackageLicenseExpression>
+        <Description>The P Checker</Description>
+        <PackageProjectUrl>https://github.com/p-org/P</PackageProjectUrl>
+        <Copyright>The P team</Copyright>
+        <PackageTags>P programming language;safe asynchrony;state machines;model checkers</PackageTags>
+        <PackageVersion>1.0.0</PackageVersion>
+        <Title>P Checker Core</Title>
+        <Authors>The P team</Authors>
+        <PackageIcon>icon.png</PackageIcon>
+        <RepositoryUrl>https://github.com/p-org/P</RepositoryUrl>
+        <PackageReadmeFile>README.md</PackageReadmeFile>
     </PropertyGroup>
+    <ItemGroup>
+        <None Include="../../../Icon/icon.png" Pack="true" PackagePath="" />
+        <None Include="../../../README.md" Pack="true" PackagePath="" />
+    </ItemGroup>
 </Project>