works under WSL (Windows Subsystem for Linux).
Eliot Moss
___
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
ext in diagnosing this ...
Here's the config.status if that helps in giving me hints :-) ...
Regards - Eliot Moss
#! /bin/sh
# Generated by configure.
# Run this file to recreate the current configuration.
# Compiler output produced by configure, useful for debugging
# configure, is in config.
x that offers a Linux-like environment under Windows. (It is not a VM, such as the
Windows Subsystems for Linux (WSL) -- programs have to be ported and built under Cygwin. However,
many things work with little adjustment.)
Regards - Eliot Moss
___
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
like, etc.
Regards - Eliot Moss
___
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
On 3/28/2019 11:24 AM, Gergely Buday wrote:
Eliot Moss wrote:
My whole setup on my laptop is Cygwin based. If I can use Cygwin
HOL4 and Windows polyml, that would be ok, but I can also imagine
a number of ways that would break, particularly around handling
filenames ... What do you think
On 3/28/2019 6:50 AM, Makarius wrote:
On 28/03/2019 11:37, Eliot Moss wrote:
My whole setup on my laptop is Cygwin based. If I can use Cygwin
HOL4 and Windows polyml, that would be ok, but I can also imagine
a number of ways that would break, particularly around handling
filenames ... What
On 3/28/2019 4:24 AM, David Matthews wrote:
HI Eliot,
Thanks for that report. I've updated the website and changed statistics.cpp in git master so that
it now compiles on Cygwin. I'll backport that to fixes-5.8 once it's had a bit of testing.
Trying to support Poly/ML on Cygwin has always
signal B
(11)
(SEGV, I believe). It works if I run Holmake with -j1 (default is something
like
-j4), which means that multiple concurrent instances of poly interfere with
each
other in some way, near as I can tell.
Regards - Eliot Moss
___
polyml