gistfile1.diff

diff --git a/src/core/trunk/Makefile b/src/core/trunk/Makefile
index 53711c1..7df59f2 100644
--- a/src/core/trunk/Makefile
+++ b/src/core/trunk/Makefile
@@ -97,6 +97,7 @@ FAST_VO=$(FAST_SRC:.v=.vo)
 
 .PHONY: all report depend clean
 .SUFFIXES: .v .vo
+.SECONDARY:
 
 #######################################################
 # MAIN TARGETS
@@ -166,7 +167,7 @@ nofast: $(FAST_VO:.vo=_full.vo)
 	echo $*
 	cp $*.v $*_full.v
 	$(COQC) -dont-load-proofs -I coq -I $(TLC) $*_full.v
-	rm $*_full.v
+	#rm $*_full.v
 
 
 
@@ -244,8 +245,8 @@ interp/src/parser_main.cmi: interp/src/parser_main.mli
 	$(OCAMLOPT) $(PARSER_INC) -c -o $@ $<
 
 interp/src/extract/JsInterpreterBisect.cmx:
-	ocamlfind ocamlopt -package bisect -syntax camlp4o -c -w -20 -I interp/src -I interp/src/extract interp/src/extract/JsInterpreterBisect.mli
-	ocamlfind ocamlopt -package bisect -syntax camlp4o -c -w -20 -I interp/src -I interp/src/extract interp/src/extract/JsInterpreterBisect.ml
+	ocamlfind ocamlopt -package bisect -ppopt "-exclude impossible_because" -syntax camlp4o -c -w -20 -I interp/src -I interp/src/extract interp/src/extract/JsInterpreterBisect.mli
+	ocamlfind ocamlopt -package bisect -ppopt "-exclude impossible_because" -syntax camlp4o -c -w -20 -I interp/src -I interp/src/extract interp/src/extract/JsInterpreterBisect.ml
 
 interp/src/extract/%.cmi: interp/src/extract/%.mli
 	$(OCAMLOPT) -c -I interp/src -I interp/src/extract -o $@ $<
@@ -288,7 +289,7 @@ mlfileswithoutbisect=${shell echo ${mlfilestransformed} | perl -pe 's|interp/src
 
 interp/run_js: interp/src/run_jsbisect.ml ${mlfilessortedwithparsermoved:.ml=.cmx}
 	$(OCAMLOPT) $(PARSER_INC) -o interp/run_js xml-light.cmxa unix.cmxa str.cmxa $(mlfileswithoutbisect)
-	ocamlfind $(OCAMLOPT) -package bisect $(PARSER_INC) -o interp/run_jsbisect xml-light.cmxa unix.cmxa str.cmxa bisect.cmxa $(mlfileswithbisect)
+	ocamlfind $(OCAMLOPT) -package bisect -ppopt "-exclude impossible_because" $(PARSER_INC) -o interp/run_jsbisect xml-light.cmxa unix.cmxa str.cmxa bisect.cmxa $(mlfileswithbisect)
 
 
 #######################################################