Final fix

Author: vsoftco

README.md

@@ -65,18 +65,19 @@ liboqs' library directory, e.g.,
 export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib
 ```
 
-On Windows platforms, **you must ensure** that the liboqs shared library
-`oqs.dll` is visible system-wide, and that the following environment variable
-are being set. Use the "Edit the system environment variables" Control Panel
-tool or execute in a Command Prompt, e.g.,
+On Windows platforms, **you must ensure** that you add the
+`-DCMAKE_WINDOWS_EXPORT_ALL_SYMBOLS=TRUE` flag to CMake, and that the liboqs
+shared library `oqs.dll` is visible system-wide, i.e., set the `PATH`
+environment variable accordingly by using the "Edit the system environment
+variables" Control Panel tool or executing in a Command Prompt
 
 ```shell
 set PATH=%PATH%;C:\Program Files (x86)\liboqs\bin
 ```
 
 You can change liboqs' installation directory by configuring the build to use
-an alternative path, e.g., `C:\liboqs`, by replacing the first CMake line above
-by
+an alternative path, e.g., `C:\liboqs`, by passing the
+`-DCMAKE_INSTALL_PREFIX=/path/to/liboqs` flag to CMake, e.g.,
 
 ```shell
 cmake -S liboqs -B liboqs/build -DCMAKE_INSTALL_PREFIX="C:\liboqs" -DBUILD_SHARED_LIBS=ON

oqs/oqs.py

@@ -51,6 +51,8 @@ def _load_shared_obj(name, additional_searching_paths=None):
                 # https://stackoverflow.com/questions/856116/changing-ld-library-path-at-runtime-for-ctypes
                 # os.environ["LD_LIBRARY_PATH"] += os.path.abspath(path)
             if platform.system() == "Windows":
+                paths.append(os.path.abspath(path) + os.path.sep + name + ".lib")
+                paths.append(os.path.abspath(path) + os.path.sep + name + ".dll")
                 os.environ["PATH"] += os.path.abspath(path)  # Windows
     # Search typical locations
 
@@ -110,7 +112,7 @@ def _install_liboqs(directory, oqs_version):
     _liboqs = _load_shared_obj(name="oqs", additional_searching_paths=[oqs_lib_dir])
     assert _liboqs
 except RuntimeError:
-    # We don't have liboqs, so we try to install it automatically in $HOME/oqs
+    # We don't have liboqs, so we try to install it automatically
     _install_liboqs(directory=oqs_install_dir, oqs_version=OQS_VERSION)
     # Try loading it again
     try: