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?
I used MobaXterm to run HOL4. HOL4 runs fine on it, unfortunately the hol-vim plugin does not work there. MobaXterm is a cygwin-based distribution for Windows: https://mobaxterm.mobatek.net/download-home-edition.html For compiling polyml on MobaXterm you need a minor tweak in configure: https://stackoverflow.com/questions/55097775/compiling-poly-ml-on-mobaxterm-the-ar-u-option And you need to install make and g++ via mobapt or apt-get. - Gergely _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
