Project

General

Profile

Revision 5487dd79 src/main_lustre_testgen.ml

View differences:

src/main_lustre_testgen.ml
117 117
       dir ^ "/" ^ (Filename.basename basename)^ ".mutation.json"
118 118
  in
119 119
  pp_trace trace_filename mutation_list;
120

  
121
  (* Printing the CMakeLists.txt file *)
122
  let cmakelists = 
123
    (if !Options.dest_dir = "" then "" else !Options.dest_dir ^ "/") ^ "CMakeLists.txt"
124
  in
125
  let cmake_file = open_out cmakelists in
126
  let cmake_fmt = formatter_of_out_channel cmake_file in
127
  Format.fprintf cmake_fmt "cmake_minimum_required(VERSION 3.5)@.";
128
  Format.fprintf cmake_fmt "include(\"/home/ploc/Local/share/helpful_functions.cmake\")@.";
129
  Format.fprintf cmake_fmt "include(\"/home/ploc/Local/share/FindLustre.cmake\")@."; 
130
  Format.fprintf cmake_fmt "LUSTREFILES(LFILES ${CMAKE_CURRENT_SOURCE_DIR} )@.";
131
  Format.fprintf cmake_fmt "@[<v 2>FOREACH(lus_file ${LFILES})@ ";
132
  Format.fprintf cmake_fmt "get_lustre_name_ext(${lus_file} L E)@ ";
133
  Format.fprintf cmake_fmt "Lustre_Compile(@[<v 0>NODE \"top_mutant\"@ ";
134
  Format.fprintf cmake_fmt "LIBNAME \"${L}_top_mutant\"@ ";
135
  Format.fprintf cmake_fmt "LUS_FILES \"${lus_file}\")@]@]@.";
136
  Format.fprintf cmake_fmt "ENDFOREACH()@.@?";
137
  
138
  
120 139
  (* We stop the process here *)
121 140
  exit 0
122 141
    

Also available in: Unified diff