From 849eb389e6be734f12523f83e583776c52a7013e Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sun, 25 Jun 2017 23:08:24 +0100
Subject: [PATCH] [CMake] Add missing python example files.

We have to flatten the hierarchy when copying across so that all
Python examples have the `z3` directory in their directory.
---
 examples/python/CMakeLists.txt | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/examples/python/CMakeLists.txt b/examples/python/CMakeLists.txt
index fdbb7891f..9bd45df41 100644
--- a/examples/python/CMakeLists.txt
+++ b/examples/python/CMakeLists.txt
@@ -1,5 +1,11 @@
 set(python_example_files
+  all_interval_series.py
+  complex/complex.py
   example.py
+  hamiltonian/hamiltonian.py
+  mus/marco.py
+  mus/mss.py
+  socrates.py
   visitor.py
 )
 
@@ -10,7 +16,10 @@ foreach (example_file ${python_example_files})
   add_custom_command(OUTPUT "${z3py_bindings_build_dest}/${example_file}"
     COMMAND "${CMAKE_COMMAND}" "-E" "copy"
       "${CMAKE_CURRENT_SOURCE_DIR}/${example_file}"
-      "${z3py_bindings_build_dest}/${example_file}"
+      # We flatten the hierarchy so that all python files have
+      # the `z3` directory in their directory so that their import
+      # statements "just work".
+      "${z3py_bindings_build_dest}/"
     DEPENDS "${CMAKE_CURRENT_SOURCE_DIR}/${example_file}"
     COMMENT "Copying \"${example_file}\" to ${z3py_bindings_build_dest}/${example_file}"
   )