re-added gmp as a direct dependency to TKET

Author: jake-arkinstall

nix-support/tket.nix

@@ -19,7 +19,7 @@ in {
   tket = super.stdenv.mkDerivation {
     name = "tket";
     inherit src;
-    nativeBuildInputs = [ super.cmake ];
+    nativeBuildInputs = [ super.cmake super.pkg-config ];
     propagatedBuildInputs = super.tklibs
       ++ (with super; [ boost symengine eigen nlohmann_json ]);
     # TODO: add rapidcheck once nixpkgs packaging is correctly implemented.

tket/CMakeLists.txt

@@ -21,6 +21,11 @@ cmake_policy(SET CMP0022 NEW)
 list(INSERT CMAKE_MODULE_PATH 0 ${CMAKE_SOURCE_DIR}/cmake)
 
 find_package(Boost CONFIG REQUIRED)
+find_package(gmp CONFIG)
+if (NOT gmp_FOUND)
+    find_package(PkgConfig REQUIRED)
+    pkg_search_module(gmp REQUIRED IMPORTED_TARGET gmp)
+endif()
 find_package(SymEngine CONFIG REQUIRED)
 find_package(Eigen3 CONFIG REQUIRED)
 find_package(nlohmann_json CONFIG REQUIRED)
@@ -107,6 +112,9 @@ ENDIF()
 if (NOT TARGET symengine::symengine)
     add_library(symengine::symengine ALIAS symengine)
 endif()
+if (NOT TARGET gmp::gmp)
+    add_library(gmp::gmp ALIAS PkgConfig::gmp)
+endif()
 
 target_include_directories(tket PUBLIC
     $<INSTALL_INTERFACE:include/tket>
@@ -120,6 +128,7 @@ target_link_libraries(tket PUBLIC tkassert::tkassert)
 target_link_libraries(tket PUBLIC tkrng::tkrng)
 target_link_libraries(tket PUBLIC tktokenswap::tktokenswap)
 target_link_libraries(tket PRIVATE tkwsm::tkwsm)
+target_link_libraries(tket PRIVATE gmp::gmp)
 IF(APPLE)
     target_link_libraries(tket PRIVATE "-flat_namespace")
 ENDIF()

tket/cmake/tketConfig.cmake.in

@@ -4,6 +4,11 @@ get_filename_component(TKET_CMAKE_DIR "${CMAKE_CURRENT_LIST_FILE}" PATH)
 include(CMakeFindDependencyMacro)
 
 find_package(Boost CONFIG REQUIRED)
+find_package(gmp CONFIG)
+if (NOT gmp_FOUND)
+    find_package(PkgConfig REQUIRED)
+    pkg_search_module(gmp REQUIRED IMPORTED_TARGET gmp)
+endif()
 find_package(SymEngine CONFIG REQUIRED)
 find_package(Eigen3 CONFIG REQUIRED)
 find_package(nlohmann_json CONFIG REQUIRED)
@@ -16,4 +21,4 @@ if(NOT TARGET tket::tket)
     include("${TKET_CMAKE_DIR}/tketTargets.cmake")
 endif()
 
-set(TKET_lIBRARIES tket::tket)
+set(TKET_LIBRARIES tket::tket)