Kotaro Inoue 9986c559b8 [seal] Add new port (#9698) ... * Add Microsoft SEAL as a new port * Fix to choose either static or shared binaries * Fix to fail port install on Windows platforms * Fix to enable a command line build on windows * Fix to fail port install on UWP		2020-01-30 12:55:19 -08:00
..
CONTROL	[seal] Add new port (#9698)	2020-01-30 12:55:19 -08:00
portfile.cmake	[seal] Add new port (#9698)	2020-01-30 12:55:19 -08:00