(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 coqworkmgr)
 (public_name coqworkmgr)
 (package coq)
 (modules coqworkmgr)
 (libraries coq.stm))

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

; Bare-bones mllib/mlpack parser
(executable
 (name ocamllibdep)
 (public_name ocamllibdep)
 (modules ocamllibdep)
 (package coq)
 (libraries unix))

(ocamllex coqdep_lexer ocamllibdep)

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

(ocamllex coqwc)

(executables
 (names coq_tex)
 (public_names coq-tex)
 (package coq)
 (modules coq_tex)
 (libraries str))
