mirror of
https://git.freebsd.org/ports.git
synced 2025-04-28 09:36:41 -04:00
a7559a88b5
* Use upstream release archive * Change USES= compiler:c++11-lang to compiler:c++20-lang * Do some slight rearragement of port Makefile to more closely follow Porters Handbook * Respect CPUTYPE set by framework Note: Upstream is inconsistent about versioning but 4.13.4.0 is defined in project files. PR: 283858 Reviewed by: arrowd (maintainer)
22 lines
749 B
Text
22 lines
749 B
Text
Let Framework control CPU-specific optimizations
|
|
|
|
--- CMakeLists.txt.orig 2025-01-05 12:12:08 UTC
|
|
+++ CMakeLists.txt
|
|
@@ -269,7 +269,7 @@ endif()
|
|
|
|
|
|
|
|
-################################################################################
|
|
+#[[ ################################################################################
|
|
# FP math
|
|
################################################################################
|
|
# FIXME: Support ARM "-mfpu=vfp -mfloat-abi=hard"
|
|
@@ -286,7 +286,7 @@ if ((TARGET_ARCHITECTURE STREQUAL "x86_64") OR (TARGET
|
|
list(APPEND Z3_COMPONENT_CXX_FLAGS ${SSE_FLAGS})
|
|
endif()
|
|
unset(SSE_FLAGS)
|
|
-endif()
|
|
+endif() ]]
|
|
|
|
################################################################################
|
|
# Threading support
|