Commit f680c6ad authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

move replay.ml from src/ide to src/why3replayer

This fixes the bug with .dep cleaning, when we don't build the IDE.

Also, can we merge the replayer into why3session already, please?
parent 589f0297
...@@ -393,7 +393,7 @@ endif ...@@ -393,7 +393,7 @@ endif
depend: src/main.dep depend: src/main.dep
clean:: clean::
rm -f src/main.cm[iox] src/main.annot src/main.o rm -f src/main.cm[iox] src/main.annot src/main.o src/main.dep
rm -f bin/why3.byte bin/why3.opt bin/why3 rm -f bin/why3.byte bin/why3.opt bin/why3
rm -f bin/why3ml.byte bin/why3ml.opt bin/why3ml rm -f bin/why3ml.byte bin/why3ml.opt bin/why3ml
...@@ -564,14 +564,14 @@ endif ...@@ -564,14 +564,14 @@ endif
REPLAYER_FILES = replay REPLAYER_FILES = replay
REPLAYERMODULES = $(addprefix src/ide/, $(REPLAYER_FILES)) REPLAYERMODULES = $(addprefix src/why3replayer/, $(REPLAYER_FILES))
REPLAYERDEP = $(addsuffix .dep, $(REPLAYERMODULES)) REPLAYERDEP = $(addsuffix .dep, $(REPLAYERMODULES))
REPLAYERCMO = $(addsuffix .cmo, $(REPLAYERMODULES)) REPLAYERCMO = $(addsuffix .cmo, $(REPLAYERMODULES))
REPLAYERCMX = $(addsuffix .cmx, $(REPLAYERMODULES)) REPLAYERCMX = $(addsuffix .cmx, $(REPLAYERMODULES))
$(REPLAYERDEP): DEPFLAGS += -I src/ide $(REPLAYERDEP): DEPFLAGS += -I src/why3replayer
$(REPLAYERCMO) $(REPLAYERCMX): INCLUDES += -I src/ide $(REPLAYERCMO) $(REPLAYERCMX): INCLUDES += -I src/why3replayer
# build targets # build targets
...@@ -598,6 +598,8 @@ endif ...@@ -598,6 +598,8 @@ endif
depend: $(REPLAYERDEP) depend: $(REPLAYERDEP)
clean:: clean::
rm -f src/why3replayer/*.cm[iox] src/why3replayer/*.o
rm -f src/why3replayer/*.annot src/why3replayer/*.dep src/why3replayer/*~
rm -f bin/why3replayer.byte bin/why3replayer.opt bin/why3replayer rm -f bin/why3replayer.byte bin/why3replayer.opt bin/why3replayer
install_no_local:: install_no_local::
...@@ -1167,7 +1169,7 @@ test-api.byte: examples/use_api/use_api.ml lib/why3/why3.cma ...@@ -1167,7 +1169,7 @@ test-api.byte: examples/use_api/use_api.ml lib/why3/why3.cma
$(if $(QUIET),@echo 'Ocaml $<' &&) \ $(if $(QUIET),@echo 'Ocaml $<' &&) \
ocaml -I lib/why3 $(INCLUDES) $(EXTCMA) lib/why3/why3.cma $< \ ocaml -I lib/why3 $(INCLUDES) $(EXTCMA) lib/why3/why3.cma $< \
|| (rm -f test-api.byte; printf "Test of Why API calls failed. Please fix it"; exit 2) || (rm -f test-api.byte; printf "Test of Why API calls failed. Please fix it"; exit 2)
@rm -f test-api.byte; @rm -f test-api.byte;
test-api.opt: examples/use_api/use_api.ml lib/why3/why3.cmxa test-api.opt: examples/use_api/use_api.ml lib/why3/why3.cmxa
$(if $(QUIET),@echo 'Ocamlopt $<' &&) \ $(if $(QUIET),@echo 'Ocamlopt $<' &&) \
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment