Commits

camlspotter committed e3f2538

update

Comments (0)

Files changed (1)

 
 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 subexpression 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 their source, adding -annot/-bin-annot option to compiler flags in build scripts i.e. Makefile/OCamlBuild/OMakefile.
+* Rebuild all the software from their source, adding -annot and -bin-annot options 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.
+for all the programs. In addition,
+
+* OCaml compiler's standard libraries are also need to be compiled with -annot and -bin-annot optinons, so that they can be browsed.
 
 I propose a 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 very small compiler patch which activates -annot and -bin-annot if OCAML_ANNOT environment variable is defined. (You no longer 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::
 OPAM removes compiled source files by default. Upgrade your OPAM at least 0.8.2, 
 then set OPAMKEEPBUILDDIR environment variable with non-empty string.
 
+
 Install annot files
 -----------------------
 
-Run ``spotinstall`` after ``opam install``.
-
-Notes
-===============================
-
-To use the annotation files installed by SpotInstall smoothly, you should keep your source trees and their annotation files.
+Run ``spotinstall`` after ``opam install``, at the OPAM build directory.
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.