Opened 17 years ago
Last modified 11 years ago
#132 new task
Packaging for 1.0.6/3.4 releases
| Reported by: | David Aspinall | Owned by: | Graham Dutton |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description (last modified by )
We need to test and refine the product build process for 1.0.6 and later.
We have two packages: a minimal and a maximal. More plugins can be added to either, but the maximal will already contain all the Proof General plugins.
We may also experiment with plugins containing prover binaries (although these may not be available for the snapshot of Isabelle, for example).
See update site project for details.
Change History (6)
comment:1 Changed 17 years ago by
| Description: | modified (diff) |
|---|---|
| Owner: | changed from David Aspinall to Graham Dutton |
| Priority: | major → minor |
comment:2 Changed 17 years ago by
| Priority: | minor → major |
|---|
comment:3 Changed 17 years ago by
comment:4 Changed 16 years ago by
| Summary: | Packaging for 1.0.6/3.3 releases → Packaging for 1.0.6/3.4 releases |
|---|
The product scheme has been simplified now: we will just build a basic product including Isabelle support, but try to enable it for updates from our update site. Unfortunately getting updates working with the new p2 infrastructure seems quite challenging. Some pointers: http://toedter.com/blog/?p=27 and http://aniefer.blogspot.com/2008/06/example-headless-build-for-rcp-product.html
comment:5 Changed 16 years ago by
| Description: | modified (diff) |
|---|
Update: I had some partial success with headless builds to run the director, see scripts in repository under eclipse/exper/ed.inf.proofgeneral.pg-eclipse-builder. However, there is an error in the final stages.
I think the p2 infrastructure is too tricky to get working for the time being without the PDE UI support, so we should distribute a product which is not enabled for updates for Eclipse 3.4. Hopefully things will be improved for Eclipse 3.5. I believe our update site will still work for standard Eclipse products.
Graham: can you check that you can perform a (single platform) product build according to the updated instructions?
Currently waiting for 139?.