upgrade to SEAL 4.0

Author: CsYang1248

.gitmodules

@@ -1,6 +1,6 @@
 [submodule "SEAL"]
 	path = SEAL
-	url = https://github.com/microsoft/SEAL.git
+  	url = https://github.com/Desilo/SEAL.git
 [submodule "pybind11"]
 	path = pybind11
 	url = https://github.com/pybind/pybind11.git

SEAL

@@ -11,13 +11,13 @@
 # include directories
 include_dirs = [py_include_dir, './pybind11/include', './SEAL/native/src', './SEAL/build/native/src']
 # library path
-extra_objects = ['./SEAL/build/lib/libseal-3.7.a']
+extra_objects = ['./SEAL/build/lib/libseal-4.0.a']
 # available wrapper: src/wrapper.cpp, src/wrapper_with_pickle.cpp
 wrapper_file = 'src/wrapper.cpp'
 
 if(platform.system() == "Windows"):
     cpp_args[0] = '/std:c++latest'  # /std:c++1z
-    extra_objects[0] = './SEAL/build/lib/Release/seal-3.7.lib'
+    extra_objects[0] = './SEAL/build/lib/Release/seal-4.0.lib'
 
 if not os.path.exists(extra_objects[0]):
     print('Can not find the seal lib,')
@@ -37,7 +37,7 @@
 
 setup(
     name='seal',
-    version='3.7',
+    version='4.0',
     author='Desilo',
     author_email='[email protected]',
     description='Python wrapper for the Microsoft SEAL',