Project

General

Profile

« Previous | Next » 

Revision 57c96fb7

Added by LĂ©lio Brun 11 months ago

setup tests for dune

View differences:

src/main_lustre_testgen.ml
152 152
  let cmake_file = open_out cmakelists in
153 153
  let cmake_fmt = formatter_of_out_channel cmake_file in
154 154
  Format.fprintf cmake_fmt "cmake_minimum_required(VERSION 3.5)@.";
155
  Format.fprintf cmake_fmt "include(\"%s/share/helpful_functions.cmake\")@." Version.prefix;
156
  Format.fprintf cmake_fmt "include(\"%s/share/FindLustre.cmake\")@." Version.prefix;
155
  Format.fprintf cmake_fmt "include(\"%s/helpful_functions.cmake\")@." Version.testgen_path;
156
  Format.fprintf cmake_fmt "include(\"%s/FindLustre.cmake\")@." Version.testgen_path;
157 157
  Format.fprintf cmake_fmt "LUSTREFILES(LFILES ${CMAKE_CURRENT_SOURCE_DIR} )@.";
158 158
  Format.fprintf cmake_fmt "@[<v 2>FOREACH(lus_file ${LFILES})@ ";
159 159
  Format.fprintf cmake_fmt "get_lustre_name_ext(${lus_file} L E)@ ";

Also available in: Unified diff