Merge branch 'dmglib' of github.com:claudioperez/OpenSees into dmglib

zhuminjie · Aug 23, 2021 · a45d3ab · a45d3ab
2 parents c9dfb38 + 8aab12b
commit a45d3ab
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -518,7 +518,7 @@ endif()
 #----------------------------
 # Reliability
 #----------------------------
-if (OPS_Use_Reliability)
+if ("OPS_Reliability" IN_LIST OPS_Extension_List)
     add_compile_definitions(_RELIABILITY)
     target_link_libraries(${OPS_FINAL_TARGET} OPS_Reliability)
 endif()

diff --git a/Conf.cmake b/Conf.cmake
@@ -23,10 +23,6 @@ option(FMK
 
 # Optional Extensions
 #--------------------------------------
-option(OPS_Use_Reliability   
-    "Include reliability"                                    OFF)
-
-
 option(OPS_Use_Graphics
     "Include graphics"                                       OFF)