28 Mar
2019
28 Mar
'19
3:24 p.m.
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-...
And you need to install make and g++ via mobapt or apt-get.
- Gergely