Various cleanups to the model-checking user interface

[simgrid.git] / buildtools / Cmake / MakeLib.cmake

diff --git a/buildtools/Cmake/MakeLib.cmake b/buildtools/Cmake/MakeLib.cmake
index 6d373a1..52d66f3 100644 (file)
--- a/buildtools/Cmake/MakeLib.cmake
+++ b/buildtools/Cmake/MakeLib.cmake
@@ -154,6 +154,6 @@ endif(enable_lib_static)
 
 # Dependencies from maintainer mode
 ###################################
-if(enable_maintainer_mode AND YACC_EXE AND LEX_EXE)
+if(enable_maintainer_mode AND BISON_EXE AND LEX_EXE)
   add_dependencies(simgrid automaton_generated_src)
-endif(enable_maintainer_mode AND YACC_EXE AND LEX_EXE)
\ No newline at end of file
+endif(enable_maintainer_mode AND BISON_EXE AND LEX_EXE)
\ No newline at end of file