2020-10-20 20:29:08 +03:00
|
|
|
# Copyright (c) Microsoft Corporation. All rights reserved.
|
|
|
|
# Licensed under the MIT license.
|
|
|
|
|
2020-10-09 10:53:02 +03:00
|
|
|
# Remove native/src/gsl directory which is no longer used in version >= 3.5.0
|
2020-11-14 03:55:53 +03:00
|
|
|
if(EXISTS ${SEAL_INCLUDES_DIR}/gsl)
|
|
|
|
message(STATUS "Removing ${SEAL_INCLUDES_DIR}/gsl; this is no longer used by Microsoft SEAL >= 3.5.0")
|
|
|
|
file(REMOVE_RECURSE ${SEAL_INCLUDES_DIR}/gsl)
|
2020-10-09 10:53:02 +03:00
|
|
|
endif()
|
|
|
|
|
|
|
|
# Remove thirdparty/zlib/src/CMakeCache.txt: the location changed in SEAL >= 3.5.4
|
2020-11-14 03:55:53 +03:00
|
|
|
if(EXISTS ${SEAL_THIRDPARTY_DIR}/zlib/src/CMakeCache.txt)
|
2020-10-09 10:53:02 +03:00
|
|
|
message(STATUS "Removing old ${SEAL_THIRDPARTY_DIR}/zlib/src/CMakeCache.txt")
|
|
|
|
file(REMOVE ${SEAL_THIRDPARTY_DIR}/zlib/src/CMakeCache.txt)
|
2020-11-14 03:55:53 +03:00
|
|
|
endif()
|
|
|
|
|
|
|
|
# Remove config.h from source tree
|
|
|
|
if(EXISTS ${SEAL_INCLUDES_DIR}/seal/util/config.h)
|
|
|
|
message(STATUS "Removing old ${SEAL_INCLUDES_DIR}/seal/util/config.h")
|
|
|
|
file(REMOVE ${SEAL_INCLUDES_DIR}/seal/util/config.h)
|
|
|
|
endif()
|