On Mon, Dec 9, 2019 at 4:40 PM E. Madison Bray <erik.m.b...@gmail.com> wrote: > > On Mon, Dec 9, 2019 at 12:56 PM Dima Pasechnik <dimp...@gmail.com> wrote: > > > > On Mon, Dec 9, 2019 at 11:37 AM E. Madison Bray <erik.m.b...@gmail.com> > > wrote: > > > > > > Hi Samuel, > > > > > > Coincidentally I just commented on this problem in another ticket, and > > > then I saw this post. I'm going to see if I can get my Cygwin > > > patchbot up and running again. But it would be helpful to have > > > another. > > > > > > Thanks for putting out the call. If anyone wants to try there are > > > instructions for building Sage on Cygwin at > > > https://trac.sagemath.org/wiki/Cygwin64Port (which I've recently > > > updated with a simplified checklist of instructions; if you try it out > > > please let me know if you run into any trouble with the instructions). > > > > do you know a cloud provider that makes it possible to run a Cygwin bot > > in a Unixy style, with access via ssh, etc.? > > Yes, I already have it. It's what it's always been on (when it was > working). But running Windows in a Linux KVM tends to be slow. > However, I tried it with Azure a while back and it was also slow.
I got my old Cygwin Patchbot VM working again (actually rebuilt it mostly from scratch), though the Sage build was on an external volume so it didn't need to be rebuilt from scratch). I'm just making sure the latest beta can finish building, and then I'll start the patchbot server. I also spent some time applying some optimizations that Julian had suggested to me a long time ago and it does seem to run a little bit faster maybe. Also it has 8 CPU cores but was only utilizing two of them (!) so I fixed that as well. It has 16 GB of RAM. I have private documentation for how this VM is set up, but I need to put it on a wiki page somewhere. > > > On Mon, Dec 9, 2019 at 4:46 AM Samuel Lelievre > > > <samuel.lelie...@gmail.com> wrote: > > > > > > > > Dear Sage-devel, > > > > > > > > To try and help with Erik Bray's Sage-Windows project, > > > > for the past year or so I have tried to build Sage > > > > on Cygwin64 on Windows 7, and got to the point where > > > > it was reliably building successfully for a while. > > > > > > > > The tests were never passing completely, but a number > > > > of issues were found and fixed and I was getting close > > > > to getting the "All tests pass!" signal from testlong, > > > > at which point I could have started running a patchbot. > > > > > > > > The past few months for various reasons I have not been > > > > able to have Sage build on Cygwin64 on Windows 7 -- and > > > > in any case Microsoft is dropping support for Windows 7 > > > > on 20 Jan 2020, so I won't be able to pursue my efforts > > > > in the same setting. > > > > > > > > If any of you have access to a Windows machine on which > > > > you could install Cygwin and run a patchbot, that would > > > > be very appreciated. Or if someone can donate a machine > > > > with Windows 8 or Windows 10, or give me remote access > > > > to one, I could renew my efforts. > > > > > > > > (I am in the USA till 30 Dec 2019 and back in France > > > > after that.) > > > > > > > > Kind regards, > > > > Samuel > > > > > > > > -- > > > > 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/2dba325a-19ca-4996-85a3-b04576ee5b4d%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/CAOTD34ZFUOihx%2BNAL6RjEhzMsNTD1mBFtqmLfsXe22iiuuR4bA%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/CAAWYfq0Mf_VO8LM9%2Bne3L_%3DAXkdbCgOcQ6Mj7OY1W0xpRynG8w%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/CAOTD34byLFbLzX-Qb_LK5Sw%3Dvr-Kn0H996Gym47duUwWYK0kOw%40mail.gmail.com.
