mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-03 21:09:11 +00:00
Code Activity

Updated nuget package spec and directions

Browse source
This commit is contained in:
Andrew Helwer 2018-11-13 12:19:20 -08:00
parent b301a59899
commit c59b331c1f
2 changed files with 17 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

8
package/Microsoft.Z3.x64.nuspec
View file

@ -5,10 +5,9 @@
<version>$(releaseVersion)</version> <version>$(releaseVersion)</version>
<copyright>© Microsoft Corporation. All rights reserved.</copyright> <copyright>© Microsoft Corporation. All rights reserved.</copyright>
<authors>Microsoft</authors> <authors>Microsoft</authors>
<owners>Microsoft,Z3Prover</owners> <iconUrl>https://raw.githubusercontent.com/Z3Prover/z3/$(releaseCommitHash)/package/icon.jpg</iconUrl>
<iconUrl>$(iconUrlFromReleaseCommit)</iconUrl>
<projectUrl>https://github.com/Z3Prover/z3</projectUrl> <projectUrl>https://github.com/Z3Prover/z3</projectUrl>
<licenseUrl>$(licenseUrlFromReleaseCommit)</licenseUrl> <licenseUrl>https://raw.githubusercontent.com/Z3Prover/z3/$(releaseCommitHash)/LICENSE.txt</licenseUrl>
<repository <repository
type="git" type="git"
url="https://github.com/Z3Prover/z3.git" url="https://github.com/Z3Prover/z3.git"
@ -16,7 +15,8 @@
commit="$(releaseCommitHash)" commit="$(releaseCommitHash)"
/> />
<requireLicenseAcceptance>true</requireLicenseAcceptance> <requireLicenseAcceptance>true</requireLicenseAcceptance>
<description>Z3 is a constraint/SMT solver and theorem prover from Microsoft Research.</description> <description>Z3 is a satisfiability modulo theories solver from Microsoft Research.</description>
<tags>smt constraint solver theorem prover</tags> <tags>smt constraint solver theorem prover</tags>
<language>en</language>
</metadata> </metadata>
</package> </package>

6
package/PackageCreationDirections.md
View file

@ -15,11 +15,9 @@
| +-- Microsoft.Z3.x64.targets | +-- Microsoft.Z3.x64.targets
| +-- libz3.dll | +-- libz3.dll
``` ```
4. Open the nuspec file and fill in the appropriate macro values (note that for all URLs, preserve link integrity by linking to a specific commit): 4. Open the nuspec file and fill in the appropriate macro values:
* $(releaseVersion) - the Z3 version being released in this package * $(releaseVersion) - the Z3 version being released in this package
* $(iconUrlFromReleaseCommit) - URL for the Z3 icon file * $(releaseCommitHash) - hash of the release commit (there are several of these)
* $(licenseUrlFromReleaseCommit) - URL for the Z3 repo license
* $(releaseCommitHash) - hash of the release commit
5. Run `nuget pack Microsoft.Z3.x64\Microsoft.Z3.x64.nuspec` 5. Run `nuget pack Microsoft.Z3.x64\Microsoft.Z3.x64.nuspec`
6. Test the resulting nupkg file (described below) then submit the package for signing before uploading to NuGet.org 6. Test the resulting nupkg file (described below) then submit the package for signing before uploading to NuGet.org