Update setup.py

setup.py

@@ -168,6 +168,9 @@ def copy_extension_to_source(self, ext):
         if platform.system() == "Linux":
             src_filename = os.path.join(self.build_temp + '/src/libtriton', 'triton.so')
             dst_filename = os.path.join(self.build_lib, os.path.basename(filename))
+            if os.getenv('Z3_LIBRARIES'):
+                z3_lib_dir = subprocess.check_output(['pkg-config', '--variable=libdir', 'z3']).decode().strip()
+                copy_file(z3_lib_dir.join('/libz3.so'), self.build_lib, verbose=self.verbose, dry_run=self.dry_run)
         elif platform.system() == "Darwin":
             src_filename = os.path.join(self.build_temp + '/src/libtriton', 'libtriton.dylib')
             dst_filename = os.path.join(self.build_lib, os.path.basename(filename))
@@ -183,7 +186,6 @@ def copy_autocomplete(self):
         src_filename = os.path.join(self.build_temp + '/doc/triton_autocomplete', 'triton.pyi')
         if(os.path.exists(src_filename)):
             copy_file(src_filename, self.build_lib, verbose=self.verbose, dry_run=self.dry_run)
-
 with open("README.md", "r") as f:
     long_description = f.read()