Fix

filikat · filikat · commit d6c90e1108bb · 2026-06-19T10:23:55.000+01:00
diff --git a/highs/HighsExternalApi.cpp b/highs/HighsExternalApi.cpp
@@ -16,7 +16,7 @@ using namespace HighsExtras;
 
 HighsExternalApi::~HighsExternalApi() {
 #ifdef HIGHS_SHARED_EXTRAS_LIBRARY
-  HighsExtras::blas::openblas_shutdown();
+  if (isAvailable<HighsExtras::blas>()) HighsExtras::blas::openblas_shutdown();
 #endif
   unload();
 }

Original file line number	Diff line number	Diff line change
`@@ -16,7 +16,7 @@ using namespace HighsExtras;`
`16`	`16`
`17`	`17`	`HighsExternalApi::~HighsExternalApi() {`
`18`	`18`	`#ifdef HIGHS_SHARED_EXTRAS_LIBRARY`
`19`		`- HighsExtras::blas::openblas_shutdown();`
	`19`	`+ if (isAvailable<HighsExtras::blas>()) HighsExtras::blas::openblas_shutdown();`
`20`	`20`	`#endif`
`21`	`21`	`unload();`
`22`	`22`	`}`