Merge pull request #3762 from kjetilly/fail_on_missing_damaris

Fail if Damaris is requested and not found
This commit is contained in:
Arne Morten Kvarving 2023-11-10 12:22:13 +01:00 committed by GitHub
commit cde9209cf3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -18,7 +18,7 @@ if(USE_DAMARIS_LIB AND MPI_FOUND)
message(STATUS "The Damaris library does NOT have Catalyst support")
endif()
else()
message(STATUS "The Damaris library was requested but NOT found")
message(FATAL_ERROR "The Damaris library was requested but NOT found")
endif()
else() # User did not request Damaris support
unset(HAVE_DAMARIS)