Commit 2ce79f5a authored by MARCHE Claude's avatar MARCHE Claude

remove temporary shape files created by tutorial example

parent 441471f5
......@@ -1757,7 +1757,7 @@ test-api-mlw.opt: examples/use_api/mlw.ml lib/why3/why3.cmxa
test-session.byte: examples/use_api/create_session.ml lib/why3/why3.cma lib/why3/why3session.cma
$(if $(QUIET),@echo 'Ocaml $<' &&) \
ocaml -I lib/why3 $(INCLUDES) $(EXTCMA) lib/why3/why3.cma lib/why3/why3session.cma $< > /dev/null\
|| (rm -f why3session.xml; \
|| (rm -f why3session.xml why3shapes.dat why3shapes.gz; \
printf "Test of Why3 API calls for Session module failed. Please fix it"; exit 2)
@rm -f why3session.xml
......@@ -1765,7 +1765,7 @@ test-session.opt: examples/use_api/create_session.ml lib/why3/why3.cmxa lib/why3
$(if $(QUIET),@echo 'Ocamlopt $<' &&) \
($(OCAMLOPT) -o $@ -I lib/why3 $(INCLUDES) $(EXTCMXA) lib/why3/why3.cmxa lib/why3/why3session.cmxa $< \
&& ./test-session.opt > /dev/null) \
|| (rm -f test-session.opt why3session.xml; \
|| (rm -f test-session.opt why3session.xml why3shapes.dat why3shapes.gz; \
printf "Test of Why3 API calls for Session module failed. Please fix it"; exit 2)
@rm -f test-session.opt why3session.xml
......
......@@ -37,8 +37,6 @@ export sessions=""
export shapes=""
run_dir () {
sessions="$sessions $1/*/why3session.xml"
shapes="$shapes $1/*/why3shapes.dat"
for f in `ls $1/*/why3session.xml`; do
d=`dirname $f`
echo -n "Replaying $d ... "
......@@ -61,6 +59,8 @@ run_dir () {
fi
total=`expr $total + 1`
done
sessions="$sessions $1/*/why3session.xml"
shapes="$shapes $1/*/why3shapes.*"
}
echo "=== Standard Library ==="
......
Markdown is supported
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