mirror of
https://github.com/openmc-dev/openmc.git
synced 2026-07-28 06:05:58 -04:00
Make sure <gsl/gsl> gets installed. Closes #1496
This commit is contained in:
parent
630be279f2
commit
3aceb2dc94
1 changed files with 2 additions and 0 deletions
|
|
@ -170,6 +170,8 @@ target_link_libraries(xtensor INTERFACE xtl)
|
|||
# GSL header-only library
|
||||
#===============================================================================
|
||||
|
||||
set(GSL_LITE_OPT_INSTALL_COMPAT_HEADER ON CACHE BOOL
|
||||
"Install MS-GSL compatibility header <gsl/gsl>")
|
||||
add_subdirectory(vendor/gsl-lite)
|
||||
|
||||
# Make sure contract violations throw exceptions
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue