I think there is at least one place elsewhere in the code that assumes that Singular is installed in $SAGE_LOCAL
at least I got an error of this sort while trying to build Sage's docs in this configuration. I'll look into it once back at the keyboard On Fri, 11 Sep 2020, 15:10 Zachary Scherr, <zsc...@gmail.com> wrote: > Hi Dima, > > Thanks! Downloading spkg-configure.m4 allowed me to build successfully. > > Best, > Zach > > On Friday, September 11, 2020 at 5:45:00 AM UTC-4 dim...@gmail.com wrote: > >> On Fri, Sep 11, 2020 at 10:11 AM Dima Pasechnik <dim...@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+...@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/8ecc5952-4895-4568-a50b-0e51e3cbf183n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/8ecc5952-4895-4568-a50b-0e51e3cbf183n%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/CAAWYfq1JXOYnGGoqDd8Ynhugde1zHH6UacMtXFhRJUvcxZCEvQ%40mail.gmail.com.
