CristalCaveGem » LustreC » Lustrec-Tests

cmake_minimum_required(VERSION 2.8.4)

if(ZUSTRE_COMPILER)

  message(STATUS "Found zustre: ${ZUSTRE_COMPILER} ")

else(ZUSTRE_COMPILER)

  message(FATAL_ERROR "zustre not found")

endif(ZUSTRE_COMPILER)

#take all lustre files

  set(GLOBAL_LUSTRE_FILES "")

  LUSTREFILES(LFILES ${CMAKE_CURRENT_SOURCE_DIR} )

  list(APPEND GLOBAL_LUSTRE_FILES ${LFILES})

  FOREACH(lfile ${LFILES})

	  get_filename_component(L ${lfile} NAME_WE)

	  set(LUSTRE_OUTPUT_DIR "${CMAKE_CURRENT_BINARY_DIR}/${L}")

	  file(COPY ${lfile}   DESTINATION  ${LUSTRE_OUTPUT_DIR})

  ENDFOREACH()

#first combination :no option

set(ZUSTRE_OPTIONS_OPT "--timeout" "60" "--xml" )

FOREACH(lus_file ${GLOBAL_LUSTRE_FILES})

	get_filename_component(L ${lus_file} NAME_WE)

	set(ZUSTRE_NODE_OPT  "top")

	Lustre_Compile(LUS_FILE ${lus_file}

					NODE ""

					OPTS "-horn")

	set(LUS_OPTS_CUT ${LUSTRE_OPTS_POSTFIX_${L}})

	add_test(NAME Kind_fmcad08_large_SAFE_COMPIL_LUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}

			COMMAND  ${LUSTRE_COMPILER} ${LUSTREC_ARGS_${L}_${LUSTRE_NODE_OPT}_${LUS_OPTS_CUT}} 

	)

	Zustre_Compile(LUS_FILE ${lus_file}

					NODE ${ZUSTRE_NODE_OPT}

					OPTS ${ZUSTRE_OPTIONS_OPT})

	set(ZUS_OPTS_CUT ${ZUSTRE_OPTS_POSTFIX_${L}})

	add_test(NAME Kind_fmcad08_large_SAFE_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}

			COMMAND  ${ZUSTRE_COMPILER} ${ZUSTRE_ARGS_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}} 

			WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}}

	)

	SET_TESTS_PROPERTIES (  Kind_fmcad08_large_SAFE_COMPIL_ZUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT}

			PROPERTIES PASS_REGULAR_EXPRESSION "<Answer>SAFE</Answer>"

					DEPENDS Kind_fmcad08_large_SAFE_COMPIL_LUSTRE_${L}_${ZUSTRE_NODE_OPT}_${ZUS_OPTS_CUT})

ENDFOREACH()

add_custom_target(Kind_fmcad08_large_SAFE COMMAND ${CMAKE_CTEST_COMMAND} -R Kind_fmcad08_large_SAFE)