Skip to content

Fixes for #19#20

Merged
sbrodehl merged 11 commits intomasterfrom
fix-renaming
Jan 22, 2021
Merged

Fixes for #19#20
sbrodehl merged 11 commits intomasterfrom
fix-renaming

Conversation

@sbrodehl
Copy link
Copy Markdown

This PR fixes #19

  • disable renaming of bison and flex files, adjust includes
  • add flex header-file option to generate missing head file
  • remove double definition of YYSTYPE

@sbrodehl sbrodehl merged commit 5a0b723 into master Jan 22, 2021
@da-h
Copy link
Copy Markdown

da-h commented Jan 22, 2021

Nice job!

I'm intrigued in seeing this codebase slowly getting better.

@sbrodehl sbrodehl deleted the fix-renaming branch January 22, 2021 14:48
@Skylake-dev Skylake-dev mentioned this pull request Jun 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

I try to run example, but failed

2 participants