Commit 5698816d authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Improve gallery generation.

parent a4ac1689
......@@ -640,13 +640,13 @@ gallery-simple::
@for x in examples/*/why3session.xml ; do \
d=`dirname $$x`; \
f=`basename $$d`; \
why3 session html $$x; \
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; \
cd examples/; \
zip -r $(GALLERYDIR)/$$f/$$f.zip $$f.mlw $$f; \
zip -q -r $(GALLERYDIR)/$$f/$$f.zip $$f.mlw $$f; \
cd ..; \
done
......@@ -658,11 +658,12 @@ gallery-subs::
@if test "$(GALLERYDIR)" = ""; then echo "set GALLERYDIR first"; exit 1; fi
@for d in $(GALLERYSUBS) ; do \
echo "exporting examples/$$d"; \
rm -f $(GALLERYDIR)/$$d/$$d.zip; \
mkdir -p $(GALLERYDIR)/$$d; \
cd examples/$$d; \
why3 -L . doc --stdlib-url http://why3.lri.fr/stdlib/ *.mlw -o $(GALLERYDIR)/$$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; \
cd ..; \
zip -r $(GALLERYDIR)/$$d/$$d.zip $$d; \
zip -q -r $(GALLERYDIR)/$$d/$$d.zip $$d; \
cd ..; \
done
......@@ -672,7 +673,7 @@ gallery-subs::
x=$*/why3session.xml; \
d=`dirname $$x`; \
f=`basename $$d`; \
why3 session html $$d; \
WHY3CONFIG="" bin/why3 session html $$d; \
rm $$d/*.bak; \
echo "exporting $$f"; \
mkdir -p $(GALLERYDIR)/$$f; \
......@@ -681,7 +682,7 @@ gallery-subs::
cp examples/$$f/why3session.html $(GALLERYDIR)/$$f/; \
rm -f $(GALLERYDIR)/$$f/$$f.zip; \
cd examples/; \
zip -r $(GALLERYDIR)/$$f/$$f.zip $$f.mlw $$f
zip -q -r $(GALLERYDIR)/$$f/$$f.zip $$f.mlw $$f
########
# XML DTD validation
......
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