From: Paul Bédaride <paul.bedaride@gmail.com>
Date: Thu, 28 Nov 2013 10:38:51 +0000 (+0100)
Subject: Oops I forget to add new header to DefinePackages.cmake
X-Git-Tag: v3_11_beta~217
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e15646081bb00a6a017dcef46dc367c57a755f71

Oops I forget to add new header to DefinePackages.cmake
---

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 679a8f366f..1ba8ed9005 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -537,6 +537,7 @@ set(headers_to_install
   include/msg/msg.h
   include/simdag/datatypes.h
   include/simdag/simdag.h
+  include/simgrid/datatypes.h
   include/simgrid/modelchecker.h
   include/simgrid/platf.h
   include/simgrid/platf_generator.h