Re: [sage-devel] Re: Error building a wheel for jedi-0.18.1

[Jianping Pan]

Dear Matthias,

Thank you very much for the help, it worked!

Thanks,
Jianping

On Sat, Jun 3, 2023 at 7:48 PM Matthias Koeppe 
wrote:

> Sage no longer ships a copy of R. To get rid of this build error, remove
> rpy2 and traces of an old R installation in your tree:
> "make rpy2-uninstall r-uninstall"
>
> Then run configure and make again
>
> On Saturday, June 3, 2023 at 4:35:46 PM UTC-7 Jianping Pan wrote:
>
>> Thank you Dima for pointing out the the right order to me. I tried that.
>> Unfortunately the same error about dummy package r-none showed up again.
>>
>> Thanks,
>> Jianping
>>
>> On Saturday, June 3, 2023 at 6:16:56 PM UTC-4 Dima Pasechnik wrote:
>>
>>> one thing is certain:
>>>
>>> source /Users/jianpingpan/sage/.homebrew-build-env
>>>
>>> should be invoked before ./configure, not after
>>>
>>>
>>> On Sat, Jun 3, 2023 at 11:14 PM Jianping Pan 
>>> wrote:
>>> >
>>> > Dear Dima,
>>> >
>>> > Thank you for your help! I tried to re-run
>>> > ./configure
>>> > source /Users/jianpingpan/sage/.homebrew-build-env
>>> > ./config.status --recheck
>>> > ./config.status
>>> > make build
>>> >
>>> > And then I got the same error message about r-none being a dummy
>>> package. Thanks!
>>> >
>>> > Thanks,
>>> > Jianping
>>> >
>>> > On Saturday, June 3, 2023 at 5:48:49 PM UTC-4 Dima Pasechnik wrote:
>>> >>
>>> >> after you have changed the build environment, you might need to
>>> re-run
>>> >> ./configure
>>> >> and only then "make build" - the latter does not re-run ./configure
>>> in
>>> >> such cases.
>>> >>
>>> >> HTH
>>> >> Dima
>>> >>
>>> >> On Sat, Jun 3, 2023 at 9:53 PM Jianping Pan 
>>> wrote:
>>> >> >
>>> >> > Dear Matthias,
>>> >> >
>>> >> > Thank you very much for your help and quick reply! I followed
>>> instruction, actually I had to use sudo to delete jedi-0.18.1. When I run
>>> "make build", I ran into another problem below. I attempted "brew install
>>> r" then "make build" again, still, the same error message occur. Thanks!
>>> >> >
>>> >> > [r-none] Error: r is a dummy package and
>>> >> > [r-none] cannot be installed using the Sage distribution.
>>> >> > make[4]: *** [r-SAGE_LOCAL-no-deps] Error 1
>>> >> > make[3]: ***
>>> [/Users/jianpingpan/sage/local/var/lib/sage/installed/r-none] Error 2
>>> >> > make[2]: *** [all-build] Error 2
>>> >> >
>>> >> > real 0m0.532s
>>> >> > user 0m0.344s
>>> >> > sys 0m0.161s
>>> >> > ***
>>> >> > Error building Sage.
>>> >> >
>>> >> > The following package(s) may have failed to build (not necessarily
>>> >> > during this run of 'make all-build'):
>>> >> >
>>> >> > * package: r-none
>>> >> > last build time: Jun 3 16:47
>>> >> > log file: /Users/jianpingpan/sage/logs/pkgs/r-none.log
>>> >> >
>>> >> > Thanks,
>>> >> > Jianping
>>> >> >
>>> >> > On Saturday, June 3, 2023 at 2:11:38 PM UTC-4 Matthias Koeppe
>>> wrote:
>>> >> >>
>>> >> >> Try removing the directory
>>> /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1 manually
>>> >> >> using "rm -r
>>> /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1".
>>> >> >> If this fails, check if there are any files that have unusual
>>> ownership or permissions
>>> >> >>
>>> >> >>
>>> >> >> On Saturday, June 3, 2023 at 10:20:11 AM UTC-7 Jianping Pan wrote:
>>> >> >>>
>>> >> >>> Dear Sage developers,
>>> >> >>>
>>> >> >>> I was trying to install sage 10.1.beta1 on my macOS 12.6.5 via
>>> Git. I followed the instruction on git and ran
>>> >> >>> "make configure",
>>> >> >>> set "./configure --enable-download-from-upstream-url",
>>> >> >>> ran "./configure", then brew installed all the packages that it
>>> asked me to install.
>>> >> >>> Then I run "make"
>>> >> >>>
>>> >> >>> Below is the error report and the two log files. Thanks!
>>> >> >>>
>>> >> >>> [jedi-0.18.1] ERROR: Failed cleaning build dir for jedi
>>> >> >>> [jedi-0.18.1] Failed to build jedi
>>> >> >>> [jedi-0.18.1] ERROR: Failed to build one or more wheels
>>> >> >>> [jedi-0.18.1]
>>> 
>>>
>>> >> >>> [jedi-0.18.1] Error building a wheel for jedi-0.18.1
>>> >> >>> [jedi-0.18.1]
>>> 
>>>
>>> >> >>> [jedi-0.18.1]
>>> >> >>> [jedi-0.18.1] real 0m16.162s
>>> >> >>> [jedi-0.18.1] user 0m14.644s
>>> >> >>> [jedi-0.18.1] sys 0m5.335s
>>> >> >>> [jedi-0.18.1]
>>> 
>>> >> >>> [jedi-0.18.1] Error installing package jedi-0.18.1
>>> >> >>> [jedi-0.18.1]
>>> 
>>> >> >>> [jedi-0.18.1] Please email sage-devel (
>>> http://groups.google.com/group/sage-devel)
>>> >> >>> [jedi-0.18.1] explaining the problem and including the log files
>>> >> >>> [jedi-0.18.1] /Users/jianpingpan/sage/logs/pkgs/jedi-0.18.1.log
>>> >> >>> [jedi-0.18.1] and
>>> >> >>> [jedi-0.18.1] /Users/jianpingpan/sage/config.log
>>> 

Re: [sage-devel] Re: Error building a wheel for jedi-0.18.1

[Matthias Koeppe]

Sage no longer ships a copy of R. To get rid of this build error, remove 
rpy2 and traces of an old R installation in your tree:
"make rpy2-uninstall r-uninstall"

Then run configure and make again

On Saturday, June 3, 2023 at 4:35:46 PM UTC-7 Jianping Pan wrote:

> Thank you Dima for pointing out the the right order to me. I tried that. 
> Unfortunately the same error about dummy package r-none showed up again.
>
> Thanks,
> Jianping
>
> On Saturday, June 3, 2023 at 6:16:56 PM UTC-4 Dima Pasechnik wrote:
>
>> one thing is certain: 
>>
>> source /Users/jianpingpan/sage/.homebrew-build-env 
>>
>> should be invoked before ./configure, not after 
>>
>>
>> On Sat, Jun 3, 2023 at 11:14 PM Jianping Pan  
>> wrote: 
>> > 
>> > Dear Dima, 
>> > 
>> > Thank you for your help! I tried to re-run 
>> > ./configure 
>> > source /Users/jianpingpan/sage/.homebrew-build-env 
>> > ./config.status --recheck 
>> > ./config.status 
>> > make build 
>> > 
>> > And then I got the same error message about r-none being a dummy 
>> package. Thanks! 
>> > 
>> > Thanks, 
>> > Jianping 
>> > 
>> > On Saturday, June 3, 2023 at 5:48:49 PM UTC-4 Dima Pasechnik wrote: 
>> >> 
>> >> after you have changed the build environment, you might need to re-run 
>> >> ./configure 
>> >> and only then "make build" - the latter does not re-run ./configure in 
>> >> such cases. 
>> >> 
>> >> HTH 
>> >> Dima 
>> >> 
>> >> On Sat, Jun 3, 2023 at 9:53 PM Jianping Pan  
>> wrote: 
>> >> > 
>> >> > Dear Matthias, 
>> >> > 
>> >> > Thank you very much for your help and quick reply! I followed 
>> instruction, actually I had to use sudo to delete jedi-0.18.1. When I run 
>> "make build", I ran into another problem below. I attempted "brew install 
>> r" then "make build" again, still, the same error message occur. Thanks! 
>> >> > 
>> >> > [r-none] Error: r is a dummy package and 
>> >> > [r-none] cannot be installed using the Sage distribution. 
>> >> > make[4]: *** [r-SAGE_LOCAL-no-deps] Error 1 
>> >> > make[3]: *** 
>> [/Users/jianpingpan/sage/local/var/lib/sage/installed/r-none] Error 2 
>> >> > make[2]: *** [all-build] Error 2 
>> >> > 
>> >> > real 0m0.532s 
>> >> > user 0m0.344s 
>> >> > sys 0m0.161s 
>> >> > *** 
>> >> > Error building Sage. 
>> >> > 
>> >> > The following package(s) may have failed to build (not necessarily 
>> >> > during this run of 'make all-build'): 
>> >> > 
>> >> > * package: r-none 
>> >> > last build time: Jun 3 16:47 
>> >> > log file: /Users/jianpingpan/sage/logs/pkgs/r-none.log 
>> >> > 
>> >> > Thanks, 
>> >> > Jianping 
>> >> > 
>> >> > On Saturday, June 3, 2023 at 2:11:38 PM UTC-4 Matthias Koeppe wrote: 
>> >> >> 
>> >> >> Try removing the directory 
>> /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1 manually 
>> >> >> using "rm -r 
>> /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1". 
>> >> >> If this fails, check if there are any files that have unusual 
>> ownership or permissions 
>> >> >> 
>> >> >> 
>> >> >> On Saturday, June 3, 2023 at 10:20:11 AM UTC-7 Jianping Pan wrote: 
>> >> >>> 
>> >> >>> Dear Sage developers, 
>> >> >>> 
>> >> >>> I was trying to install sage 10.1.beta1 on my macOS 12.6.5 via 
>> Git. I followed the instruction on git and ran 
>> >> >>> "make configure", 
>> >> >>> set "./configure --enable-download-from-upstream-url", 
>> >> >>> ran "./configure", then brew installed all the packages that it 
>> asked me to install. 
>> >> >>> Then I run "make" 
>> >> >>> 
>> >> >>> Below is the error report and the two log files. Thanks! 
>> >> >>> 
>> >> >>> [jedi-0.18.1] ERROR: Failed cleaning build dir for jedi 
>> >> >>> [jedi-0.18.1] Failed to build jedi 
>> >> >>> [jedi-0.18.1] ERROR: Failed to build one or more wheels 
>> >> >>> [jedi-0.18.1] 
>> 
>>  
>>
>> >> >>> [jedi-0.18.1] Error building a wheel for jedi-0.18.1 
>> >> >>> [jedi-0.18.1] 
>> 
>>  
>>
>> >> >>> [jedi-0.18.1] 
>> >> >>> [jedi-0.18.1] real 0m16.162s 
>> >> >>> [jedi-0.18.1] user 0m14.644s 
>> >> >>> [jedi-0.18.1] sys 0m5.335s 
>> >> >>> [jedi-0.18.1] 
>>  
>> >> >>> [jedi-0.18.1] Error installing package jedi-0.18.1 
>> >> >>> [jedi-0.18.1] 
>>  
>> >> >>> [jedi-0.18.1] Please email sage-devel (
>> http://groups.google.com/group/sage-devel) 
>> >> >>> [jedi-0.18.1] explaining the problem and including the log files 
>> >> >>> [jedi-0.18.1] /Users/jianpingpan/sage/logs/pkgs/jedi-0.18.1.log 
>> >> >>> [jedi-0.18.1] and 
>> >> >>> [jedi-0.18.1] /Users/jianpingpan/sage/config.log 
>> >> >>> [jedi-0.18.1] Describe your computer, operating system, etc. 
>> >> >>> [jedi-0.18.1] If you want to try to fix the problem yourself, 
>> *don't* just cd to 
>>

Re: [sage-devel] Re: Error building a wheel for jedi-0.18.1

[Jianping Pan]

Thank you Dima for pointing out the the right order to me. I tried that. 
Unfortunately the same error about dummy package r-none showed up again.

Thanks,
Jianping

On Saturday, June 3, 2023 at 6:16:56 PM UTC-4 Dima Pasechnik wrote:

> one thing is certain:
>
> source /Users/jianpingpan/sage/.homebrew-build-env
>
> should be invoked before ./configure, not after
>
>
> On Sat, Jun 3, 2023 at 11:14 PM Jianping Pan  wrote:
> >
> > Dear Dima,
> >
> > Thank you for your help! I tried to re-run
> > ./configure
> > source /Users/jianpingpan/sage/.homebrew-build-env
> > ./config.status --recheck
> > ./config.status
> > make build
> >
> > And then I got the same error message about r-none being a dummy 
> package. Thanks!
> >
> > Thanks,
> > Jianping
> >
> > On Saturday, June 3, 2023 at 5:48:49 PM UTC-4 Dima Pasechnik wrote:
> >>
> >> after you have changed the build environment, you might need to re-run
> >> ./configure
> >> and only then "make build" - the latter does not re-run ./configure in
> >> such cases.
> >>
> >> HTH
> >> Dima
> >>
> >> On Sat, Jun 3, 2023 at 9:53 PM Jianping Pan  
> wrote:
> >> >
> >> > Dear Matthias,
> >> >
> >> > Thank you very much for your help and quick reply! I followed 
> instruction, actually I had to use sudo to delete jedi-0.18.1. When I run 
> "make build", I ran into another problem below. I attempted "brew install 
> r" then "make build" again, still, the same error message occur. Thanks!
> >> >
> >> > [r-none] Error: r is a dummy package and
> >> > [r-none] cannot be installed using the Sage distribution.
> >> > make[4]: *** [r-SAGE_LOCAL-no-deps] Error 1
> >> > make[3]: *** 
> [/Users/jianpingpan/sage/local/var/lib/sage/installed/r-none] Error 2
> >> > make[2]: *** [all-build] Error 2
> >> >
> >> > real 0m0.532s
> >> > user 0m0.344s
> >> > sys 0m0.161s
> >> > ***
> >> > Error building Sage.
> >> >
> >> > The following package(s) may have failed to build (not necessarily
> >> > during this run of 'make all-build'):
> >> >
> >> > * package: r-none
> >> > last build time: Jun 3 16:47
> >> > log file: /Users/jianpingpan/sage/logs/pkgs/r-none.log
> >> >
> >> > Thanks,
> >> > Jianping
> >> >
> >> > On Saturday, June 3, 2023 at 2:11:38 PM UTC-4 Matthias Koeppe wrote:
> >> >>
> >> >> Try removing the directory 
> /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1 manually
> >> >> using "rm -r 
> /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1".
> >> >> If this fails, check if there are any files that have unusual 
> ownership or permissions
> >> >>
> >> >>
> >> >> On Saturday, June 3, 2023 at 10:20:11 AM UTC-7 Jianping Pan wrote:
> >> >>>
> >> >>> Dear Sage developers,
> >> >>>
> >> >>> I was trying to install sage 10.1.beta1 on my macOS 12.6.5 via Git. 
> I followed the instruction on git and ran
> >> >>> "make configure",
> >> >>> set "./configure --enable-download-from-upstream-url",
> >> >>> ran "./configure", then brew installed all the packages that it 
> asked me to install.
> >> >>> Then I run "make"
> >> >>>
> >> >>> Below is the error report and the two log files. Thanks!
> >> >>>
> >> >>> [jedi-0.18.1] ERROR: Failed cleaning build dir for jedi
> >> >>> [jedi-0.18.1] Failed to build jedi
> >> >>> [jedi-0.18.1] ERROR: Failed to build one or more wheels
> >> >>> [jedi-0.18.1] 
> 
> >> >>> [jedi-0.18.1] Error building a wheel for jedi-0.18.1
> >> >>> [jedi-0.18.1] 
> 
> >> >>> [jedi-0.18.1]
> >> >>> [jedi-0.18.1] real 0m16.162s
> >> >>> [jedi-0.18.1] user 0m14.644s
> >> >>> [jedi-0.18.1] sys 0m5.335s
> >> >>> [jedi-0.18.1] 
> 
> >> >>> [jedi-0.18.1] Error installing package jedi-0.18.1
> >> >>> [jedi-0.18.1] 
> 
> >> >>> [jedi-0.18.1] Please email sage-devel (
> http://groups.google.com/group/sage-devel)
> >> >>> [jedi-0.18.1] explaining the problem and including the log files
> >> >>> [jedi-0.18.1] /Users/jianpingpan/sage/logs/pkgs/jedi-0.18.1.log
> >> >>> [jedi-0.18.1] and
> >> >>> [jedi-0.18.1] /Users/jianpingpan/sage/config.log
> >> >>> [jedi-0.18.1] Describe your computer, operating system, etc.
> >> >>> [jedi-0.18.1] If you want to try to fix the problem yourself, 
> *don't* just cd to
> >> >>> [jedi-0.18.1] 
> /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1 and type 
> 'make' or whatever is appropriate.
> >> >>> [jedi-0.18.1] Instead, the following commands setup all environment 
> variables
> >> >>> [jedi-0.18.1] correctly and load a subshell for you to debug the 
> error:
> >> >>> [jedi-0.18.1] (cd 
> '/Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1' && 
> '/Users/jianpingpan/sage/sage' --buildsh)
> >> >>> [jedi-0.18.1] When you are done debugging, you can typ

Re: [sage-devel] Re: Error building a wheel for jedi-0.18.1

[Dima Pasechnik]

one thing is certain:

source /Users/jianpingpan/sage/.homebrew-build-env

should be invoked before ./configure, not after


On Sat, Jun 3, 2023 at 11:14 PM Jianping Pan  wrote:
>
> Dear Dima,
>
> Thank you for your help! I tried to re-run
> ./configure
> source /Users/jianpingpan/sage/.homebrew-build-env
> ./config.status --recheck
> ./config.status
> make build
>
> And then I got the same error message about r-none being a dummy package. 
> Thanks!
>
> Thanks,
> Jianping
>
> On Saturday, June 3, 2023 at 5:48:49 PM UTC-4 Dima Pasechnik wrote:
>>
>> after you have changed the build environment, you might need to re-run
>> ./configure
>> and only then "make build" - the latter does not re-run ./configure in
>> such cases.
>>
>> HTH
>> Dima
>>
>> On Sat, Jun 3, 2023 at 9:53 PM Jianping Pan  wrote:
>> >
>> > Dear Matthias,
>> >
>> > Thank you very much for your help and quick reply! I followed instruction, 
>> > actually I had to use sudo to delete jedi-0.18.1. When I run "make build", 
>> > I ran into another problem below. I attempted "brew install r" then "make 
>> > build" again, still, the same error message occur. Thanks!
>> >
>> > [r-none] Error: r is a dummy package and
>> > [r-none] cannot be installed using the Sage distribution.
>> > make[4]: *** [r-SAGE_LOCAL-no-deps] Error 1
>> > make[3]: *** [/Users/jianpingpan/sage/local/var/lib/sage/installed/r-none] 
>> > Error 2
>> > make[2]: *** [all-build] Error 2
>> >
>> > real 0m0.532s
>> > user 0m0.344s
>> > sys 0m0.161s
>> > ***
>> > Error building Sage.
>> >
>> > The following package(s) may have failed to build (not necessarily
>> > during this run of 'make all-build'):
>> >
>> > * package: r-none
>> > last build time: Jun 3 16:47
>> > log file: /Users/jianpingpan/sage/logs/pkgs/r-none.log
>> >
>> > Thanks,
>> > Jianping
>> >
>> > On Saturday, June 3, 2023 at 2:11:38 PM UTC-4 Matthias Koeppe wrote:
>> >>
>> >> Try removing the directory 
>> >> /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1 manually
>> >> using "rm -r 
>> >> /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1".
>> >> If this fails, check if there are any files that have unusual ownership 
>> >> or permissions
>> >>
>> >>
>> >> On Saturday, June 3, 2023 at 10:20:11 AM UTC-7 Jianping Pan wrote:
>> >>>
>> >>> Dear Sage developers,
>> >>>
>> >>> I was trying to install sage 10.1.beta1 on my macOS 12.6.5 via Git. I 
>> >>> followed the instruction on git and ran
>> >>> "make configure",
>> >>> set "./configure --enable-download-from-upstream-url",
>> >>> ran "./configure", then brew installed all the packages that it asked me 
>> >>> to install.
>> >>> Then I run "make"
>> >>>
>> >>> Below is the error report and the two log files. Thanks!
>> >>>
>> >>> [jedi-0.18.1] ERROR: Failed cleaning build dir for jedi
>> >>> [jedi-0.18.1] Failed to build jedi
>> >>> [jedi-0.18.1] ERROR: Failed to build one or more wheels
>> >>> [jedi-0.18.1] 
>> >>> 
>> >>> [jedi-0.18.1] Error building a wheel for jedi-0.18.1
>> >>> [jedi-0.18.1] 
>> >>> 
>> >>> [jedi-0.18.1]
>> >>> [jedi-0.18.1] real 0m16.162s
>> >>> [jedi-0.18.1] user 0m14.644s
>> >>> [jedi-0.18.1] sys 0m5.335s
>> >>> [jedi-0.18.1] 
>> >>> 
>> >>> [jedi-0.18.1] Error installing package jedi-0.18.1
>> >>> [jedi-0.18.1] 
>> >>> 
>> >>> [jedi-0.18.1] Please email sage-devel 
>> >>> (http://groups.google.com/group/sage-devel)
>> >>> [jedi-0.18.1] explaining the problem and including the log files
>> >>> [jedi-0.18.1] /Users/jianpingpan/sage/logs/pkgs/jedi-0.18.1.log
>> >>> [jedi-0.18.1] and
>> >>> [jedi-0.18.1] /Users/jianpingpan/sage/config.log
>> >>> [jedi-0.18.1] Describe your computer, operating system, etc.
>> >>> [jedi-0.18.1] If you want to try to fix the problem yourself, *don't* 
>> >>> just cd to
>> >>> [jedi-0.18.1] 
>> >>> /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1 and type 
>> >>> 'make' or whatever is appropriate.
>> >>> [jedi-0.18.1] Instead, the following commands setup all environment 
>> >>> variables
>> >>> [jedi-0.18.1] correctly and load a subshell for you to debug the error:
>> >>> [jedi-0.18.1] (cd 
>> >>> '/Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1' && 
>> >>> '/Users/jianpingpan/sage/sage' --buildsh)
>> >>> [jedi-0.18.1] When you are done debugging, you can type "exit" to leave 
>> >>> the subshell.
>> >>> [jedi-0.18.1] 
>> >>> 
>> >>> make[4]: *** [jedi-SAGE_VENV-no-deps] Error 1
>> >>>
>> >>> Thanks,
>> >>> Jianping
>> >
>> > --
>> > You received this message because you are subscribed to the Google Groups 
>> > "sage-devel" group.
>> > To

Re: [sage-devel] Re: Error building a wheel for jedi-0.18.1

[Jianping Pan]

Dear Dima,

Thank you for your help! I tried to re-run 
./configure
source /Users/jianpingpan/sage/.homebrew-build-env
./config.status --recheck
./config.status
make build

And then I got the same error message about r-none being a dummy package. 
Thanks!

Thanks,
Jianping

On Saturday, June 3, 2023 at 5:48:49 PM UTC-4 Dima Pasechnik wrote:

> after you have changed the build environment, you might need to re-run
> ./configure
> and only then "make build" - the latter does not re-run ./configure in
> such cases.
>
> HTH
> Dima
>
> On Sat, Jun 3, 2023 at 9:53 PM Jianping Pan  wrote:
> >
> > Dear Matthias,
> >
> > Thank you very much for your help and quick reply! I followed 
> instruction, actually I had to use sudo to delete jedi-0.18.1. When I run 
> "make build", I ran into another problem below. I attempted "brew install 
> r" then "make build" again, still, the same error message occur. Thanks!
> >
> > [r-none] Error: r is a dummy package and
> > [r-none] cannot be installed using the Sage distribution.
> > make[4]: *** [r-SAGE_LOCAL-no-deps] Error 1
> > make[3]: *** 
> [/Users/jianpingpan/sage/local/var/lib/sage/installed/r-none] Error 2
> > make[2]: *** [all-build] Error 2
> >
> > real 0m0.532s
> > user 0m0.344s
> > sys 0m0.161s
> > ***
> > Error building Sage.
> >
> > The following package(s) may have failed to build (not necessarily
> > during this run of 'make all-build'):
> >
> > * package: r-none
> > last build time: Jun 3 16:47
> > log file: /Users/jianpingpan/sage/logs/pkgs/r-none.log
> >
> > Thanks,
> > Jianping
> >
> > On Saturday, June 3, 2023 at 2:11:38 PM UTC-4 Matthias Koeppe wrote:
> >>
> >> Try removing the directory 
> /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1 manually
> >> using "rm -r 
> /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1".
> >> If this fails, check if there are any files that have unusual ownership 
> or permissions
> >>
> >>
> >> On Saturday, June 3, 2023 at 10:20:11 AM UTC-7 Jianping Pan wrote:
> >>>
> >>> Dear Sage developers,
> >>>
> >>> I was trying to install sage 10.1.beta1 on my macOS 12.6.5 via Git. I 
> followed the instruction on git and ran
> >>> "make configure",
> >>> set "./configure --enable-download-from-upstream-url",
> >>> ran "./configure", then brew installed all the packages that it asked 
> me to install.
> >>> Then I run "make"
> >>>
> >>> Below is the error report and the two log files. Thanks!
> >>>
> >>> [jedi-0.18.1] ERROR: Failed cleaning build dir for jedi
> >>> [jedi-0.18.1] Failed to build jedi
> >>> [jedi-0.18.1] ERROR: Failed to build one or more wheels
> >>> [jedi-0.18.1] 
> 
> >>> [jedi-0.18.1] Error building a wheel for jedi-0.18.1
> >>> [jedi-0.18.1] 
> 
> >>> [jedi-0.18.1]
> >>> [jedi-0.18.1] real 0m16.162s
> >>> [jedi-0.18.1] user 0m14.644s
> >>> [jedi-0.18.1] sys 0m5.335s
> >>> [jedi-0.18.1] 
> 
> >>> [jedi-0.18.1] Error installing package jedi-0.18.1
> >>> [jedi-0.18.1] 
> 
> >>> [jedi-0.18.1] Please email sage-devel (
> http://groups.google.com/group/sage-devel)
> >>> [jedi-0.18.1] explaining the problem and including the log files
> >>> [jedi-0.18.1] /Users/jianpingpan/sage/logs/pkgs/jedi-0.18.1.log
> >>> [jedi-0.18.1] and
> >>> [jedi-0.18.1] /Users/jianpingpan/sage/config.log
> >>> [jedi-0.18.1] Describe your computer, operating system, etc.
> >>> [jedi-0.18.1] If you want to try to fix the problem yourself, *don't* 
> just cd to
> >>> [jedi-0.18.1] 
> /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1 and type 
> 'make' or whatever is appropriate.
> >>> [jedi-0.18.1] Instead, the following commands setup all environment 
> variables
> >>> [jedi-0.18.1] correctly and load a subshell for you to debug the error:
> >>> [jedi-0.18.1] (cd 
> '/Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1' && 
> '/Users/jianpingpan/sage/sage' --buildsh)
> >>> [jedi-0.18.1] When you are done debugging, you can type "exit" to 
> leave the subshell.
> >>> [jedi-0.18.1] 
> 
> >>> make[4]: *** [jedi-SAGE_VENV-no-deps] Error 1
> >>>
> >>> Thanks,
> >>> Jianping
> >
> > --
> > 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/cfbaf68f-15fe-4264-a564-1a089fce489dn%40googlegroups.com
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this gr

Re: [sage-devel] Re: Error building a wheel for jedi-0.18.1

[Dima Pasechnik]

after you have changed the build environment, you might need to re-run
./configure
and only then "make build" - the latter does not re-run ./configure in
such cases.

HTH
Dima

On Sat, Jun 3, 2023 at 9:53 PM Jianping Pan  wrote:
>
> Dear Matthias,
>
> Thank you very much for your help and quick reply! I followed instruction, 
> actually I had to use sudo to delete jedi-0.18.1. When I run "make build", I 
> ran into another problem below. I attempted "brew install r" then "make 
> build" again, still, the same error message occur. Thanks!
>
> [r-none] Error: r is a dummy package and
> [r-none] cannot be installed using the Sage distribution.
> make[4]: *** [r-SAGE_LOCAL-no-deps] Error 1
> make[3]: *** [/Users/jianpingpan/sage/local/var/lib/sage/installed/r-none] 
> Error 2
> make[2]: *** [all-build] Error 2
>
> real0m0.532s
> user0m0.344s
> sys 0m0.161s
> ***
> Error building Sage.
>
> The following package(s) may have failed to build (not necessarily
> during this run of 'make all-build'):
>
> * package: r-none
>   last build time: Jun 3 16:47
>   log file:/Users/jianpingpan/sage/logs/pkgs/r-none.log
>
> Thanks,
> Jianping
>
> On Saturday, June 3, 2023 at 2:11:38 PM UTC-4 Matthias Koeppe wrote:
>>
>> Try removing the directory 
>> /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1 manually
>> using "rm -r /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1".
>> If this fails, check if there are any files that have unusual ownership or 
>> permissions
>>
>>
>> On Saturday, June 3, 2023 at 10:20:11 AM UTC-7 Jianping Pan wrote:
>>>
>>> Dear Sage developers,
>>>
>>> I was trying to install sage 10.1.beta1 on my macOS 12.6.5 via Git. I 
>>> followed the instruction on git and ran
>>> "make configure",
>>> set "./configure --enable-download-from-upstream-url",
>>> ran "./configure", then brew installed all the packages that it asked me to 
>>> install.
>>> Then I run "make"
>>>
>>> Below is the error report and the two log files. Thanks!
>>>
>>> [jedi-0.18.1]   ERROR: Failed cleaning build dir for jedi
>>> [jedi-0.18.1] Failed to build jedi
>>> [jedi-0.18.1] ERROR: Failed to build one or more wheels
>>> [jedi-0.18.1] 
>>> 
>>> [jedi-0.18.1] Error building a wheel for jedi-0.18.1
>>> [jedi-0.18.1] 
>>> 
>>> [jedi-0.18.1]
>>> [jedi-0.18.1] real 0m16.162s
>>> [jedi-0.18.1] user 0m14.644s
>>> [jedi-0.18.1] sys 0m5.335s
>>> [jedi-0.18.1] 
>>> 
>>> [jedi-0.18.1] Error installing package jedi-0.18.1
>>> [jedi-0.18.1] 
>>> 
>>> [jedi-0.18.1] Please email sage-devel 
>>> (http://groups.google.com/group/sage-devel)
>>> [jedi-0.18.1] explaining the problem and including the log files
>>> [jedi-0.18.1]   /Users/jianpingpan/sage/logs/pkgs/jedi-0.18.1.log
>>> [jedi-0.18.1] and
>>> [jedi-0.18.1]   /Users/jianpingpan/sage/config.log
>>> [jedi-0.18.1] Describe your computer, operating system, etc.
>>> [jedi-0.18.1] If you want to try to fix the problem yourself, *don't* just 
>>> cd to
>>> [jedi-0.18.1] /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1 
>>> and type 'make' or whatever is appropriate.
>>> [jedi-0.18.1] Instead, the following commands setup all environment 
>>> variables
>>> [jedi-0.18.1] correctly and load a subshell for you to debug the error:
>>> [jedi-0.18.1]   (cd 
>>> '/Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1' && 
>>> '/Users/jianpingpan/sage/sage' --buildsh)
>>> [jedi-0.18.1] When you are done debugging, you can type "exit" to leave the 
>>> subshell.
>>> [jedi-0.18.1] 
>>> 
>>> make[4]: *** [jedi-SAGE_VENV-no-deps] Error 1
>>>
>>> Thanks,
>>> Jianping
>
> --
> 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/cfbaf68f-15fe-4264-a564-1a089fce489dn%40googlegroups.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/CAAWYfq08Xd7bxZ0gJAZ%2B5uYSLTQd3twD9F3Fie%3DKqVXerThf3g%40mail.gmail.com.

[sage-devel] Re: Error building a wheel for jedi-0.18.1

[Jianping Pan]

Dear Matthias,

Thank you very much for your help and quick reply! I followed instruction, 
actually I had to use sudo to delete jedi-0.18.1. When I run "make build", 
I ran into another problem below. I attempted "brew install r" then "make 
build" again, still, the same error message occur. Thanks!

[r-none] Error: r is a dummy package and 
[r-none] cannot be installed using the Sage distribution.
make[4]: *** [r-SAGE_LOCAL-no-deps] Error 1
make[3]: *** [/Users/jianpingpan/sage/local/var/lib/sage/installed/r-none] 
Error 2
make[2]: *** [all-build] Error 2

real0m0.532s
user0m0.344s
sys 0m0.161s
***
Error building Sage.

The following package(s) may have failed to build (not necessarily
during this run of 'make all-build'):

* package: r-none
  last build time: Jun 3 16:47
  log file:/Users/jianpingpan/sage/logs/pkgs/r-none.log

Thanks,
Jianping

On Saturday, June 3, 2023 at 2:11:38 PM UTC-4 Matthias Koeppe wrote:

> Try removing the directory 
> /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1 manually
> using "rm -r /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1".
> If this fails, check if there are any files that have unusual ownership or 
> permissions
>
>
> On Saturday, June 3, 2023 at 10:20:11 AM UTC-7 Jianping Pan wrote:
>
>> Dear Sage developers,
>>
>> I was trying to install sage 10.1.beta1 on my macOS 12.6.5 via Git. I 
>> followed the instruction on git and ran 
>> "make configure",
>> set "./configure --enable-download-from-upstream-url", 
>> ran "./configure", then brew installed all the packages that it asked me 
>> to install. 
>> Then I run "make"
>>
>> Below is the error report and the two log files. Thanks!
>>
>> [jedi-0.18.1]   ERROR: Failed cleaning build dir for jedi
>> [jedi-0.18.1] Failed to build jedi
>> [jedi-0.18.1] ERROR: Failed to build one or more wheels
>> [jedi-0.18.1] 
>> 
>> [jedi-0.18.1] Error building a wheel for jedi-0.18.1
>> [jedi-0.18.1] 
>> 
>> [jedi-0.18.1] 
>> [jedi-0.18.1] real 0m16.162s
>> [jedi-0.18.1] user 0m14.644s
>> [jedi-0.18.1] sys 0m5.335s
>> [jedi-0.18.1] 
>> 
>> [jedi-0.18.1] Error installing package jedi-0.18.1
>> [jedi-0.18.1] 
>> 
>> [jedi-0.18.1] Please email sage-devel (
>> http://groups.google.com/group/sage-devel)
>> [jedi-0.18.1] explaining the problem and including the log files
>> [jedi-0.18.1]   /Users/jianpingpan/sage/logs/pkgs/jedi-0.18.1.log
>> [jedi-0.18.1] and
>> [jedi-0.18.1]   /Users/jianpingpan/sage/config.log
>> [jedi-0.18.1] Describe your computer, operating system, etc.
>> [jedi-0.18.1] If you want to try to fix the problem yourself, *don't* 
>> just cd to
>> [jedi-0.18.1] 
>> /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1 and type 
>> 'make' or whatever is appropriate.
>> [jedi-0.18.1] Instead, the following commands setup all environment 
>> variables
>> [jedi-0.18.1] correctly and load a subshell for you to debug the error:
>> [jedi-0.18.1]   (cd 
>> '/Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1' && 
>> '/Users/jianpingpan/sage/sage' --buildsh)
>> [jedi-0.18.1] When you are done debugging, you can type "exit" to leave 
>> the subshell.
>> [jedi-0.18.1] 
>> 
>> make[4]: *** [jedi-SAGE_VENV-no-deps] Error 1
>>
>> Thanks,
>> Jianping
>>
>

-- 
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/cfbaf68f-15fe-4264-a564-1a089fce489dn%40googlegroups.com.

Note: r is a dummy package that the Sage distribution uses
to provide information about equivalent system packages.
It cannot be installed using the Sage distribution.
Please install it manually, for example using the system packages
recommended at the end of a run of './configure'
See below for package-specific information.

r: A free software environment for statistical computing and graphics
=

Description
---

R is a language and environment for statistical computing and graphics.
It is a GNU project which is similar to the S language and environment
which was developed at Bell Laboratories (formerly AT&T, now Lucent
Technologies) by John Chambers and colleagues. R can be considered as a
different implementation of S. There are some important differences, but
much code written for S runs unaltered under R.

(taken from http://www.r-project.org/)

L

[sage-devel] Re: Error building a wheel for jedi-0.18.1

[Matthias Koeppe]

Try removing the directory 
/Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1 manually
using "rm -r /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1".
If this fails, check if there are any files that have unusual ownership or 
permissions


On Saturday, June 3, 2023 at 10:20:11 AM UTC-7 Jianping Pan wrote:

> Dear Sage developers,
>
> I was trying to install sage 10.1.beta1 on my macOS 12.6.5 via Git. I 
> followed the instruction on git and ran 
> "make configure",
> set "./configure --enable-download-from-upstream-url", 
> ran "./configure", then brew installed all the packages that it asked me 
> to install. 
> Then I run "make"
>
> Below is the error report and the two log files. Thanks!
>
> [jedi-0.18.1]   ERROR: Failed cleaning build dir for jedi
> [jedi-0.18.1] Failed to build jedi
> [jedi-0.18.1] ERROR: Failed to build one or more wheels
> [jedi-0.18.1] 
> 
> [jedi-0.18.1] Error building a wheel for jedi-0.18.1
> [jedi-0.18.1] 
> 
> [jedi-0.18.1] 
> [jedi-0.18.1] real 0m16.162s
> [jedi-0.18.1] user 0m14.644s
> [jedi-0.18.1] sys 0m5.335s
> [jedi-0.18.1] 
> 
> [jedi-0.18.1] Error installing package jedi-0.18.1
> [jedi-0.18.1] 
> 
> [jedi-0.18.1] Please email sage-devel (
> http://groups.google.com/group/sage-devel)
> [jedi-0.18.1] explaining the problem and including the log files
> [jedi-0.18.1]   /Users/jianpingpan/sage/logs/pkgs/jedi-0.18.1.log
> [jedi-0.18.1] and
> [jedi-0.18.1]   /Users/jianpingpan/sage/config.log
> [jedi-0.18.1] Describe your computer, operating system, etc.
> [jedi-0.18.1] If you want to try to fix the problem yourself, *don't* just 
> cd to
> [jedi-0.18.1] /Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1 
> and type 'make' or whatever is appropriate.
> [jedi-0.18.1] Instead, the following commands setup all environment 
> variables
> [jedi-0.18.1] correctly and load a subshell for you to debug the error:
> [jedi-0.18.1]   (cd 
> '/Users/jianpingpan/sage/local/var/tmp/sage/build/jedi-0.18.1' && 
> '/Users/jianpingpan/sage/sage' --buildsh)
> [jedi-0.18.1] When you are done debugging, you can type "exit" to leave 
> the subshell.
> [jedi-0.18.1] 
> 
> make[4]: *** [jedi-SAGE_VENV-no-deps] Error 1
>
> Thanks,
> Jianping
>

-- 
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/d3ce5bb4-002b-4737-b7c3-ab774039f3d0n%40googlegroups.com.

Re: [sage-devel] Develop Sage inside GitHub Codespaces and/or other "cloud" options?

[William Stein]

On Sat, Jun 3, 2023 at 7:13 AM Jing Guo  wrote:

> Thank you, Dima. I just learned that CoCalc also provides dev environment
> setup...
>

I can also give you a significant free upgrade on cocalc if you want to use
it for sage dev.


> I guess I will try GitPod first then.
>
> 在2023年6月3日星期六 UTC+2 14:26:01 写道：
>
>> On Sat, Jun 3, 2023 at 1:19 PM Jing Guo  wrote:
>> >
>> > I have not. I am exploring different options and weighing the
>> pros-and-cons.
>>
>> Another option is cocalc.com - although you'd rather pay for
>> subscription, to allow development environments.
>> Apart from this, I am only aware of GitPod and Codespaces.
>> Needless to say, you can also set up a sufficently big VM on a cloud
>> service and use it, but most probably you'd need to pay,
>> as Sage is resource-hungry.
>>
>>
>> >
>> > 在2023年6月3日星期六 UTC+2 14:01:00 写道：
>> >>
>> >> On Sat, Jun 3, 2023 at 12:16 PM Jing Guo  wrote:
>> >> >
>> >> > Hello everyone,
>> >> >
>> >> > Last year, I developed Sage inside Linux VM (Debian, to be specific)
>> on my old Macbook Pro, so the compiling time was not really good, or was
>> not what it could have been.
>> >> >
>> >> > Recently, I learn that there exist some services like GitHub's
>> Codespaces, which seems to provide develop-and-build environments on their
>> own machines(?). I was wondering that if anyone have had some experience
>> with these services. If so, do you have any recommendations for
>> alternatives other than the GitHub one? Or would you say that the GitHub
>> one is good enough? (Sage documentation seems to suggest GitPod)
>> >>
>> >> Have you tried GitPod?
>> >>
>> >> >
>> >> > Thank you for your time.
>> >> >
>> >> > Jing
>> >> >
>> >> > --
>> >> > 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/686c07aa-a4d5-4f50-88cf-0e30f0e95278n%40googlegroups.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+...@googlegroups.com.
>> > To view this discussion on the web visit
>> https://groups.google.com/d/msgid/sage-devel/60475ea1-a782-4c54-a3dc-a8d1dacc8b53n%40googlegroups.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/6d2df1b1--4820-8817-12a37327f6d7n%40googlegroups.com
> 
> .
>
-- 
-- William Stein

-- 
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/CACLE5GBbAaJADhcTt-6yPUUBy%3D2i-qa2Ho01hMEdOWkGW%2BPaRw%40mail.gmail.com.

Re: [sage-devel] Develop Sage inside GitHub Codespaces and/or other "cloud" options?

[Jing Guo]

Thank you, Dima. I just learned that CoCalc also provides dev environment 
setup...

I guess I will try GitPod first then.

在2023年6月3日星期六 UTC+2 14:26:01 写道：

> On Sat, Jun 3, 2023 at 1:19 PM Jing Guo  wrote:
> >
> > I have not. I am exploring different options and weighing the 
> pros-and-cons.
>
> Another option is cocalc.com - although you'd rather pay for
> subscription, to allow development environments.
> Apart from this, I am only aware of GitPod and Codespaces.
> Needless to say, you can also set up a sufficently big VM on a cloud
> service and use it, but most probably you'd need to pay,
> as Sage is resource-hungry.
>
>
> >
> > 在2023年6月3日星期六 UTC+2 14:01:00 写道：
> >>
> >> On Sat, Jun 3, 2023 at 12:16 PM Jing Guo  wrote:
> >> >
> >> > Hello everyone,
> >> >
> >> > Last year, I developed Sage inside Linux VM (Debian, to be specific) 
> on my old Macbook Pro, so the compiling time was not really good, or was 
> not what it could have been.
> >> >
> >> > Recently, I learn that there exist some services like GitHub's 
> Codespaces, which seems to provide develop-and-build environments on their 
> own machines(?). I was wondering that if anyone have had some experience 
> with these services. If so, do you have any recommendations for 
> alternatives other than the GitHub one? Or would you say that the GitHub 
> one is good enough? (Sage documentation seems to suggest GitPod)
> >>
> >> Have you tried GitPod?
> >>
> >> >
> >> > Thank you for your time.
> >> >
> >> > Jing
> >> >
> >> > --
> >> > 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/686c07aa-a4d5-4f50-88cf-0e30f0e95278n%40googlegroups.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+...@googlegroups.com.
> > To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/60475ea1-a782-4c54-a3dc-a8d1dacc8b53n%40googlegroups.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/6d2df1b1--4820-8817-12a37327f6d7n%40googlegroups.com.

Re: [sage-devel] Develop Sage inside GitHub Codespaces and/or other "cloud" options?

[Dima Pasechnik]

On Sat, Jun 3, 2023 at 1:19 PM Jing Guo  wrote:
>
> I have not. I am exploring different options and weighing the pros-and-cons.

Another option is cocalc.com - although you'd rather pay for
subscription, to allow development environments.
Apart from this, I am only aware of GitPod and Codespaces.
Needless to say, you can also set up a sufficently big VM on a cloud
service and use it, but most probably you'd need to pay,
as Sage is resource-hungry.


>
> 在2023年6月3日星期六 UTC+2 14:01:00 写道：
>>
>> On Sat, Jun 3, 2023 at 12:16 PM Jing Guo  wrote:
>> >
>> > Hello everyone,
>> >
>> > Last year, I developed Sage inside Linux VM (Debian, to be specific) on my 
>> > old Macbook Pro, so the compiling time was not really good, or was not 
>> > what it could have been.
>> >
>> > Recently, I learn that there exist some services like GitHub's Codespaces, 
>> > which seems to provide develop-and-build environments on their own 
>> > machines(?). I was wondering that if anyone have had some experience with 
>> > these services. If so, do you have any recommendations for alternatives 
>> > other than the GitHub one? Or would you say that the GitHub one is good 
>> > enough? (Sage documentation seems to suggest GitPod)
>>
>> Have you tried GitPod?
>>
>> >
>> > Thank you for your time.
>> >
>> > Jing
>> >
>> > --
>> > 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/686c07aa-a4d5-4f50-88cf-0e30f0e95278n%40googlegroups.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/60475ea1-a782-4c54-a3dc-a8d1dacc8b53n%40googlegroups.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/CAAWYfq1YnxAsSwf7dysfK79BkiPddsFwtsoRF4tX_uMtbUpbHw%40mail.gmail.com.

Re: [sage-devel] Develop Sage inside GitHub Codespaces and/or other "cloud" options?

[Jing Guo]

I have not. I am exploring different options and weighing the pros-and-cons.

在2023年6月3日星期六 UTC+2 14:01:00 写道：

> On Sat, Jun 3, 2023 at 12:16 PM Jing Guo  wrote:
> >
> > Hello everyone,
> >
> > Last year, I developed Sage inside Linux VM (Debian, to be specific) on 
> my old Macbook Pro, so the compiling time was not really good, or was not 
> what it could have been.
> >
> > Recently, I learn that there exist some services like GitHub's 
> Codespaces, which seems to provide develop-and-build environments on their 
> own machines(?). I was wondering that if anyone have had some experience 
> with these services. If so, do you have any recommendations for 
> alternatives other than the GitHub one? Or would you say that the GitHub 
> one is good enough? (Sage documentation seems to suggest GitPod)
>
> Have you tried GitPod?
>
> >
> > Thank you for your time.
> >
> > Jing
> >
> > --
> > 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/686c07aa-a4d5-4f50-88cf-0e30f0e95278n%40googlegroups.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/60475ea1-a782-4c54-a3dc-a8d1dacc8b53n%40googlegroups.com.

Re: [sage-devel] Develop Sage inside GitHub Codespaces and/or other "cloud" options?

[Dima Pasechnik]

On Sat, Jun 3, 2023 at 12:16 PM Jing Guo  wrote:
>
> Hello everyone,
>
> Last year, I developed Sage inside Linux VM (Debian, to be specific) on my 
> old Macbook Pro, so the compiling time was not really good, or was not what 
> it could have been.
>
> Recently, I learn that there exist some services like GitHub's Codespaces, 
> which seems to provide develop-and-build environments on their own 
> machines(?). I was wondering that if anyone have had some experience with 
> these services. If so, do you have any recommendations for alternatives other 
> than the GitHub one? Or would you say that the GitHub one is good enough? 
> (Sage documentation seems to suggest GitPod)

Have you tried GitPod?

>
> Thank you for your time.
>
> Jing
>
> --
> 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/686c07aa-a4d5-4f50-88cf-0e30f0e95278n%40googlegroups.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/CAAWYfq2tTEttDBcAggri0264_%2B0KF6mUUDdp63qe0gZkvP9MUw%40mail.gmail.com.

Re: [sage-devel] ping - please cast you vote: VOTE: Follow NEP 29: Recommended Python version

[Marc Culler]

On Tuesday, May 30, 2023 at 9:17:17 AM UTC-5 Dima Pasechnik wrote:

Well, have you notiiced that while casting his vote, Matthias wrote a 
full screenful of questionable explanations of why he voted "no",


That is what always happens when people try to force a vote before there 
has been a discussion of sufficient depth to allow a consensus to form.  
That has been understood for a long time.  Robert's Rules of Order were 
written in 1876.  Our great new technology  has made us forget useful 
things that we used to know.

- Marc

-- 
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/3b03a5e5-7327-4dfb-b27a-2bc8b1675ad4n%40googlegroups.com.

[sage-devel] Develop Sage inside GitHub Codespaces and/or other "cloud" options?

[Jing Guo]

Hello everyone,

Last year, I developed Sage inside Linux VM (Debian, to be specific) on my 
old Macbook Pro, so the compiling time was not really good, or was not what 
it could have been.

Recently, I learn that there exist some services like GitHub's Codespaces, 
which seems to provide develop-and-build environments on their own 
machines(?). I was wondering that if anyone have had some experience with 
these services. If so, do you have any recommendations for alternatives 
other than the GitHub one? Or would you say that the GitHub one is good 
enough? (Sage documentation seems to suggest GitPod)

Thank you for your time.

Jing

-- 
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/686c07aa-a4d5-4f50-88cf-0e30f0e95278n%40googlegroups.com.