From 0c62606c6f6932a9161c2b13901f1ad8fb5e6caa Mon Sep 17 00:00:00 2001
From: AntoinePrv <AntoinePrv@users.noreply.github.com>
Date: Mon, 23 Nov 2020 15:09:43 -0500
Subject: [PATCH] Fix build in non-developper

---
 python/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/python/CMakeLists.txt b/python/CMakeLists.txt
index be0300dc8..9a08dca5b 100644
--- a/python/CMakeLists.txt
+++ b/python/CMakeLists.txt
@@ -90,6 +90,7 @@ add_custom_target(
 	COMMAND ${CMAKE_COMMAND} -E copy_if_different ${PYTHON_SOURCE_FILES} "${CMAKE_CURRENT_BINARY_DIR}/src/ecole"
 	COMMENT "Copying Python files"
 )
+add_dependencies(ecole-python ecole-python-files)
 
 if(ENABLE_PYTHON_VENV)
 	add_custom_command(