search

ARudik / phc

Automatically exported from code.google.com/p/phc
0 stars 0 forks source link

If maketea is missing, add a warning to the makefile #80

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
When maketea is missing, the makefile tries to execute the .tea files.
Instead, it should issue a warning that maketea is missing, where to get
it, and that its probably easier to "touch src/generate/*" instead of
getting maketea.

I'm not sure if there is the same problem for flex, bison, gengetopt etc.

Original issue reported on code.google.com by paul.biggar on 17 Sep 2008 at 7:35

GoogleCodeExporter commented 9 years ago

Original comment by paul.biggar on 20 Sep 2008 at 9:49

GoogleCodeExporter commented 9 years ago 
Fixed in 3347.

Original comment by paul.biggar on 10 Sep 2010 at 8:00