-
Notifications
You must be signed in to change notification settings - Fork 23
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
debian/ci: merge packages into single binary package #193
Conversation
One thing I did think of as perhaps interesting is to make the RPM package also use the new build script |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good.
The circleci changes are big and I am not familiar with the original to begin with, so I will just trust you on that.
@Hyxogen yes please take a look at that. It would be a win to reduce to just one build script |
Shall I then also try to merge the RPM packages into one for consistency or leave that like it is now? |
What you find easier. You might have to figure out how to use multiple sources like in debian |
4ad0cb7
to
6d87177
Compare
Requires the cheerp-internal PR to be merged first |
ea789ee
to
d450272
Compare
d450272
to
bded38e
Compare
Putting this out for review. Please note that the debian package name is currently a placeholder, and that I've also enabled all jobs for this branch which I'll disable once I have a full run that works.