From d3f7b66613fa332655b185f7e198c1b86b90afdb Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Thu, 27 Dec 2018 00:00:15 +0100
Subject: [PATCH 1/1] fix make dist

---
 tools/cmake/DefinePackages.cmake | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 754f638558..e05bf0f41f 100644
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -2,6 +2,7 @@
 
 set(EXTRA_DIST
   src/bindings/java/MANIFEST.in
+  src/bindings/python/simgrid_python.cpp
   src/include/mc/datatypes.h
   src/include/mc/mc.h
   src/include/simgrid/sg_config.hpp
-- 
2.20.1