Bumped shipped GiNaC version (#50)

moves-rwth · Jan 6, 2025 · f479e25 · f479e25
1 parent c6afdd3
commit f479e25
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/resources/resources.cmake b/resources/resources.cmake
@@ -143,7 +143,7 @@ if(USE_GINAC)
 		load_library(carl GINAC 1.7)
 	endif()
 	if(NOT GINAC_FOUND)
-		set(GINAC_VERSION "1.8.7")
+		set(GINAC_VERSION "1.8.8")
 		include(resources/ginac.cmake)
 	endif()
 	print_resource_info("GiNaC" GINAC_SHARED ${GINAC_VERSION})