A problem with bison 2.0 (which I suspect remains in later versions) is that the startup option --skeleton=<filename> prepends the filepath /usr/local/share/bison/ to <filename>. If one writes ones own skeleton file, and does not have root privileges, then this option cannot be used. A natural place for a local skeleton file is somewhere in the distribution package.

  Hans Aberg




Reply via email to