model-checker : remove clone file

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

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 50cfb56..09eb990 100644 (file)
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -16,7 +16,6 @@ set(EXTRA_DIST
        src/xbt/backtrace_windows.c
        src/xbt/backtrace_dummy.c
        src/xbt/setset_private.h
-       src/xbt/automatonparse_promela.c
        src/xbt/mmalloc/mfree.c
        src/xbt/mmalloc/mmalloc.c
        src/xbt/mmalloc/mmalloc.info
@@ -85,6 +84,7 @@ set(EXTRA_DIST
        src/smpi/README
        src/mk_supernovae.pl
        
+
        tools/gras/gras_stub_generator.h
        tools/tesh/run_context.h  
        tools/tesh/tesh.h
@@ -169,7 +169,10 @@ set(XBT_SRC
        src/xbt/parmap.c
        src/xbt/xbt_replay.c
        src/xbt/lib.c
-       src/xbt/automaton.c
+       src/xbt/automaton/automaton.c
+       src/xbt/automaton/automatonparse_promela.c
+       src/xbt/automaton/automaton.c
+       src/xbt/automaton/automaton_create.c
        src/xbt/datadesc/ddt_create.c
        src/xbt/datadesc/ddt_convert.c
        src/xbt/datadesc/ddt_exchange.c
@@ -326,15 +329,24 @@ set(BINDINGS_SRC
 )
 
 set(LUA_SRC
-       src/bindings/lua/simgrid_lua.c
-       src/bindings/lua/lua_task.c
-       src/bindings/lua/lua_comm.c
-       src/bindings/lua/lua_host.c
-       src/bindings/lua/lua_process.c
-       src/bindings/lua/lua_platf.c
-        src/bindings/lua/lua_utils.c
-        src/bindings/lua/lua_state_cloner.c
-       src/bindings/lua/lua_stub_generator.c
+  src/bindings/lua/simgrid_lua.c
+  src/bindings/lua/lua_task.c
+  src/bindings/lua/lua_comm.c
+  src/bindings/lua/lua_host.c
+  src/bindings/lua/lua_process.c
+  src/bindings/lua/lua_platf.c
+  src/bindings/lua/lua_utils.c
+  src/bindings/lua/lua_state_cloner.c
+  src/bindings/lua/lua_stub_generator.c
+)
+
+set(BINDINGS_FILES
+  ${LUA_SRC}
+  src/bindings/lua/simgrid_lua.h
+  src/bindings/lua/lua_utils.h
+  src/bindings/lua/lua_state_cloner.h
+  src/bindings/lua/lua_private.h
+  src/bindings/bindings_global.c
 )
 
 set(TRACING_SRC
@@ -386,6 +398,8 @@ set(headers_to_install
        include/xbt/hash.h
        include/xbt/function_types.h
        include/xbt/asserts.h 
+       include/xbt/automaton.h
+       include/xbt/automatonparse_promela.h
        include/xbt/ex.h
        include/xbt/log.h
        include/xbt/module.h
@@ -412,8 +426,6 @@ set(headers_to_install
        include/xbt/mmalloc.h
        include/xbt/replay.h
        include/xbt/parmap.h
-       include/xbt/automaton.h
-       include/xbt/automatonparse_promela.h
        include/xbt/datadesc.h
        include/xbt/socket.h
        include/xbt/file_stat.h
@@ -658,41 +670,14 @@ set(DOC_FIGS
        ${CMAKE_HOME_DIRECTORY}/doc/fig/gras_comm.fig
 )
 
-file(GLOB_RECURSE add_src_files
-"testsuite/*.c"
-"testsuite/*.cxx"
-"testsuite/*CMakeLists.txt"
-"tools/*.c"
-"tools/*.cxx"
-"tools/*CMakeLists.txt"
-"src/bindings/*.lua"
-"src/bindings/*.rb"
-"src/bindings/*.c"
-"src/bindings/*.h"
-"src/bindings/*CMakeLists.txt"
-)
-set(add_src_files
-       ${add_src_files}
+set(bin_files
+       ${bin_files}
        src/smpi/smpicc.in
        src/smpi/smpif2c.in
        src/smpi/smpiff.in
        src/smpi/smpirun.in
 )
 
-file(GLOB_RECURSE xml_files
-"include/*.xml"
-"src/*.xml"
-"testsuite/*.xml"
-"tools/*.xml"
-)
-
-file(GLOB_RECURSE tesh_files
-"include/*.tesh"
-"src/*.tesh"
-"testsuite/*.tesh"
-"tools/*.tesh"
-)
-
 set(txt_files
 ${txt_files}
   "testsuite/surf/trace_A_failure.txt"
@@ -708,13 +693,6 @@ ${txt_files}
   INSTALL
 )
 
-set(bin_files
-  ${bin_files}
-  tools/MSG_visualization/colorize.pl
-  tools/sg_unit_extractor.pl
-  tools/simgrid_update_xml.pl
-)
-
 set(EXAMPLES_CMAKEFILES_TXT
 examples/smpi/CMakeLists.txt
 examples/amok/saturate/CMakeLists.txt
@@ -781,6 +759,18 @@ teshsuite/CMakeLists.txt
 teshsuite/gras/CMakeLists.txt
 )
 
+set(TOOLS_CMAKEFILES_TXT
+tools/tesh/CMakeLists.txt
+tools/graphicator/CMakeLists.txt
+tools/CMakeLists.txt
+tools/gras/CMakeLists.txt
+)
+
+set(TESTSUITE_CMAKEFILES_TXT
+testsuite/surf/CMakeLists.txt
+testsuite/xbt/CMakeLists.txt
+)
+
 set(CMAKE_SOURCE_FILES
 buildtools/Cmake/CTestConfig.cmake
 buildtools/Cmake/UnitTesting.cmake