From dd05c683e01e809d87514d83dc96e6d2dbba143f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 20 Dec 2020 10:34:17 -0800
Subject: [PATCH] update license to nuget 4.9 URL

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/mk_nuget_task.py | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py
index 565137ce3..67f4a6720 100644
--- a/scripts/mk_nuget_task.py
+++ b/scripts/mk_nuget_task.py
@@ -75,9 +75,6 @@ def mk_icon(source_root):
     mk_dir("out/content")
     shutil.copy("{}/resources/icon.jpg".format(source_root), "out/content/icon.jpg")
 
-def mk_license(source_root):
-    mk_dir("out/content")
-    shutil.copy("{}/LICENSE.txt".format(source_root), "out/content/LICENSE.txt")
     
 def create_nuget_spec(version, repo, branch, commit):
     contents = """<?xml version="1.0" encoding="utf-8"?>
@@ -96,7 +93,7 @@ Linux Dependencies:
         <tags>smt constraint solver theorem prover</tags>
         <icon>content/icon.jpg</icon>
         <projectUrl>https://github.com/Z3Prover/z3</projectUrl>
-        <license type="file">content/LICENSE.txt</license>
+        <license type="expression">MIT</license>
         <repository type="git" url="{1}" branch="{2}" commit="{3}" />
         <requireLicenseAcceptance>true</requireLicenseAcceptance>
         <language>en</language>
@@ -121,7 +118,6 @@ def main():
     unpack(packages)
     mk_targets(source_root)
     mk_icon(source_root)
-    mk_license(source_root)
     create_nuget_spec(version, repo, branch, commit)
 
 main()