atm, do not built benchmark tool for fat runtime, as the function names are modified...

diff --git a/benchmarks/CMakeLists.txt b/benchmarks/CMakeLists.txt
index 921b013e0e29f28fe1b02e3eab725661b37a930b..2400c2e91c7b545d433f65b63da59dd5b692b80e 100644 (file)
--- a/benchmarks/CMakeLists.txt
+++ b/benchmarks/CMakeLists.txt
@@ -1,4 +1,10 @@
-add_executable(benchmarks benchmarks.cpp)
-set_source_files_properties(benchmarks.cpp PROPERTIES COMPILE_FLAGS
-    "-Wall -Wno-unused-variable")
-target_link_libraries(benchmarks hs)
+if (NOT FAT_RUNTIME)
+  add_executable(benchmarks benchmarks.cpp)
+  set_source_files_properties(benchmarks.cpp PROPERTIES COMPILE_FLAGS
+      "-Wall -Wno-unused-variable")
+  if (BUILD_STATIC_AND_SHARED OR BUILD_SHARED_LIBS)
+    target_link_libraries(benchmarks hs_shared)
+  else()
+    target_link_libraries(benchmarks hs)
+  endif()
+endif()