On Dec 6, 2:07am, Christos Zoulas wrote:
} In article ,
} Jaap Boender wrote:
} >
} >Having recently switched jobs, I'm now expected to do my work in
} >Isabelle rather than Coq, so naturally I tried to run it under NetBSD.
} >
} >Running it natively is basically out of the question - it's got
On 06/12/2019 13:07, Christos Zoulas wrote:
FreeBSD-current has epoll emulation for compat-linux implemented using
kqueue. You could copy that.
Ah, that's useful, I'll have a look. Thanks!
best
Jaap
In article ,
Jaap Boender wrote:
>Hi list,
>
>Having recently switched jobs, I'm now expected to do my work in
>Isabelle rather than Coq, so naturally I tried to run it under NetBSD.
>
>Running it natively is basically out of the question - it's got a very
>customised (the nice way of saying it
Hi list,
Having recently switched jobs, I'm now expected to do my work in
Isabelle rather than Coq, so naturally I tried to run it under NetBSD.
Running it natively is basically out of the question - it's got a very
customised (the nice way of saying it) build system that I'd need to
spend a