From a124e68e1d3d3ee7caceaf1cd7b43ee9faa1b19c Mon Sep 17 00:00:00 2001
From: "Kirill A. Korinsky" <kirill@korins.ky>
Date: Tue, 13 Jun 2023 11:52:51 +0200
Subject: [PATCH] Enforce GMP based bliss

---
 sympol/CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git sympol/CMakeLists.txt sympol/CMakeLists.txt
index de9b4a8..9434c45 100644
--- sympol/CMakeLists.txt
+++ sympol/CMakeLists.txt
@@ -26,6 +26,8 @@ IF(BLISS_FOUND)
   include_directories(${BLISS_INCLUDE_DIR})
   set(TARGET_LIBS ${TARGET_LIBS} ${BLISS_LIBRARIES})
   set(HAVE_BLISS 1)
+  # use GMP based bliss
+  add_definitions(-DBLISS_USE_GMP)
 ENDIF(BLISS_FOUND)
 
 
-- 
2.41.0