On 25 April 2024 14:47:35 BST, Marc Culler <marc.cul...@gmail.com> wrote:
>On Thu, Apr 25, 2024 at 8:28 AM Dima Pasechnik <dimp...@gmail.com> wrote:
>
>> On Thu, Apr 25, 2024 at 1:28 PM Nathan Dunfield <nat...@dunfield.info>
>> wrote:
>> >
>> > On Wednesday, April 24, 2024 at 10:14:09 PM UTC-5 Matthias Koeppe wrote:
>> >
>> > Yes, native Windows would clearly be a very important target.
>> >
>> >
>> > As a data point, downloads of our stand-alone SnapPy app, which is about
>> as high level pure math as it gets, are 60% higher for Windows than macOS.
>>
>> That's not for native Windows, that's for WSL, right?
>>
>
>Wrong! SnapPy runs as a native Windows app.
>
>We build Pari with msys2 and mingw on a CI runner.
>
>Essential components of sagelib such as GAP, Singular, don't run on
>> native Windows (on Cygwin, yes, but
>> we know by now, Cygwin is too flaky for Sage to work) and I don't
>> think anyone is keen on
>> doing the hard work to port it.
>>
>
>Msys2 and mingw are not so flaky, and use more or less the same toolchain
>as Cygwin. There are many ports of gnu libraries to msys2 which can be
>installed with their package manage (pacman). I am not convinced that GAP,
>Singuler, etc. could not be built with mingw.
E.g. GAP uses sbrk, fork (which are not in msys2/mingw), you'll need to port
their GC too.
Doable, but very, very far from easy.
>
>- 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/E442AC03-90B9-4167-81F4-AB0E9E3C20AE%40gmail.com.
