From a91531c04c7a0dd184f8b7b3111314f63b629959 Mon Sep 17 00:00:00 2001 From: Audrey Dutcher Date: Sat, 28 Jul 2018 17:54:32 -0700 Subject: [PATCH] Stub z3test.py for pydistrib --- src/api/python/setup.py | 1 + 1 file changed, 1 insertion(+) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index 24ba59ac2..a2b312e6d 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -118,6 +118,7 @@ def _copy_sources(): os.mkdir(os.path.join(SRC_DIR_LOCAL, 'src', 'api', 'python')) os.mkdir(os.path.join(SRC_DIR_LOCAL, 'src', 'api', 'python', 'z3')) open(os.path.join(SRC_DIR_LOCAL, 'src', 'api', 'python', 'z3', '.placeholder'), 'w').close() + open(os.path.join(SRC_DIR_LOCAL, 'src', 'api', 'python', 'z3test.py'), 'w').close() class build(_build): def run(self):