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

..

package.py

patching p4est to select the proper openmp lib (#9381)

2018-10-01 22:43:40 +02:00