Merge branch 'master' into dev

apache · Aug 26, 2017 · 3082d44 · 3082d44
2 parents 6f98677 + 26b433b
commit 3082d44
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -91,6 +91,7 @@ stage('Build') {
            echo LLVM_CONFIG=llvm-config-4.0 >> config.mk
            echo USE_RPC=1 >> config.mk
            echo USE_BLAS=openblas >> config.mk
+           rm -f lib/libtvm_runtime.so lib/libtvm.so
            """
         make('gpu', '-j2')
         sh "mv lib/libtvm.so lib/libtvm_llvm40.so"

diff --git a/python/setup.py b/python/setup.py
@@ -85,7 +85,7 @@ def is_pure(self):
     with open("MANIFEST.in", "w") as fo:
         fo.write("include tvm/%s\n" % LIB_NAME)
     setup_kwargs = {
-        "include_package_data": False
+        "include_package_data": True
     }
 else:
     setup_kwargs = {