<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class=""><br class=""></div><a href="https://gitlab.com/petsc/petsc/-/merge_requests/4952" class="">https://gitlab.com/petsc/petsc/-/merge_requests/4952</a><div class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Mar 10, 2022, at 9:29 AM, Deij-van Rijswijk, Menno <<a href="mailto:M.Deij@marin.nl" class="">M.Deij@marin.nl</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta charset="UTF-8" class=""><div style="margin-right: 0in; margin-left: 0in; font-size: 12pt; font-family: "Times New Roman", serif; caret-color: rgb(0, 0, 0); font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><br class="webkit-block-placeholder"></div><div class="WordSection1" style="page: WordSection1; caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125);" class="">Yes, I think that would work.<o:p class=""></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125);" class=""><o:p class=""> </o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125);" class="">All the best,<o:p class=""></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125);" class="">Menno<o:p class=""></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(31, 73, 125);" class=""><o:p class=""> </o:p></span></div><div class=""></div></div><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><font style="font-style: normal; font-variant-caps: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 8pt; color: rgb(125, 125, 125); font-weight: bold;" class="">dr. ir.</font><font style="font-style: normal; font-variant-caps: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 8pt; color: rgb(125, 125, 125); font-weight: bold;" class=""><span class="Apple-converted-space"> </span></font><font style="font-style: normal; font-variant-caps: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 8pt; color: rgb(125, 125, 125); font-weight: bold;" class="">Menno A.</font><font style="font-style: normal; font-variant-caps: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 8pt; color: rgb(125, 125, 125); font-weight: bold;" class=""><span class="Apple-converted-space"> </span></font><font style="font-style: normal; font-variant-caps: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 8pt; color: rgb(125, 125, 125); font-weight: bold;" class="">Deij-van Rijswijk</font><font size="3" face="Segoe UI" style="caret-color: rgb(0, 0, 0); font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""></font><font style="font-style: normal; font-variant-caps: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 8pt; color: rgb(125, 125, 125); font-weight: bold;" class=""><span class="Apple-converted-space"> </span>|<span class="Apple-converted-space"> </span></font><font style="font-style: normal; font-variant-caps: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 8pt; color: rgb(125, 125, 125); font-weight: bold;" class="">Researcher</font><font style="font-style: normal; font-variant-caps: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 8pt; color: rgb(125, 125, 125); font-weight: bold;" class=""><span class="Apple-converted-space"> </span>|<span class="Apple-converted-space"> </span></font><font style="font-style: normal; font-variant-caps: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 8pt; color: rgb(125, 125, 125); font-weight: bold;" class="">Research & Development</font><font style="font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 8pt; color: rgb(125, 125, 125);" class=""><span class="Apple-converted-space"> </span>|<span class="Apple-converted-space"> </span></font><font style="font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 8pt; color: rgb(125, 125, 125);" class="">Vrijdag vrij.<span class="Apple-converted-space"> </span><br class="">In het algemeen op maandag en woensdag vanuit huis werkend, en op dinsdag en donderdag op kantoor. Actuele beschikbaarheid staat in mijn agenda.</font><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><font style="font-style: normal; font-variant-caps: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 9pt; color: rgb(125, 125, 125); font-weight: bold;" class="">MARIN</font><font style="font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 8pt; color: rgb(125, 125, 125);" class=""><span class="Apple-converted-space"> </span>| T<span class="Apple-converted-space"> </span></font><font style="font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 8pt; color: rgb(125, 125, 125);" class="">+31 317 49 35 06</font><font color="#7d7d7d" size="2" face="Segoe UI" style="font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""></font><font style="caret-color: rgb(0, 0, 0); font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 8pt;" class=""><span class="Apple-converted-space"> </span>|<span class="Apple-converted-space"> </span></font><span style="caret-color: rgb(0, 0, 0); font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 8pt;" class=""><a href="mailto:M.Deij@marin.nl" title="" target="" style="color: purple; text-decoration: underline; font-family: Verdana; font-size: 8pt;" class=""><span style="font-family: Verdana; font-size: 8pt;" class="">M.Deij@marin.nl</span></a></span><font color="#7d7d7d" size="2" face="Segoe UI" style="font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""></font><font style="caret-color: rgb(0, 0, 0); font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 8pt;" class=""> |<span class="Apple-converted-space"> </span></font><span style="caret-color: rgb(0, 0, 0); font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 8pt;" class=""><a href="http://www.marin.nl/" title="" target="" style="color: purple; text-decoration: underline; font-family: Verdana; font-size: 8pt;" class=""><span style="font-family: Verdana; font-size: 8pt;" class="">www.marin.nl</span></a></span><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><a href="https://www.linkedin.com/company/marin" target="" style="color: purple; text-decoration: underline; font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;" class=""><span id="cid:image58ada6.PNG@9594a8e0.4ca47504"><image58ada6.PNG></span></a><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class=""> </span><a href="http://www.youtube.com/marinmultimedia" target="" style="color: purple; text-decoration: underline; font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;" class=""><span id="cid:image8693ea.PNG@559bed47.44bc119c"><image8693ea.PNG></span></a><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class=""> </span><a href="https://twitter.com/MARIN_nieuws" target="" style="color: purple; text-decoration: underline; font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;" class=""><span id="cid:image11d6c4.PNG@b058076a.4a8678f5"><image11d6c4.PNG></span></a><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class=""> </span><a href="https://www.facebook.com/marin.wageningen" target="" style="color: purple; text-decoration: underline; font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;" class=""><span id="cid:imagef67c7d.PNG@94007e01.4a984312"><imagef67c7d.PNG></span></a><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><font color="#7d7d7d" size="2" face="Verdana" style="font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Verdana; font-size: 8pt;" class="">MARIN news:</font><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class=""></span><div style="margin-right: 0in; margin-left: 0in; font-size: 12pt; font-family: "Times New Roman", serif; caret-color: rgb(0, 0, 0); font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><br class="webkit-block-placeholder"></div><div style="margin-right: 0in; margin-left: 0in; font-size: 12pt; font-family: "Times New Roman", serif; caret-color: rgb(0, 0, 0); font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><br class="webkit-block-placeholder"></div><div style="margin-right: 0in; margin-left: 0in; font-size: 12pt; font-family: "Times New Roman", serif; caret-color: rgb(0, 0, 0); font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><br class="webkit-block-placeholder"></div><div class="WordSection1" style="page: WordSection1; caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><div class=""><div style="border-style: solid none none; border-top-width: 1pt; border-top-color: rgb(225, 225, 225); padding: 3pt 0in 0in;" class=""><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><b class=""><span lang="EN-US" style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">From:</span></b><span lang="EN-US" style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""><span class="Apple-converted-space"> </span>Barry Smith <<a href="mailto:bsmith@petsc.dev" style="color: purple; text-decoration: underline;" class="">bsmith@petsc.dev</a>><span class="Apple-converted-space"> </span><br class=""><b class="">Sent:</b><span class="Apple-converted-space"> </span>Thursday, March 10, 2022 3:25 PM<br class=""><b class="">To:</b><span class="Apple-converted-space"> </span>Deij-van Rijswijk, Menno <<a href="mailto:M.Deij@marin.nl" style="color: purple; text-decoration: underline;" class="">M.Deij@marin.nl</a>><br class=""><b class="">Cc:</b><span class="Apple-converted-space"> </span><a href="mailto:petsc-users@mcs.anl.gov" style="color: purple; text-decoration: underline;" class="">petsc-users@mcs.anl.gov</a><br class=""><b class="">Subject:</b><span class="Apple-converted-space"> </span>Re: [petsc-users] Building with CMAKE_GENERATOR set<o:p class=""></o:p></span></div></div></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><o:p class=""> </o:p></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><o:p class=""> </o:p></div></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""> <span style="font-size: 11.5pt;" class=""><span class="Apple-converted-space"> </span>Would it be enough that PETSc's ./configure build of external packages that use cmake temporarily turns off the value of </span><span style="font-size: 11.5pt; font-family: Calibri, sans-serif;" class="">CMAKE_GENERATOR when it runs cmake for the external packages? </span><o:p class=""></o:p></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><o:p class=""> </o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><span style="font-size: 11.5pt; font-family: Calibri, sans-serif;" class=""> Barry</span><o:p class=""></o:p></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><o:p class=""> </o:p></div><div class=""><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><br class=""><br class=""><o:p class=""></o:p></div><blockquote style="margin-top: 5pt; margin-bottom: 5pt;" class=""><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class="">On Mar 10, 2022, at 6:50 AM, Deij-van Rijswijk, Menno <<a href="mailto:M.Deij@marin.nl" style="color: purple; text-decoration: underline;" class="">M.Deij@marin.nl</a>> wrote:<o:p class=""></o:p></div></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><o:p class=""> </o:p></div><div class=""><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><span style="font-size: 13.5pt; font-family: Helvetica, sans-serif;" class=""><o:p class=""> </o:p></span></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">Good morning,<o:p class=""></o:p></span></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> <o:p class=""></o:p></span></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">I find that when I set the environment variable CMAKE_GENERATOR to something that is not "Unix Makefiles" (e.g. Ninja) that building of subprojects like METIS fails. METIS gets configured with CMake, and writes out ninja.build build instructions. Then PETSc calls make/gmake to build and it can't find the makefiles because they're not generated. It would be nice if PETSc could handle other build tools supported by CMake, like for example Ninja.<o:p class=""></o:p></span></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> <o:p class=""></o:p></span></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">Best regards,<o:p class=""></o:p></span></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> <o:p class=""></o:p></span></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> <o:p class=""></o:p></span></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">Menno Deij - van Rijswijk<o:p class=""></o:p></span></div></div><div class=""><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> <o:p class=""></o:p></span></div></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><span style="font-size: 13.5pt; font-family: Helvetica, sans-serif;" class=""><br class=""></span><b class=""><span style="font-size: 8pt; font-family: Verdana, sans-serif; color: rgb(125, 125, 125);" class="">dr. ir.<span class="apple-converted-space"> </span>Menno A.<span class="apple-converted-space"> </span>Deij-van Rijswijk<span class="apple-converted-space"> </span>|<span class="apple-converted-space"> </span>Researcher<span class="apple-converted-space"> </span>|<span class="apple-converted-space"> </span>Research & Development</span></b><span class="apple-converted-space"><span style="font-size: 8pt; font-family: Verdana, sans-serif; color: rgb(125, 125, 125);" class=""> </span></span><span style="font-size: 8pt; font-family: Verdana, sans-serif; color: rgb(125, 125, 125);" class="">|<span class="apple-converted-space"> </span>Vrijdag vrij.<span class="apple-converted-space"> </span><br class="">In het algemeen op maandag en woensdag vanuit huis werkend, en op dinsdag en donderdag op kantoor. Actuele beschikbaarheid staat in mijn agenda.</span><span style="font-size: 13.5pt; font-family: Helvetica, sans-serif;" class=""><br class=""></span><b class=""><span style="font-size: 9pt; font-family: Verdana, sans-serif; color: rgb(125, 125, 125);" class="">MARIN</span></b><span class="apple-converted-space"><span style="font-size: 8pt; font-family: Verdana, sans-serif; color: rgb(125, 125, 125);" class=""> </span></span><span style="font-size: 8pt; font-family: Verdana, sans-serif; color: rgb(125, 125, 125);" class="">| T<span class="apple-converted-space"> </span>+31 317 49 35 06</span><span class="apple-converted-space"><span style="font-size: 8pt; font-family: Verdana, sans-serif;" class=""> </span></span><span style="font-size: 8pt; font-family: Verdana, sans-serif;" class="">|<span class="apple-converted-space"> </span><a href="mailto:M.Deij@marin.nl" style="color: purple; text-decoration: underline;" class=""><span style="color: rgb(149, 79, 114);" class="">M.Deij@marin.nl</span></a> |<span class="apple-converted-space"> </span><a href="http://www.marin.nl/" style="color: purple; text-decoration: underline;" class=""><span style="color: rgb(149, 79, 114);" class="">www.marin.nl</span></a></span><span style="font-size: 13.5pt; font-family: Helvetica, sans-serif;" class=""><br class=""><br class=""></span><a href="https://www.linkedin.com/company/marin" style="color: purple; text-decoration: underline;" class=""><span style="font-size: 13.5pt; font-family: Helvetica, sans-serif; color: rgb(149, 79, 114);" class=""><image1150b9.PNG></span></a><span style="font-size: 13.5pt; font-family: Helvetica, sans-serif;" class=""> </span><a href="http://www.youtube.com/marinmultimedia" style="color: purple; text-decoration: underline;" class=""><span style="font-size: 13.5pt; font-family: Helvetica, sans-serif; color: rgb(149, 79, 114);" class=""><image5b3f56.PNG></span></a><span style="font-size: 13.5pt; font-family: Helvetica, sans-serif;" class=""> </span><a href="https://twitter.com/MARIN_nieuws" style="color: purple; text-decoration: underline;" class=""><span style="font-size: 13.5pt; font-family: Helvetica, sans-serif; color: rgb(149, 79, 114);" class=""><image401cc0.PNG></span></a><span style="font-size: 13.5pt; font-family: Helvetica, sans-serif;" class=""> </span><a href="https://www.facebook.com/marin.wageningen" style="color: purple; text-decoration: underline;" class=""><span style="font-size: 13.5pt; font-family: Helvetica, sans-serif; color: rgb(149, 79, 114);" class=""><image87ad97.PNG></span></a><span style="font-size: 13.5pt; font-family: Helvetica, sans-serif;" class=""><br class=""></span><span style="font-size: 8pt; font-family: Verdana, sans-serif; color: rgb(125, 125, 125);" class="">MARIN news:</span><o:p class=""></o:p></div></div></blockquote></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: "Times New Roman", serif;" class=""><o:p class=""> </o:p></div></div></div><p class="MsoNormal" style="margin: 0in 0in 12pt; font-size: 12pt; font-family: "Times New Roman", serif;"><span style="background-color: white;" class=""><o:p class=""> </o:p></span></p><p align="center" style="margin-right: 0in; margin-left: 0in; font-size: 12pt; font-family: "Times New Roman", serif; text-align: center;" class=""><b class=""><span style="background-color: white;" class="">Help us improve the spam filter. If this message contains SPAM, click<span class="Apple-converted-space"> </span><a href="https://www.mailcontrol.com/sr/o5c7UvMrbnXGX2PQPOmvUr11KAWLA5a3ktYgc6JbAdv0ydXaABFXFMIFxi3fyJhOyXCp1Q_VWH-hqfUB1i-uFQ==" style="color: purple; text-decoration: underline;" class="">here</a><span class="Apple-converted-space"> </span>to report. Thank you, MARIN Digital Services</span></b></p></div></div></blockquote></div><br class=""></div></body></html>