someplaceguy comments

Repositories
Issues
Comments

Results 22 comments of


                                            someplaceguy

HOL wants to write to its directory even when building external projects

I think I figured out what the issue is. The issue is that, after building HOL, if I run `Holmake` inside the `examples/formal-languages/context-free/` directory, then the following file gets built:...

Build failure in 32-bit mode: Structure (Word64) has not been declared

> Ha! Thanks for the report; I hadn't appreciated this might be a problem. I will have to detect the build-time information about the build size, and then make the...