Skip to content

Instantly share code, notes, and snippets.

@IgnoredAmbience
Created January 9, 2014 18:00
Show Gist options
  • Save IgnoredAmbience/8338840 to your computer and use it in GitHub Desktop.
Save IgnoredAmbience/8338840 to your computer and use it in GitHub Desktop.
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)
#######################################################
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment