<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    Hi,<br>
    <br>
    Same problem here. I solved it by adding --with-openmpclasses to the
    configure:<br>
    <br>
    <pre style="white-space: pre-wrap; color: rgb(0, 0, 0); font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; widows: 1; word-spacing: 0px; -webkit-text-stroke-width: 0px;">./configure ... --with-openmp --with-openmpclasses --with-pthreadclasses --with-threadcomm ...</pre>
    <br>
    Pierre<br>
    <br>
    -- <br>
    <div class="moz-signature"><img
        src="cid:part1.04070700.01040304@c-s.fr" border="0"></div>
  </body>
</html>