<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> I would normally say make a pull request but they have their own git server that requires you ask them for an account so I suggest posting an issue with your patch.<div class=""><br class=""></div><div class=""> Barry</div><div class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Nov 23, 2021, at 10:55 AM, Matthew Knepley <<a href="mailto:knepley@gmail.com" class="">knepley@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class="">This is the same flex problem as I had for c2html, but I was more determined tracking it down this time. The first problem is that we were not renaming in the parser,<div class=""><br class=""></div><div class="">main *$:/PETSc3/petsc/petsc-dev$ git diff<br class="">diff --git a/config/BuildSystem/config/packages/PTScotch.py b/config/BuildSystem/config/packages/PTScotch.py<br class="">index d1c277b6e9f..e046804c17f 100644<br class="">--- a/config/BuildSystem/config/packages/PTScotch.py<br class="">+++ b/config/BuildSystem/config/packages/PTScotch.py<br class="">@@ -70,7 +70,7 @@ class Configure(config.package.Package):<br class=""> if self.libraries.add('-lrt','timer_create'): ldflags += ' -lrt'<br class=""> self.cflags = self.cflags + ' -DCOMMON_RANDOM_FIXED_SEED'<br class=""> # do not use -DSCOTCH_PTHREAD because requires MPI built for threads.<br class="">- self.cflags = self.cflags + ' -DSCOTCH_RENAME -Drestrict="'+self.compilers.cRestrict+'"'<br class="">+ self.cflags = self.cflags + ' -DSCOTCH_RENAME -DSCOTCH_RENAME_PARSER -Drestrict="'+self.compilers.cRestrict+'"'<br class=""> # this is needed on the Mac, because common2.c includes common.h which DOES NOT include mpi.h because<br class=""> # SCOTCH_PTSCOTCH is NOT defined above Mac does not know what clock_gettime() is!<br class=""> if self.setCompilers.isDarwin(self.log):<br class=""><div class=""><br class=""></div><div class="">Second, they were not treating this case completely correctly:</div><div class=""><br class=""></div><div class="">(93454e8...):/PETSc3/petsc/petsc-dev/arch-master-debug/externalpackages/git.ptscotch/src/libscotch$ git diff HEAD~1<br class="">diff --git a/src/libscotch/parser_yy.h b/src/libscotch/parser_yy.h<br class="">index 931315d..95b8160 100644<br class="">--- a/src/libscotch/parser_yy.h<br class="">+++ b/src/libscotch/parser_yy.h<br class="">@@ -62,6 +62,9 @@<br class=""><br class=""> #if ((defined SCOTCH_RENAME_PARSER) || (defined yylex)) /* If prefix renaming */<br class=""> #define scotchyyparse stratParserParse2 /* Parser function name */<br class="">+#if !defined(yylex)<br class="">+#define yylex scotchyylex<br class="">+#endif<br class=""> #ifndef yylval<br class=""> #define yylval SCOTCH_NAME_MACRO3 (scotchyy, SCOTCH_NAME_SUFFIXC, lval) /* It should be Yacc/Bison's job to redefine it!<br class=""> */<br class=""> #endif /* yylval */<br class=""></div><div class=""><br class=""></div><div class="">How should we go about getting this fix in? Do you need to have our own branch of PTScotch?</div><div class=""><br class=""></div><div class=""> Thanks,</div><div class=""><br class=""></div><div class=""> Matt</div><div class=""><br class=""></div>-- <br class=""><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr" class=""><div class=""><div dir="ltr" class=""><div class=""><div dir="ltr" class=""><div class="">What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead.<br class="">-- Norbert Wiener</div><div class=""><br class=""></div><div class=""><a href="http://www.cse.buffalo.edu/~knepley/" target="_blank" class="">https://www.cse.buffalo.edu/~knepley/</a><br class=""></div></div></div></div></div></div></div></div></div>
</div></blockquote></div><br class=""></div></body></html>