stack: alternate build to overcome the happy issue

GaloisInc / salty

A DSL for generating GR(1) problems

BSD 3-Clause "New" or "Revised" License

11 stars 3 forks source link

Closed leepike closed 8 years ago

leepike commented 8 years ago

Trevor: Adam Foltzer showed me this One Incredible Trick for "fixing" the stack/happy issue.

It might be worth using this, as it seems to make the installation less painful, but if there are good reasons not to merge, let's not. :)

elliottt commented 8 years ago

I'm all for giving it a try. Want to merge it in, and we'll see if problems arise?

leepike commented 8 years ago

Squashed and merged.