Errors when using Microsoft SEAL installed with vcpkg

[darkangel583]

Description:

I installed Microsoft SEAL using vcpkg on Windows, following the instructions from the official GitHub repository. I added the path of the header file seal_x64-windows\include\SEAL-4.1\seal in additional include directories and added the path seal_x64-windows\lib additional libraries directories and added seal-4.1.lib in additional dependencies in the #include<seal.h> I am not getting errors but when I write using namespace seal; I am getting errors in it trying to find more about it I opened seal.h which included errors in opening a bunch of header files

Steps to reproduce:

1. Install Microsoft SEAL using vcpkg: vcpkg install seal:windows-x64-static
2. Create a new C++ project in Visual Studio and add the SEAL header and library paths to the project settings
3. Write a simple C++ program (I used the code released by Microsoft for seal in windows "https://www.microsoft.com/en-us/research/video/installing-microsoft-seal-on-windows/")
4. Build and run the project

Expected result:

• The program should run without any problems

Actual result:

The program fails to compile and shows the following errors:
Severity Code Description Project File Line Suppression State Details
Error C1083 Cannot open include file: 'seal/batchencoder.h': No such file or directory seal

To look into this i opened the seal.h file to find a bunch of #includes where everyone one has errors like this:

cannot open sourcefile "seal/batchencoder.h"