We are missing Cygwin patchbots

[Samuel Lelievre]

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

[E. Madison Bray]

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).

> --
> 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/2dba325a-19ca-4996-85a3-b04576ee5b4d%40googlegroups.com.

[Dima Pasechnik]

On Mon, Dec 9, 2019 at 11:37 AM E. Madison Bray <erik....@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.?

(if this is at all possible - 20 years ago I could set up a ssh
connection to a Windows 2000
machine without much trouble, and VNC worked too; nowadays not sure at all)

Few months ago I tried setting a Cygwin host on Azure, and it didn't go well.
Amusingly I was only able to connect to it from a Mac or from Windows,
not from Linux...

Perhaps one should try to set up a Cygwin bot on Google Compute (using
Samuel's credits).
If this can work then one can clone the resulting image and re-use.
(or perhaps use another cloud provider, e.g. AWS EC2).

Dima

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAOTD34ZFUOihx%2BNAL6RjEhzMsNTD1mBFtqmLfsXe22iiuuR4bA%40mail.gmail.com.

[E. Madison Bray]

On Mon, Dec 9, 2019 at 12:56 PM Dima Pasechnik <dim...@gmail.com> wrote:
>
> On Mon, Dec 9, 2019 at 11:37 AM E. Madison Bray <erik....@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.

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq0Mf_VO8LM9%2Bne3L_%3DAXkdbCgOcQ6Mj7OY1W0xpRynG8w%40mail.gmail.com.

[E. Madison Bray]

On Mon, Dec 9, 2019 at 4:40 PM E. Madison Bray <erik....@gmail.com> wrote:
>
> On Mon, Dec 9, 2019 at 12:56 PM Dima Pasechnik <dim...@gmail.com> wrote:
> >
> > On Mon, Dec 9, 2019 at 11:37 AM E. Madison Bray <erik....@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.