(install
 (section lib)
 (package coq)
 (files
  (CoqMakefile.in as tools/CoqMakefile.in)
  (TimeFileMaker.py as tools/TimeFileMaker.py)
  (make-one-time-file.py as tools/make-one-time-file.py)
  (make-both-time-files.py as tools/make-both-time-files.py)
  (make-both-single-timing-files.py as tools/make-both-single-timing-files.py)))

(executable
 (name coq_makefile)
 (public_name coq_makefile)
 (package coq)
 (modules coq_makefile)
 (libraries coq.lib))

(executable
 (name coqc)
 (public_name coqc)
 (package coq)
 (modules coqc)
 (libraries coq.toplevel))

(executable
 (name coqdep)
 (public_name coqdep)
 (package coq)
 (modules coqdep_lexer coqdep_common coqdep)
 (libraries coq.lib))

(ocamllex coqdep_lexer)

(executable
 (name coqwc)
 (public_name coqwc)
 (package coq)
 (modules coqwc)
 (libraries))

(ocamllex coqwc)

(executable
 (name coq_tex)
 (public_name coq_tex)
 (package coq)
 (modules coq_tex)
 (libraries str))

(executable
 (name coq_dune)
 (public_name coq_dune)
 (package coq)
 (modules coq_dune)
 (libraries str))