<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">yes, in fact I think my problem is related to the issues mentioned below. I will have to find a workaround.<div><br><div apple-content-edited="true">
<div style="color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Benedikt</div><div style="color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br></div></div></div>
</div>
<br><div><div>On 29 Jan 2014, at 11:41, Christoph Grüninger <<a href="mailto:christoph.grueninger@iws.uni-stuttgart.de">christoph.grueninger@iws.uni-stuttgart.de</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">Hi Benedikt,<br>might be helpful to change the used C++ library:<br><a href="http://stackoverflow.com/q/16352833">http://stackoverflow.com/q/16352833</a><br>http://stackoverflow.com/q/19621831<br><br><blockquote type="cite">How and where exactly should I run make check ?<br></blockquote><br>Sorry, that's difficult to know without CMake background. I'll write a<br>short hands-on in the Dune User Wiki. Until then:<br>Go to the build directory, by default it is dune-common/build-cmake.<br>Execute "make test".<br><br>Bye<br>Christoph<br><br>-- <br>Une science n'était vraiment développée que quand elle<br>pouvait utiliser les mathématiques. (Paul Lafargue)<br>*********************************************<br>CMWR 2014: 10th - 13th June 2014 in Stuttgart<br> Please visit www.cmwr14.de<br>*********************************************<br><br>_______________________________________________<br>Dune mailing list<br>Dune@dune-project.org<br>http://lists.dune-project.org/mailman/listinfo/dune<br></blockquote></div><br></div></body></html>