ignore parsers generated files
This commit is contained in:
parent
1305a867f8
commit
1687bcc3be
2 changed files with 5 additions and 1 deletions
4
.gitignore
vendored
4
.gitignore
vendored
|
@ -5,3 +5,7 @@ _build
|
|||
*.cmi
|
||||
|
||||
*.s
|
||||
|
||||
# Menhir
|
||||
parser.ml
|
||||
parser.mli
|
||||
|
|
2
Makefile
2
Makefile
|
@ -23,7 +23,7 @@ test: $(TESTS)
|
|||
rm $(OUTPUT)
|
||||
|
||||
clean:
|
||||
rm -r *.cmi $(MAIN).byte _build/
|
||||
rm -r *.cmi $(MAIN).byte _build/ *.conflicts
|
||||
|
||||
archive:
|
||||
tar czf "IC.tar.gz" *.ml *.mly *.mll Makefile $(TESTS_DIR)
|
||||
|
|
Reference in a new issue