Commit 189b4988 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Improve gallery generation.

parent 68a7fb1c
......@@ -640,12 +640,12 @@ gallery-simple::
@for x in examples/*/why3session.xml ; do \
d=`dirname $$x`; \
f=`basename $$d`; \
WHY3CONFIG="" bin/why3 session html $$x; \
echo "exporting $$f"; \
mkdir -p $(GALLERYDIR)/$$f; \
cp examples/$$f.mlw examples/$$f/why3session.html $(GALLERYDIR)/$$f/; \
rm -f $(GALLERYDIR)/$$f/$$f.zip; \
WHY3CONFIG="" bin/why3session.@OCAMLBEST@ html $$x -o $(GALLERYDIR)/$$f; \
cp examples/$$f.mlw $(GALLERYDIR)/$$f/; \
cd examples/; \
rm -f $(GALLERYDIR)/$$f/$$f.zip; \
zip -q -r $(GALLERYDIR)/$$f/$$f.zip $$f.mlw $$f; \
cd ..; \
done
......@@ -660,9 +660,9 @@ gallery-subs::
echo "exporting examples/$$d"; \
mkdir -p $(GALLERYDIR)/$$d; \
cd examples/$$d; \
WHY3CONFIG="" ../../bin/why3 -L ../../theories -L ../../modules -L . doc --stdlib-url http://why3.lri.fr/stdlib/ *.mlw -o $(GALLERYDIR)/$$d; \
rm -f $(GALLERYDIR)/$$d/$$d.zip; \
WHY3CONFIG="" ../../bin/why3doc.@OCAMLBEST@ -L ../../theories -L ../../modules -L . --stdlib-url http://why3.lri.fr/stdlib/ *.mlw -o $(GALLERYDIR)/$$d; \
cd ..; \
rm -f $(GALLERYDIR)/$$d/$$d.zip; \
zip -q -r $(GALLERYDIR)/$$d/$$d.zip $$d; \
cd ..; \
done
......@@ -673,15 +673,14 @@ gallery-subs::
x=$*/why3session.xml; \
d=`dirname $$x`; \
f=`basename $$d`; \
WHY3CONFIG="" bin/why3 session html $$d; \
rm $$d/*.bak; \
echo "exporting $$f"; \
rm $$d/*.bak; \
mkdir -p $(GALLERYDIR)/$$f; \
WHY3CONFIG="" bin/why3session.@OCAMLBEST@ html $$d -o $(GALLERYDIR)/$$f; \
if test -f examples/$$f.mlw; then cp examples/$$f.mlw $(GALLERYDIR)/$$f/; fi; \
if test -f examples/$$f.why; then cp examples/$$f.why $(GALLERYDIR)/$$f/; fi; \
cp examples/$$f/why3session.html $(GALLERYDIR)/$$f/; \
rm -f $(GALLERYDIR)/$$f/$$f.zip; \
cd examples/; \
rm -f $(GALLERYDIR)/$$f/$$f.zip; \
zip -q -r $(GALLERYDIR)/$$f/$$f.zip $$f.mlw $$f
########
......@@ -1693,7 +1692,7 @@ test-runstrat.opt: lib/why3/why3.cmxa lib/why3/META
OCAMLPATH=$(PWD)/lib $(MAKE) -C examples/use_api/runstrat clean
OCAMLPATH=$(PWD)/lib $(MAKE) -C examples/use_api/runstrat opt
test-runstrat: test-runstrat.$(OCAMLBEST)
test-runstrat: test-runstrat.@OCAMLBEST@
test-ocaml-extraction: bin/why3.opt bin/why3extract.opt
@echo "driver ocaml64"
......
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