Package multiple PB versions
This is what we're using to build right now. See ism#68 (closed)
I will add automation and move away from modified upstream branches later.
Merge request reports
Activity
requested review from @cobalt.rocks
added 2 commits
added 18 commits
-
f5977113...9f1b9e69 - 3 commits from branch
main
- 9f1b9e69...7d88781b - 5 earlier commits
- ee73763e - chore: bump to newest pb
- 6c819327 - fix: backend building, frontend has isar-parser issues
- 83aeafa9 - chore: bump pb
- 59ad37cf - chore: bump pb
- 35c608e7 - chore: package multiple pb versions
- 3a1547b5 - chore: add darius branch
- 739eb6e5 - chore: bump darius to current
- 0aafdcdb - docs: add instructions for updates to repo
- eb34f91d - chore: bump main
- 8dee9a3c - chore: fix flake.lock
Toggle commit list-
f5977113...9f1b9e69 - 3 commits from branch
added 2 commits
@blohmar is this done? I would prefer to merge it into
main
given we already using it inprod
Is this MR done? We are using it in production so merging it into
main
would be appropiate.It would also be appreciated if you could write documentation for this. Given that @debaser36 also wants to use some of it and may not be as familiar with the code base.
Edited by Joshua Balthasar KobschätzkiI think this can be merged now. I have decided on the following structure:
-
proveit<Version>
: "empty" packages which act as attr setsproveit<Version>.backend
proveit<Version>.frontend
The parent package as well as the backend and frontend separately can have their parameters overridden. See the readme for more details on the structure and how to update pb.
I have just added a script to the ci that builds all proofbuddy packages from main.
-
mentioned in commit 519e4b8a
mentioned in issue ism#68 (closed)