add_executable(${thename} EXCLUDE_FROM_ALL ${${thename}_sources})
target_link_libraries(${thename} ginac)
add_dependencies(check ${thename})
add_executable(${thename} EXCLUDE_FROM_ALL ${${thename}_sources})
target_link_libraries(${thename} ginac)
add_dependencies(check ${thename})