Have you tried running "brew doctor"? Homebrew should complain loudly about all of the header files in /usr/local/include which could cause conflicts. For example, if I touch stdio.h in my /usr/local/include and then I run brew doctor I get:
"Warning: Unbrewed header files were found in /usr/local/include. If you didn't put them there on purpose they could cause problems when building Homebrew formulae, and may need to be deleted. Unexpected header files: /usr/local/include/stdio.h" I would start with running brew doctor and trying to fix the recommendations there. On Tuesday, December 15, 2020 at 8:43:28 AM UTC-5 dim...@gmail.com wrote: > On Tue, Dec 15, 2020 at 1:23 PM Pierre Vanhove <vanhove...@gmail.com> > wrote: > > > > hi > > > > > > What did one do yesterday just after 17:00 on the machine? > > Updated Homebrew? Installed macOS command line tools? > > > > > > yes I updated homebrew, but with a bad internet connection and the > connection broke. I had to redo it. > > > > But curiously, I have deleted the sage-9.2 folder downloaded a > sage-9.3-beta4 and then worked from the new folder. > > > > I will see if using the backup from my time machine solves the problem > by going back in time. > > I'd suggest to install the full XCode. The fact that homebrew > apparently created that link indicates > that not all is well; I'd also erase the whole /usr/local and > reinstall Homebrew from scratch, > after XCode is installed. > > macOS, Homebrew, XCode are moving targets, it's hard to keep up with them. > > > > > Now that they have put sirocco on cocacl, I will work with that. And I > will leave most of the sage coding to Andrey Novoseltsev then since locally > I cannot work... > > > > best, Pierre > > > > ======================================================== > > Pierre Vanhove (vanhove...@gmail.com) | web: > http://sites.google.com/site/vanhovepierre/ > > > > > > > > > > > > > > -- > > You received this message because you are subscribed to the Google > Groups "sage-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to sage-devel+...@googlegroups.com. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/95B792F4-B444-4DBB-8E4B-2846A020C683%40gmail.com > . > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/b4e5a340-79a6-4d25-82d3-5a72e7bcabe2n%40googlegroups.com.
