Something went wrong. Try again.
forked from coq/coq
Something went wrong. Try again.
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768(install (section lib) (package rocq-runtime) (files (CoqMakefile.in as tools/CoqMakefile.in)))
(install (section libexec) (package rocq-runtime) (files (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)))
(library (name rocqmakefile) (modules rocqmakefile) (libraries rocq-runtime.boot rocq-runtime.lib))
(executable (name coq_makefile) (public_name coq_makefile) (package coq-core) (modules coq_makefile) (libraries rocqmakefile))
; Bare-bones mllib/mlpack parser(executable (name ocamllibdep) (public_name ocamllibdep) (package rocq-runtime) (modules ocamllibdep) (libraries unix))
(ocamllex ocamllibdep)
(library (name rocqwc) (modules rocqwc) (libraries))
(executable (name coqwc) (public_name coqwc) (package coq-core) (modules coqwc) (libraries rocqwc))
(ocamllex rocqwc)
(library (name rocqtex) (modules rocqtex) (libraries str))
(executables (names coq_tex) (public_names coq-tex) (package coq-core) (modules coq_tex) (libraries rocqtex))
(library (name rocqfind) (modules rocqfind) (libraries findlib))