Commit d57512a2 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Update opam packages.

parent 8f84e5d3
......@@ -270,52 +270,27 @@ DONE * sauvegarde de la configuration : à quel endroit dans l'IDE ?
* prepare the OPAM package
- update opam/url: url and checksum of why-0.86.tar.gz
- update opam/why3-base/url: url and checksum of why-0.86.tar.gz
(use "md5sum distrib/why3-0.86.tar.gz")
- update opam/descr if necessary
- update opam/opam with correct dependencies and such
* test the OPAM package
. with opam 1.2:
opam pin add why3 --kind=git <...>/why3/.git
- update opam/why3-base/descr and opam/why3/descr if necessary
- update opam/why3-base/opam with correct dependencies
- update opam/why3/opam with the dependency on why3-base
- test with "opam pin add why3 --kind=git .../why3/.git"
(it runs "opam install why3")
. with opam < 1.2:
- first step: have a local copy of opam-repository if not done yet, e.g.:
git clone
* upload the OPAM package
- clone
git clone
cd opam-repository/
git remote add opam
or, if you already have one, make sure it is up-to-date:
- reinitialize the repository if not fresh:
git fetch opam
git reset --hard opam/master
git push
- second step: copy why3 opam files into it :
cd packages/why3
cp -r <source why3>/opam why3.0.86
- second step:
opam repository add local <...>/opam-repository
opam install why3
(* test it, e.g.
cp example/quicksort.mlw ~/tmp
why3 ide ~/tmp/quicksort.mlw *)
opam remove why3
opam repository remove local
* make a pull request on OPAM
git add why3.0.86
git commit -am "new package version why3 0.86"
git push
sur github: creer un pull request
- cd packages/why3-base; cp -r .../opam/why3-base why3-base.0.86
- cd packages/why3; cp -r .../opam/why3 why3.0.86
- commit and push
- make a pull request on github
* inform Jerry James <> so that he can produce the
Fedora package
archive: ""
checksum: "43ab4c224b025c2e3dd5526fa6bef181"
archive: ""
checksum: "ef0f4c133fc0da25a6b90adefddefa9a"
......@@ -19,7 +19,7 @@ tags: [
available: [ ocaml-version >= "4.01.0" ]
depends: [
"why3-base" { = "0.86" }
"why3-base" { = "0.86.2" }
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