| Server IP : 82.208.35.60 / Your IP : 216.73.216.238 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/ports/math/stp/files/ |
Upload File : |
--- STPConfig.cmake.in.orig 2019-03-02 14:26:01 UTC
+++ STPConfig.cmake.in
@@ -11,6 +11,9 @@
get_filename_component(STP_CMAKE_DIR "${CMAKE_CURRENT_LIST_FILE}" PATH)
set(STP_INCLUDE_DIRS "@CONF_INCLUDE_DIRS@")
+include(CMakeFindDependencyMacro)
+find_dependency(cryptominisat5)
+
# Our library dependencies (contains definitions for IMPORTED targets)
include("${STP_CMAKE_DIR}/@STP_TARGETS_FILENAME@")