1#===------------------------------------------------------------------------===#
2#
3#                     The KLEE Symbolic Virtual Machine
4#
5# This file is distributed under the University of Illinois Open Source
6# License. See LICENSE.TXT for details.
7#
8#===------------------------------------------------------------------------===#
9
10function(string_to_list s output_var)
11  string(REPLACE " " ";" _output "${s}")
12  set(${output_var} ${_output} PARENT_SCOPE)
13endfunction()
14