This is while trying to compile development head (6669d06a9d2a7c4e6b732d8a719a0e6b69f2226d)
on a machine that doesn't have Tinsel installed globally (i.e. a machine with no hardware).
Problem:
The Tinsel sub-module is currently pointing at a version from a couple of year ago. It's missing
some things like HostLinkParams, so won't compile.
Fix:
Just refreshed the Tinsel sub-module to point at master.
This is while trying to compile development head (6669d06a9d2a7c4e6b732d8a719a0e6b69f2226d) on a machine that doesn't have Tinsel installed globally (i.e. a machine with no hardware).
Problem:
The Tinsel sub-module is currently pointing at a version from a couple of year ago. It's missing some things like HostLinkParams, so won't compile.
Fix:
Just refreshed the Tinsel sub-module to point at master.