From 9b7c66ea7b93e49318b79afd8eb554fb246b8c15 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 12 Sep 2022 08:41:43 -0700 Subject: [PATCH] revert update to netcoreapp version Signed-off-by: Nikolaj Bjorner --- examples/dotnet/CMakeLists.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/dotnet/CMakeLists.txt b/examples/dotnet/CMakeLists.txt index c3773af7b..b07ae4219 100644 --- a/examples/dotnet/CMakeLists.txt +++ b/examples/dotnet/CMakeLists.txt @@ -24,9 +24,9 @@ if(UNIX AND NOT APPLE) add_custom_target( z3_dotnet_test_manual_copy_assembly_hack ALL - COMMAND ${CMAKE_COMMAND} -E copy ${z3_dotnet_test_manual_copy_deps} ${PROJECT_BINARY_DIR}/dotnet/netcoreapp3.1/ + COMMAND ${CMAKE_COMMAND} -E copy ${z3_dotnet_test_manual_copy_deps} ${PROJECT_BINARY_DIR}/dotnet/netcoreapp2.0/ # hack the libz3 entry in deps so it's easy enough for dotnet to reach it... - COMMAND sed \"s/runtimes\\/.*libz3\\.so/libz3.so/\" -i ${PROJECT_BINARY_DIR}/dotnet/netcoreapp3.1/dotnet.deps.json + COMMAND sed \"s/runtimes\\/.*libz3\\.so/libz3.so/\" -i ${PROJECT_BINARY_DIR}/dotnet/netcoreapp2.0/dotnet.deps.json ) add_dependencies(z3_dotnet_test_manual_copy_assembly_hack BUILD_dotnet)