Ricardo Silva d031bd7461 patching p4est to select the proper openmp lib (#9381) ... * patching p4est to select the proper openmp lib * For when compiler.openmp_flag isn't supported * authored by @nrichart, I only tested it * Adding openmp variant Signed-off-by: Ricardo Silva <ricardo.silva@epfl.ch>		2018-10-01 22:43:40 +02:00
..
gpg
gpg.mock
mock_configs/site_spackconfig
repos	patching p4est to select the proper openmp lib (#9381)	2018-10-01 22:43:40 +02:00