-
Notifications
You must be signed in to change notification settings - Fork 32
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Automatic Hugs bootstrapping #108
base: master
Are you sure you want to change the base?
Conversation
Why does this PR remove a number of files in the hugs/ directory? |
Well, you can only build MicroHs with Hugs in the |
I want them in the master branch. I regard having a hugs branch as a temporary measure. It should be feasible to hack Hugs to have pattern guards and the the hugs branch can go away. |
Does it crash with an overflow message? |
Yes.
I'm on Debian 12 and I'm using their
|
That error comes and goes. My patch replaces it with a warning. |
Okay, I'll take your word for it. I updated the commit to point to the current hugs branch's hash. |
Okay, I can confirm the patched version of Hugs allows it to build on my (linux) machine. |
Automate the process of Bootstrapping MicroHs with Hugs.
Have the Makefile automatically pull the patched version of MicroHs to build with Hugs, then use the patched version MicroHs to build the current tree.