Project

General

Profile

Revision 5c3b45a0 src/main_lustre_testgen.ml

View differences:

src/main_lustre_testgen.ml
140 140
  let cmake_file = open_out cmakelists in
141 141
  let cmake_fmt = formatter_of_out_channel cmake_file in
142 142
  Format.fprintf cmake_fmt "cmake_minimum_required(VERSION 3.5)@.";
143
  Format.fprintf cmake_fmt "include(\"/home/ploc/Local/share/helpful_functions.cmake\")@.";
144
  Format.fprintf cmake_fmt "include(\"/home/ploc/Local/share/FindLustre.cmake\")@."; 
143
  Format.fprintf cmake_fmt "include(\"%s/share/helpful_functions.cmake\")@." Version.prefix;
144
  Format.fprintf cmake_fmt "include(\"%s/share/FindLustre.cmake\")@." Version.prefix;
145 145
  Format.fprintf cmake_fmt "LUSTREFILES(LFILES ${CMAKE_CURRENT_SOURCE_DIR} )@.";
146 146
  Format.fprintf cmake_fmt "@[<v 2>FOREACH(lus_file ${LFILES})@ ";
147 147
  Format.fprintf cmake_fmt "get_lustre_name_ext(${lus_file} L E)@ ";

Also available in: Unified diff