superlu-dist: enforce OpenMP=OFF (#14708)

This commit is contained in:
Christoph Junghans 2020-01-31 12:35:46 -07:00 committed by GitHub
parent 47ee690076
commit d83309493f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -72,6 +72,7 @@ def cmake_args(self):
args.append('-Denable_openmp=ON') args.append('-Denable_openmp=ON')
else: else:
args.append('-Denable_openmp=OFF') args.append('-Denable_openmp=OFF')
args.append('-DCMAKE_DISABLE_FIND_PACKAGE_OpenMP=ON')
if '+shared' in spec: if '+shared' in spec:
args.append('-DBUILD_SHARED_LIBS:BOOL=ON') args.append('-DBUILD_SHARED_LIBS:BOOL=ON')