Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
19c435df
Commit
19c435df
authored
Mar 17, 2016
by
Jean-Christophe Filliâtre
Committed by
Guillaume Melquiond
May 19, 2016
Browse files
ROADMAP: instructions to update the gallery
parent
6ff3f0e3
Changes
1
Hide whitespace changes
Inline
Side-by-side
ROADMAP
View file @
19c435df
...
...
@@ -336,12 +336,20 @@ DONE * sauvegarde de la configuration : à quel endroit dans l'IDE ?
Fedora package
* produce the Why3 part of Toccata gallery
(TODO: add the procedure here)
add also a tar.gz and a ZIP file of it: this is done by doing
"make gallery-files" in the sources of the Toccata web pages
* Once the OPAM package is pulled in the main OPAM repository: a
nnounce the distrib
- have GALLERYDIR set to the sub-directory gallery/ of the git sources
of the Toccata web site, e.g.
export GALLERYDIR=/users/vals/filliatr/toccata/web/gallery
- in Why3 sources, do "make gallery"; it exports to GALLERYDIR all
Why3 programs for which there is a session
- now move to the Toccata web site sources, and
- update web/gallery/examples.rc to include new examples
- "git add" the files for these new examples (those currently untracked
in git) or simply remove them if they should not go on-line
- do "make" in web/gallery/
- do "make install-gallery" in web/
* Once the OPAM package is pulled in the main OPAM repository:
announce the distrib
What to put in the announcement: see New Features above
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment