Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Uses camlp4 #1
It is used for parsing mainly - so it is easier to switch to sedlex or mehrir instead, only two very small files are affected, so the change is trivial:
While the problem is indeed simple in lablGL, as the parsers are very simple, the situation is more difficult with LablGtk, which uses a much more complex parser using stream parser.
A temporary solution is to switch to camlp5, as the stream parser syntax should be compatible.