Commits

camlspotter  committed 94a733f Merge

merge

  • Participants
  • Parent commits bf1b213, 01eef7b
  • Branches custom

Comments (0)

Files changed (5)

File 0scripts/0BUILD.sh

 #   If an argument is specified, use it as PREFIX, then install the system
 #   Otherwise, it uses $PREFIX, and does not perform installation.
 
+if [ "x$PREFIX" = "x" ]; then 
+  echo "Set PREFIX environment variable"
+  exit 1
+fi
+
 set -e
 
 if [ "$1" != "" ]; then

File INSTALL-ocamlspot.txt

 
 10. How to use
 
-  Compile your ML project by this patched compiler with -annot option to create .spot files. Open one of the source files in Emacs and place the cursor at the name whose definition is in question. Type C-c; will show you the defintion.
+  Compile your ML project by this patched compiler with -annot option to create .spot files. 
+  Open one of the source files in Emacs and place the cursor at the name whose definition 
+  is in question. Type C-c; will show you the defintion.
 
 11. Bug report
 

File README-ocamlspot.txt

File contents unchanged.

File ocamlspot/ocamlspot.el

 		    (if err
 			(ocamlspot-message-add (concat "Error: " err))))
 		  start-end))
-	    (ocamlspot-message-add "Error: no tree node found there")
+
+	    (let ((err (ocamlspot-find-query-result "Error")))
+	      (if err
+		  (ocamlspot-message-add (concat "Error: " err))
+		(ocamlspot-message-add "Error: no tree node found there")))
 	    nil))))))
 
 ;; Jump to [position] of [filename], with highlighting the spot overlay

File ocamlspot/ocamlspot.ml

File contents unchanged.