*.annot
*.cmo
*.cma
*.cmi
*.a
*.o
*.cmx
*.cmxs
*.cmxa

# ocamlbuild working directory
_build/

# ocamlbuild targets
*.byte
*.native

# oasis generated files
setup.data
setup.log

# generated by the Makefile from the build variables
src/general/build_config.ml

# generated by ocamllex and ocamlyacc
src/parser-hotptp/htlexer.ml
src/parser-hotptp/htparser.ml
src/parser-hotptp/htparser.mli

# shared library built from the MiniSAT interface
*.so

# build products
bin/
src/.depend

# the compiled order check
test/ncpo_test
test/*.cm*
test/*.o
src/parser-hotptp/htparser.output
examples/summary.tex
