Nuke Tracer mode. See jscert/jsexplain instead.

Author: IgnoredAmbience

Makefile

@@ -271,22 +271,6 @@ interp/run_jsbisect.native: interp/src/extract/JsInterpreterBisect.ml
 
 # interp/run_jsbisect is an implicit rule
 
-#######################################################
-# Tracing version of the interpreter
-
-interp/tracer/annotml/ppx_lines.native:
-	$(MAKE) -C interp/tracer/annotml ppx_lines.native
-
-interp/src/extract/JsInterpreterTrace.ml: interp/src/extract/JsInterpreter.ml extract_interpreter
-	cp $< $@
-
-interp/src/run_jstrace.ml: interp/src/run_js.ml
-	perl -pe 's/JsInterpreter\./JsInterpreterTrace\./g' $< > $@
-
-interp/run_jstrace.native: interp/src/extract/JsInterpreterTrace.ml interp/tracer/annotml/ppx_lines.native
-
-# interp/run_jstrace is an implicit rule
-
 #######################################################
 # Interpreter run helpers
 .PHONY: run_tests run_tests_spidermonkey run_tests_lambdaS5 run_tests_nodejs
@@ -314,7 +298,6 @@ clean_interp:
 	-rm -f interp/run_jsbisect interp/src/run_jsbisect.ml
 	-rm -f interp/run_jstrace interp/src/run_jstrace.ml
 	cd interp && $(OCAMLBUILD) -quiet -clean
-	$(MAKE) -C interp/tracer/annotml clean
 
 clean: clean_interp
 	-rm -f coq/*.{vo,glob,d}

interp/_tags

@@ -1,15 +1,11 @@
 true: package(xml-light), package(yojson), use_unix, use_str
 
 # Source directories to use
-<src> or <parser/src> or <src/extract> or <tracer/annotml> or <top_level>: include
+<src> or <parser/src> or <src/extract> or <top_level>: include
 
 <**/*[bB]isect*>: package(bisect), -use_str
 
 # Only enable bisect logging for the interpreter toplevel
 "src/extract/JsInterpreterBisect.ml": syntax(camlp4o)
 
-# ppx path is relative to _build directory
-# ppx warnings can be ignored on ocaml versions <4.02
-"src/extract/JsInterpreterTrace.ml": ppx(../tracer/annotml/ppx_lines.native)
-
 "top_level/toplwt.ml": syntax(camlp4o), package(lwt.syntax), package(lwt.simple-top), package(lwt)