From 0f5ce98342a7742c4e3af0dd33b5b642419d5286 Mon Sep 17 00:00:00 2001 From: Kimplul Date: Fri, 20 Dec 2024 12:32:41 +0200 Subject: fix generated files in .gitignore --- .gitignore | 4 ++-- gen/source.mk | 9 +++++++++ 2 files changed, 11 insertions(+), 2 deletions(-) create mode 100644 gen/source.mk diff --git a/.gitignore b/.gitignore index f90a716..20d3be2 100644 --- a/.gitignore +++ b/.gitignore @@ -1,7 +1,7 @@ deps.mk docs/output build -gen fwd -!gen/source.mk +gen/*.c +gen/*.inc !include/fwd diff --git a/gen/source.mk b/gen/source.mk new file mode 100644 index 0000000..55fe692 --- /dev/null +++ b/gen/source.mk @@ -0,0 +1,9 @@ +gen/gen_parser.c: src/parser.y gen/gen_lexer.inc + bison -Wcounterexamples -o gen/gen_parser.c src/parser.y + +gen/gen_lexer.inc: src/lexer.l + flex -o gen/gen_lexer.inc src/lexer.l + +build/gen/parser.o: gen/gen_parser.c + mkdir -p build/gen + $(COMPILE_FWD) $(SKIP_ANALYZER) -c gen/gen_parser.c -o build/gen/parser.o -- cgit v1.2.3