*.annot
*.cache

# ocamlbuild working directory
_build/

# ocamlbuild targets
*.byte
*.native

# oasis generated files
setup.data
setup.log

# generated by coq
*.glob
*.v.d
*.aux
*.vo
*.vok
*.vos
*.d
.lia.cache
.nia.cache

# cp targets of src/configure.sh:
src/_CoqProject
src/Makefile
src/Makefile.conf
src/Makefile.local
src/smtcoq_plugin.ml4
src/versions/native/Structures.v
src/g_smtcoq.mlg
src/smtcoq_plugin.mlpack
src/Tactics.v
src/versions/standard/Int63/Int63.v
src/versions/standard/Int63/Int63Native.v
src/versions/standard/Int63/Int63Op.v
src/versions/standard/Int63/Int63Axioms.v
src/versions/standard/Int63/Int63Properties.v
src/versions/standard/Array/PArray.v
src/versions/standard/Structures.v

# generated by the Makefile
src/uninstall_me.sh

# .ml files generated by ocamllex from a .mll, regenerate list using
# find . -name '*.mll' | sed -e 's/^.\(.*\).$/\1/g'
/src/smtlib2/sExprLexer.ml
/src/lfsc/lfscLexer.ml
/src/verit/veritLexer.ml
/3rdparty/alt-ergo/smtlib2_lex.ml

# .ml files generated by ocamlyacc from a .mly, regenerate list using
# find . -name '*.mly' | sed -e 's/^.\(.*\).$/\1/g'
/src/smtlib2/sExprParser.ml
/src/lfsc/lfscParser.ml
/src/verit/veritParser.ml
/3rdparty/alt-ergo/smtlib2_parse.ml

# .mli files generated by ocamlyacc from a .mly, regenerate list using
find . -name '*.mly' | sed -e 's/^.\(.*\).$/\1i/g'
/src/smtlib2/sExprParser.mli
/src/lfsc/lfscParser.mli
/src/verit/veritParser.mli
/3rdparty/alt-ergo/smtlib2_parse.mli

# compiled OCaml files
*.cmt
*.cmti
*.cmi
*.cmo
*.cma
*.cmx
*.cmxs
*.cmxa
*.ml.d
*.mli.d
*.ml4.d
*.o
*.a
*.mlpack.d
src/extraction/.Makefile.swp
src/extraction/smtcoq

# proof certificates
*.vtlog
*.zlog