Bug in cmake script for machines that don't support rdseed

SCI/src/utils/CMakeLists.txt

@@ -6,6 +6,10 @@ find_package(GMP REQUIRED)
 
 add_library(SCI-utils INTERFACE)
 
+if(USE_RANDOM_DEVICE)
+    target_compile_definitions(SCI-utils INTERFACE EMP_USE_RANDOM_DEVICE=1)
+endif(USE_RANDOM_DEVICE)
+
 target_include_directories(SCI-utils
     INTERFACE ${OPENSSL_INCLUDE_DIR} ${GMP_INCLUDE_DIR}
 )

SCI/src/utils/cmake/source_of_randomness.cmake

@@ -18,7 +18,6 @@ ELSE(NOT ${RDSEED_COMPILE_RESULT})
 ENDIF(NOT ${RDSEED_COMPILE_RESULT})
 
 IF(${USE_RANDOM_DEVICE})
-	ADD_DEFINITIONS(-DEMP_USE_RANDOM_DEVICE)
 	message("${Red}-- Source of Randomness: random_device${ColourReset}")
 ELSE(${USE_RANDOM_DEVICE})
 	message("${Green}-- Source of Randomness: rdseed${ColourReset}")