Commit 3c5e3f12 authored by MARCHE Claude's avatar MARCHE Claude

operations post-release

parent d11d2b5c
......@@ -235,6 +235,7 @@ See CHANGES
- update the main HTML page (sources are in repository why3-www)
edit index.html
make (to check validity)
make export
- add links to extra resources like
......@@ -252,7 +253,7 @@ See CHANGES
. update opam/opam with correct dependencies and such
* make a last commit:
- git commit -m "release 0.84"
- git commit -am "release 0.84"
- add tag 0.84 to the git repository, using
git tag 0.84
- do not forget to push it using
......@@ -272,29 +273,32 @@ See CHANGES
- first step: have a local copy of opam-repository if not done yet, e.g.:
git clone git@github.com:claudemarche/opam-repository.git
cd opam-repository/
git remote add opam https://github.com/ocaml/opam-repository.git
git clone git@github.com:claudemarche/opam-repository.git
cd opam-repository/
git remote add opam https://github.com/ocaml/opam-repository.git
or, if you already have one, make sure it is up-to-date:
git pull --ff-only opam master
git pull --ff-only opam master
- second step: copy why3 opam files into it :
cd packages/why3
cp -r <source why3>/opam why3.0.84
- second step:
opam repository add local ~/recherche/opam-repository
opam repository add local <...>/opam-repository
opam install why3
(* test it, e.g.
cp example/quicksort.mlw ~/tmp
why3ide ~/tmp/quicksort.mlw *)
why3 ide ~/tmp/quicksort.mlw *)
opam remove why3
opam repository remove local
* make a pull request on OPAM
cd packages/why3
cp -r <source why3>/opam why3.0.84
git add why3.0.84
commit et push
sur github: creer un pull request
......
# Why version
VERSION=0.84
VERSION=0.84+git
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