You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
With some non-trivial patching, I've managed to get the MicroHs version of cpphs to work under runhugs. When using that version, mhs is able to build cpphs without relying on generated/cpphs.c.
The patches I've written are not yet public, but I plan on publishing them within a week. Ping me if I've forgotten to link them here.
Setting
USECPPHS
tocpphs-hugs
causes thecpphs
build to fail with the following error.In contrast,
bootstrapcpphs
succeeds when usingbin/cpphs
built from the pre-existinggenerated/cpphs.c
.The
cpphs-hugs
binary comes from the patched Hugs recommended in the README.Unfortunately, this prevents bootstrapping without pre-generated sources, since the
bootstrapcpphs
target needs to runcpphs
.The text was updated successfully, but these errors were encountered: