Commit 2506cf61 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

more programs exported to the gallery

parent 6d403891
...@@ -365,11 +365,14 @@ install_local: bin/why3ml ...@@ -365,11 +365,14 @@ install_local: bin/why3ml
mkdir -p $(GALLERYDIR)/`basename $*` mkdir -p $(GALLERYDIR)/`basename $*`
bin/why3doc -b -o $(GALLERYDIR)/`basename $*` $*.mlw bin/why3doc -b -o $(GALLERYDIR)/`basename $*` $*.mlw
GALLERYPGMS = vstte10_aqueue \ GALLERYPGMS = binary_search bresenham sf same_fringe relabel quicksort \
power mergesort_list mac_carthy isqrt insertion_sort_list \
vstte10_aqueue \
vstte10_inverting \ vstte10_inverting \
vstte10_max_sum \ vstte10_max_sum \
vstte10_queens \ vstte10_queens \
vstte10_search_list vstte10_search_list \
vacid_0_sparse_array
GALLERYFILES = $(addprefix examples/programs/, $(GALLERYPGMS)) GALLERYFILES = $(addprefix examples/programs/, $(GALLERYPGMS))
GALLERY = $(addsuffix .gallery, $(GALLERYFILES)) GALLERY = $(addsuffix .gallery, $(GALLERYFILES))
......
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