[sagelib-9.2.beta12] installing. Log file: /Users/zscherr/sage/develop/logs/pkgs/sagelib-9.2.beta12.log [sagelib-9.2.beta12] error installing, exit status 1. End of log file: [sagelib-9.2.beta12] /usr/local/include/singular/Singular/libsingular.h:15:10: fatal error: 'polys/shiftop.h' file not found [sagelib-9.2.beta12] #include "polys/shiftop.h" [sagelib-9.2.beta12] ^~~~~~~~~~~~~~~~~
the include path looks funny with its "singular/Singular/" I don't know what brew does here, maybe it drops "singular/" bit? On Thu, Sep 10, 2020 at 9:20 PM Zachary Scherr <zsc...@gmail.com> wrote: > Hi Matthias, > > It's attached to this message. > > Best, > Zach > > On Thursday, September 10, 2020 at 1:07:27 PM UTC-4 Matthias Koeppe wrote: > >> On Thursday, September 10, 2020 at 9:58:02 AM UTC-7, Zachary Scherr wrote: >>> >>> >>> Obviously this is not a big deal since I can just brew uninstall >>> singular and then it builds successfully, but I've been wanting to >>> contribute to sage development so I'm going to take this as an opportunity >>> to try to track down what's going on. >>> >>> >> Yes, this is much appreciated. So far I can't reproduce the error here >> (after installing homebrew's singular), unfortunately. >> >> Could you post install.log please? >> > -- > 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/3c9f01e9-ded6-43bd-8861-301d1e97a06an%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/3c9f01e9-ded6-43bd-8861-301d1e97a06an%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAAWYfq3uUTWnfMKN9d-1e9L_%2BSso-FREdU38u9tezb5XOoLeDA%40mail.gmail.com.
