On Fri, Sep 11, 2020 at 10:11 AM Dima Pasechnik <dimp...@gmail.com> wrote:
> [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? > no, in fact it's all fine, it's just include flags that need to be adjusted. Note that you still have -I/Users/zscherr/sage/develop/local/include/singular in the failing gcc call, which seems to indicate you didn't use https://trac.sagemath.org/attachment/ticket/29024/spkg-configure.m4 - of if you did, you didn't run make singular-clean ./bootstrap && ./configure after putting that file in build/pkgs/singular/ Try CXXFLAGS="$CXXFLAGS -I//usr/local/include/singular/ > > > 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/CAAWYfq1bkxQCEKOdPoDOuLYRA-%3DKn%2B7pqKnCsdwR4j_Oc0PMKw%40mail.gmail.com.
