Oh you are right, but make keeps installing giac 1.6.0 instead of 1.9.0
when I run it, even though I have installed giac 1.9.0 manually. Do you
know any solution for that?

Am Sa., 5. Nov. 2022 um 11:47 Uhr schrieb Dima Pasechnik <dimp...@gmail.com
>:

> Are you trying to build an old version of Sage? In the current 9.7 we
> have giac 1.9, not 1.6,
> see https://trac.sagemath.org/ticket/31563
>
> On Sat, Nov 5, 2022 at 10:39 AM Jan V. <janvorloe...@gmail.com> wrote:
> >
> > Hello again,
> >
> > I reinstalled sage after I had some issues with my computer, and even
> after several tries there seems to be a problem with building giac. I am
> not sure what to do to fix this issue, so any idea would help me a lot. The
> log files are attached to this mail.
> >
> > Thank you in advance!
> >
> > Jan
> >
> > --
> > 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/84c18adb-5f00-4543-acd9-b713c933d4b7n%40googlegroups.com
> .
>
> --
> You received this message because you are subscribed to a topic in the
> Google Groups "sage-devel" group.
> To unsubscribe from this topic, visit
> https://groups.google.com/d/topic/sage-devel/M_i1hAUU4oM/unsubscribe.
> To unsubscribe from this group and all its topics, 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/CAAWYfq0kDPRuhkg9SsDZTxS__wEj%2BVOViTimJRehgxMDi3igUg%40mail.gmail.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/CAOiEq0pJdqt4CSn1RirCi81VKtsGV-o7MDu%3DUROJknpYhxf42g%40mail.gmail.com.

Reply via email to