Upgrade to dotnet8.0

boogie-org · Aug 2, 2024 · de1c567 · de1c567
1 parent 5d6c113
commit de1c567
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/Source/Directory.Build.props b/Source/Directory.Build.props
@@ -3,7 +3,7 @@
   <!-- Target framework and package configuration -->
   <PropertyGroup>
     <Version>3.2.3</Version>
-    <TargetFramework>net6.0</TargetFramework>
+    <TargetFramework>net8.0</TargetFramework>
     <GeneratePackageOnBuild>false</GeneratePackageOnBuild>
     <Authors>Boogie</Authors>
     <RepositoryUrl>https://github.com/boogie-org/boogie</RepositoryUrl>

diff --git a/Test/lean-auto/test.sh b/Test/lean-auto/test.sh
@@ -5,5 +5,5 @@ set -e
 boogie_file=$1
 base=`basename $boogie_file .bpl`
 lean_file="$base.lean"
-dotnet ../../Source/BoogieDriver/bin/Debug/net6.0/BoogieDriver.dll /printLean:$lean_file $boogie_file
+dotnet ../../Source/BoogieDriver/bin/Debug/net8.0/BoogieDriver.dll /printLean:$lean_file $boogie_file
 lake env lean $lean_file
diff --git a/Test/lit.site.cfg b/Test/lit.site.cfg
@@ -78,7 +78,7 @@ repositoryRoot = up(up(os.path.abspath(__file__)))
 lit_config.note('Repository root is {}'.format(repositoryRoot))
 
 configuration = lit_config.params.get('configuration', 'Debug')
-framework = lit_config.params.get('framework', 'net6.0')
+framework = lit_config.params.get('framework', 'net8.0')
 
 boogieBinary = 'Source/BoogieDriver/bin/{}/{}/BoogieDriver.dll'.format(configuration, framework)
 runtime = 'dotnet'