diff options
Diffstat (limited to 'model/CMakeLists.txt')
| -rw-r--r-- | model/CMakeLists.txt | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/model/CMakeLists.txt b/model/CMakeLists.txt index 957ab3c..191e77f 100644 --- a/model/CMakeLists.txt +++ b/model/CMakeLists.txt @@ -35,8 +35,6 @@ execute_process( ${SAIL_BIN} ${project_file} --require-version ${SAIL_REQUIRED_VER} - # include termination.sail in the list of dependencies - --variable "TERMINATION_FILE = true" --all-modules --list-files OUTPUT_VARIABLE sail_list_files @@ -380,7 +378,6 @@ foreach (xlen IN ITEMS 32 64) --config ${config_file} # Input files. ${SAIL_MODULES} - --variable "TERMINATION_FILE = true" ${project_file} ) add_custom_command( @@ -448,7 +445,6 @@ foreach (xlen IN ITEMS 32 64) ${lean_sail_common} ${lean_sail_default} ${SAIL_MODULES} - --variable "TERMINATION_FILE = true" ${project_file} ) add_custom_command( @@ -467,7 +463,6 @@ foreach (xlen IN ITEMS 32 64) ${lean_sail_common} ${lean_sail_executable} ${SAIL_MODULES} - --variable "TERMINATION_FILE = true" ${project_file} ) |