fix: update expr and yagraph

This new update enables us to not have to install the libz3.so file
manually.

CMakeLists.txt

@@ -33,7 +33,7 @@ find_package(BISON REQUIRED)
 find_package(FLEX REQUIRED)
 
 add_compile_definitions(DEFAULT_EXPRESSION_VALUE="true")
-CPMAddPackage(NAME expr VERSION 3.0.4 GITHUB_REPOSITORY sillydan1/expr OPTIONS "ENABLE_Z3 ON")
+CPMAddPackage(NAME expr VERSION 3.0.5 GITHUB_REPOSITORY sillydan1/expr OPTIONS "ENABLE_Z3 ON")
 CPMAddPackage("gh:sillydan1/[email protected]")
 CPMAddPackage("gh:sillydan1/[email protected]")
 CPMAddPackage("gh:sillydan1/[email protected]")
@@ -42,8 +42,7 @@ CPMAddPackage("gh:yalibs/[email protected]")
 CPMAddPackage("gh:yalibs/[email protected]")
 CPMAddPackage("gh:yalibs/[email protected]")
 CPMAddPackage("gh:yalibs/[email protected]")
-# CPMAddPackage("gh:yalibs/[email protected]")
-CPMAddPackage("gh:yalibs/yagraph#feature/validation-things")
+CPMAddPackage("gh:yalibs/[email protected]")
 CPMAddPackage("gh:yalibs/[email protected]")
 CPMAddPackage("gh:yalibs/[email protected]")
 CPMAddPackage("gh:yalibs/[email protected]")
@@ -124,16 +123,6 @@ install(FILES
     src/man/tta.7
     DESTINATION man/man7)
 
-if(CMAKE_SYSTEM_NAME STREQUAL "Linux")
-    install(FILES ${CMAKE_BINARY_DIR}/libz3.so DESTINATION lib)
-elseif(CMAKE_SYSTEM_NAME STREQUAL "Windows")
-    install(FILES ${CMAKE_BINARY_DIR}/libz3.dll DESTINATION lib)
-elseif(CMAKE_SYSTEM_NAME STREQUAL "Darwin")
-    install(FILES ${CMAKE_BINARY_DIR}/libz3.dylib DESTINATION lib)
-else()
-    message(WARNING "unknown system ${CMAKE_SYSTEM_NAME}")
-endif()
-
 install(DIRECTORY
     src/ntta
     src/plugin_system

src/cli/lsp/main.cpp

@@ -82,4 +82,3 @@ auto load_plugins(std::map<std::string, argument_t>& cli_arguments) -> plugin_ma
     look_dirs.insert(look_dirs.end(), provided_dirs.begin(), provided_dirs.end());
     return aaltitoad::plugins::load(look_dirs);
 }
-