Commit 96aa53b8 authored by Raphael Rieu-Helft's avatar Raphael Rieu-Helft

Add multiprecision to gallery

parent f705c67a
...@@ -700,7 +700,7 @@ gallery-simple:: ...@@ -700,7 +700,7 @@ gallery-simple::
.PHONY: gallery-subs .PHONY: gallery-subs
GALLERYSUBS=WP_revisited verifythis_2016_matrix_multiplication avl double_wp prover GALLERYSUBS=WP_revisited verifythis_2016_matrix_multiplication avl double_wp prover multiprecision
gallery-subs:: gallery-subs::
@if test "$(GALLERYDIR)" = ""; then echo "set GALLERYDIR first"; exit 1; fi @if test "$(GALLERYDIR)" = ""; then echo "set GALLERYDIR first"; exit 1; fi
...@@ -711,7 +711,7 @@ gallery-subs:: ...@@ -711,7 +711,7 @@ gallery-subs::
WHY3CONFIG="" ../../bin/why3doc.@OCAMLBEST@ -L ../../stdlib -L . --stdlib-url http://why3.lri.fr/stdlib/ *.mlw -o $(GALLERYDIR)/$$d; \ WHY3CONFIG="" ../../bin/why3doc.@OCAMLBEST@ -L ../../stdlib -L . --stdlib-url http://why3.lri.fr/stdlib/ *.mlw -o $(GALLERYDIR)/$$d; \
cd ..; \ cd ..; \
rm -f $(GALLERYDIR)/$$d/$$d.zip; \ rm -f $(GALLERYDIR)/$$d/$$d.zip; \
zip -q -r $(GALLERYDIR)/$$d/$$d.zip $$d; \ git archive --format=zip -o $(GALLERYDIR)/$$d/$$d.zip HEAD $$d; \
cd ..; \ cd ..; \
done done
......
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