Lustre test gen mutation: bug solved. The path to the installation was hardcoded.

Makefile.in

@@ -78,7 +78,7 @@ install-base: clean-lusic
 	mkdir -p ${bindir}
 	for x in $(BIN_TARGETS); do install -m 0755 $(LOCAL_BINDIR)/$$x ${bindir}; done
 	mkdir -p ${datarootdir}
-	install -m 0655 share/* ${datarootdir}
+	install -m 0655 share/*.cmake ${datarootdir}
 	mkdir -p ${includedir}/lustrec
 	install -m 0655 include/* ${includedir}/lustrec
 

configure.ac

@@ -164,6 +164,7 @@ AC_CONFIG_FILES([Makefile
 		 src/pluginList.ml
 		 src/_tags
 		 src/ocaml_utils.ml
+		 share/FindLustre.cmake
 		 ])
 
 AC_OUTPUT

share/FindLustre.cmake → share/FindLustre.cmake.in

@@ -26,7 +26,7 @@
 # The VERBOSE level is a numeric value passed directly to the -verbose
 # command line option of the lustre compiler
 #
-include("/home/ploc/Local/share/helpful_functions.cmake")
+include("@prefix@/share/helpful_functions.cmake")
 
 if(LUSTRE_PATH_HINT)
   message(STATUS "FindLustre: using PATH HINT: ${LUSTRE_PATH_HINT}")

src/main_lustre_testgen.ml

@@ -140,8 +140,8 @@ let testgen_source dirname basename extension =
   let cmake_file = open_out cmakelists in
   let cmake_fmt = formatter_of_out_channel cmake_file in
   Format.fprintf cmake_fmt "cmake_minimum_required(VERSION 3.5)@.";
-  Format.fprintf cmake_fmt "include(\"/home/ploc/Local/share/helpful_functions.cmake\")@.";
-  Format.fprintf cmake_fmt "include(\"/home/ploc/Local/share/FindLustre.cmake\")@."; 
+  Format.fprintf cmake_fmt "include(\"%s/share/helpful_functions.cmake\")@." Version.prefix;
+  Format.fprintf cmake_fmt "include(\"%s/share/FindLustre.cmake\")@." Version.prefix;
   Format.fprintf cmake_fmt "LUSTREFILES(LFILES ${CMAKE_CURRENT_SOURCE_DIR} )@.";
   Format.fprintf cmake_fmt "@[<v 2>FOREACH(lus_file ${LFILES})@ ";
   Format.fprintf cmake_fmt "get_lustre_name_ext(${lus_file} L E)@ ";