I am not, there are two Vincent Delecroix working in universities
in France. I am the other one
https://www.labri.fr/perso/vdelecro/
Beyond working from the same institution we do not have any
relation.
Le 11/04/2020 à 18:12, Carlos Rodriguez a écrit :
ok. Now it seems it worked!
Thank you... btw: are you (or related to) the philosopher ?
(what's the chance?.... why sage?) ;)
Cheers!
On Sat, Apr 11, 2020 at 11:27 AM Vincent Delecroix <
20100.delecr...@gmail.com> wrote:
You still need to install the pplpy documentation. At this stage
the simplest is, after removing $O, do
$ sage -f pplpy
$ make
Le 11/04/2020 à 17:23, Carlos Rodriguez a écrit :
Vincent,
still there is a problem.
Now it has nothing to do with $O.
I include the log
On Sat, Apr 11, 2020 at 10:14 AM Carlos Rodriguez <crod...@gmail.com>
wrote:
that's it: I have $O set to my omega0 !!!!
On Sat, Apr 11, 2020 at 7:30 AM Vincent Delecroix <
20100.delecr...@gmail.com> wrote:
Le 11/04/2020 à 13:28, Vincent Delecroix a écrit :
Could you also check if $MAKE is in the environment?
and $O as well (this is a shortcut used by sphinx default Makefile)
--
You received this message because you are subscribed to the Google
Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send
an
email to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-support/7a2d0663-0e97-fe5e-13c9-f223763d452c%40gmail.com
.
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an
email to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-support/e6ac56b9-8d77-460e-b68e-408d3f351cfd%40gmail.com
.
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-support/0987a778-fb2e-a6b8-1e20-2739adeb45e8%40gmail.com.
