From 5c0ad37fd1f1e21ede5c8ff97e805f9855698424 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 18 Dec 2012 10:16:01 +0100
Subject: [PATCH] This file does not belong to TRACING_SRC; define SIMGRID_SRC.

---
 buildtools/Cmake/DefinePackages.cmake | 6 +++++-
 buildtools/Cmake/Distrib.cmake        | 1 +
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index d7db267398..5f4102b6c3 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -230,6 +230,10 @@ set(SIMIX_SRC
   src/simix/smx_user.c
   )
 
+set(SIMGRID_SRC
+  src/simgrid/sg_config.c
+  )
+
 set(MSG_SRC
   src/msg/msg_actions.c
   src/msg/msg_config.c
@@ -312,7 +316,6 @@ set(LUA_SRC
   )
 
 set(TRACING_SRC
-  src/simgrid/sg_config.c
   src/instr/instr_config.c
   src/instr/instr_interface.c
   src/instr/instr_msg_process.c
@@ -461,6 +464,7 @@ set(simgrid_sources
   ${JEDULE_SRC}
   ${MSG_SRC}
   ${SIMDAG_SRC}
+  ${SIMGRID_SRC}
   ${SIMIX_SRC}
   ${SURF_SRC}
   ${TRACING_SRC}
diff --git a/buildtools/Cmake/Distrib.cmake b/buildtools/Cmake/Distrib.cmake
index f37a4dbbc2..1cb44c9f4b 100644
--- a/buildtools/Cmake/Distrib.cmake
+++ b/buildtools/Cmake/Distrib.cmake
@@ -191,6 +191,7 @@ set(source_to_pack
   ${NS3_SRC}
   ${RNGSTREAM_SRC}
   ${SIMDAG_SRC}
+  ${SIMGRID_SRC}
   ${SIMIX_SRC}
   ${SMPI_SRC}
   ${SURF_SRC}
-- 
2.20.1