package spotinstall

  1. Overview
  2. No Docs
A tool to facilitate the installation of OCaml annotation files (.cmt, .cmti, .spot, .spit).

Install

Dune Dependency

Authors

Maintainers

Sources

spotinstall-1.1.1.tar.gz
sha256=7ee27c0b8a23f54730f67b65dd0d4f20cc5e1f2465ee0b5c9c941bec18143755
md5=97feae7a34f470033a44f391939a7344

Description

Many existing OCaml libraries, applications and the compiler itself do not produce or install the annotation files (.annot, .cmt, .cmti, .spot, .spit) which are essential for sub-expression type queries (caml-types.el), definition seaches and code refactoring (TypeRex and OCamlSpotter). If you want to use development tools, you have to:

  • Rebuild all the software from the source, adding -annot/-bin-annot option to compiler flags in build scripts i.e. Makefile/OCamlBuild/OMakefile.

  • Install those annotation files together with the library objects and signatures. (Require modification of the build scripts)

for all the programs.

SpotInstall provides a post-installation workaround, consists of two things:

  • A very small compiler patch which activates -annot and -bin-annot if OCAML_ANNOT environment variable is defined. (You no longder need to add -annot/-bin-annot to the build scripts.)
  • A small tool to install annotation files to the library destination directory. (You no longer need to add annotation file installation to the build scripts.)

For the first workaround, you need a small patch available from::

hg clone -b annot https://bitbucket.org/camlspotter/mutated_ocaml

or included in this source package, ocaml-annot-.patch.

For the second one, you can use SpotInstall. This tool.

Published: 21 Nov 2013

Dependencies (5)

  1. orakuda < "2.0.0"
  2. omake build & < "0.10.1"
  3. spotlib >= "2.2.0" & <= "2.3.0"
  4. ocamlfind build
  5. ocaml >= "4.00.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.