temporary remove delete from nightly

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Oct 14, 2019 · 09523a4 · 09523a4
1 parent 5a1003f
commit 09523a4
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 8 deletions.
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -117,14 +117,14 @@ jobs:
     inputs:
      artifactName: 'Ubuntu'
      targetPath: tmp
-  - task: GitHubRelease@0
-    inputs:
-      gitHubConnection: Z3GitHub
-      repositoryName: 'Z3Prover/z3'
-      action: 'delete'
-#     target: '$(Build.SourceVersion)'
-      tagSource: 'manual'
-      tag: 'Nightly'
+#  - task: GitHubRelease@0
+#    inputs:
+#      gitHubConnection: Z3GitHub
+#      repositoryName: 'Z3Prover/z3'
+#      action: 'delete'
+##     target: '$(Build.SourceVersion)'
+#      tagSource: 'manual'
+#      tag: 'Nightly'
   - task: GitHubRelease@0
     inputs:
       gitHubConnection: Z3GitHub

diff --git a/src/api/python/setup.py b/src/api/python/setup.py
@@ -5,6 +5,7 @@
 import subprocess
 import multiprocessing
 import re
+import glob
 from setuptools import setup
 from distutils.util import get_platform
 from distutils.errors import LibError
@@ -142,6 +143,8 @@ def _copy_bins():
     os.mkdir(HEADERS_DIR)
     shutil.copy(os.path.join(BUILD_DIR, LIBRARY_FILE), LIBS_DIR)
     shutil.copy(os.path.join(BUILD_DIR, EXECUTABLE_FILE), BINS_DIR)
+    for filepath in glob.glob(os.path.join(BUILD_DIR, "msvcp*")) + glob.glob(os.path.join(BUILD_DIR, "vcomp*")):
+        shutil.copy(filepath, LIBS_DIR)
 
     for header_dir in HEADER_DIRS:
         for fname in os.listdir(header_dir):