SET(BUILD_SM ON)
SET(BUILD_CYNARA ON)
SET(BUILD_WEB ON)
+ SET(BUILD_YACA ON)
ENDIF(BUILD_ALL_TESTS)
# If supported for the target machine, emit position-independent code,suitable
ADD_DEFINITIONS("-DWRT_SMACK_ENABLED")
ENDIF(SMACK_ENABLE)
+IF(NOT DEFINED SHARE_INSTALL_PREFIX)
+ SET(SHARE_INSTALL_PREFIX "${CMAKE_INSTALL_PREFIX}/share")
+ENDIF(NOT DEFINED SHARE_INSTALL_PREFIX)
+
############################# Targets names ###################################
SET(TARGET_CKM_TESTS "ckm-tests")