From 9901391b8a340e37847b82436baf60456ffc4440 Mon Sep 17 00:00:00 2001
From: jofleish <jofleish@microsoft.com>
Date: Tue, 23 Aug 2022 12:06:13 -0400
Subject: [PATCH] revert print formatting for Mac build

---
 scripts/mk_util.py | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 8559daeed..635b8cec1 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1718,9 +1718,10 @@ class DotNetDLLComponent(Component):
 
         version = get_version_string(4)
 
-        print(f"Version output to csproj: {version}")
+        print("Version output to csproj:", version)
+
+        core_csproj_str = """<Project Sdk="Microsoft.NET.Sdk">
 
-        core_csproj_str = f"""<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <TargetFramework>netstandard1.4</TargetFramework>
     <LangVersion>8.0</LangVersion>
@@ -1731,7 +1732,7 @@ class DotNetDLLComponent(Component):
     <PackageId>Microsoft.Z3</PackageId>
     <GenerateDocumentationFile>true</GenerateDocumentationFile>
     <RuntimeFrameworkVersion>1.0.4</RuntimeFrameworkVersion>
-    <Version>{version}</Version>
+    <Version>%s</Version>
     <GeneratePackageOnBuild>true</GeneratePackageOnBuild>
     <Authors>Microsoft</Authors>
     <Company>Microsoft</Company>
@@ -1739,14 +1740,14 @@ class DotNetDLLComponent(Component):
     <Description>Z3 is a satisfiability modulo theories solver from Microsoft Research.</Description>
     <Copyright>Copyright Microsoft Corporation. All rights reserved.</Copyright>
     <PackageTags>smt constraint solver theorem prover</PackageTags>
-    {key}
+    %s
   </PropertyGroup>
 
   <ItemGroup>
-    <Compile Include="..\{self.to_src_dir}\*.cs;*.cs" Exclude="bin\**;obj\**;**\*.xproj;packages\**" />
+    <Compile Include="..\%s\*.cs;*.cs" Exclude="bin\**;obj\**;**\*.xproj;packages\**" />
   </ItemGroup>
 
-</Project>"""
+</Project>""" % (version, key, self.to_src_dir)
 
         mk_dir(os.path.join(BUILD_DIR, 'dotnet'))
         csproj = os.path.join('dotnet', 'z3.csproj')
@@ -2850,7 +2851,7 @@ def update_version():
     build = VER_BUILD
     revision = VER_TWEAK
 
-    print(f"UpdateVersion: {major}.{minor}.{build}.{revision}");
+    print("UpdateVersion:", get_full_version_string(major, minor, build, revision))
     
     if major is None or minor is None or build is None or revision is None:
         raise MKException("set_version(major, minor, build, revision) must be used before invoking update_version()")