From 67d62fca5bdee96f590c942b50021cdde5ce0c07 Mon Sep 17 00:00:00 2001 From: "Martin Quinson (nancy)" Date: Fri, 2 Mar 2012 16:17:51 +0100 Subject: [PATCH] missing file to install --- buildtools/Cmake/DefinePackages.cmake | 1 + 1 file changed, 1 insertion(+) diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake index 73dd6acb88..a84cb67f7b 100644 --- a/buildtools/Cmake/DefinePackages.cmake +++ b/buildtools/Cmake/DefinePackages.cmake @@ -425,6 +425,7 @@ set(headers_to_install include/xbt/automaton.h include/xbt/automatonparse_promela.h include/xbt/datadesc.h + include/xbt/socket.h include/simgrid/platf.h include/simgrid/modelchecker.h include/msg/msg.h -- 2.20.1