Skip to content
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

Add more debian system package information, including packages without spkg-configure.m4 #30859

Closed
mkoeppe opened this issue Nov 3, 2020 · 12 comments

Comments

@mkoeppe
Copy link
Member

mkoeppe commented Nov 3, 2020

... including for packages that we cannot use (yet)

This is for several purposes:

(from #30371)

Depends on #29630

CC: @tobiasdiez @slel @dimpase

Component: build: configure

Author: Tobias Diez

Branch/Commit: cb0fc85

Reviewer: Matthias Koeppe

Issue created by migration from https://trac.sagemath.org/ticket/30859

@mkoeppe mkoeppe added this to the sage-9.3 milestone Nov 3, 2020
@mkoeppe
Copy link
Member Author

mkoeppe commented Nov 3, 2020

comment:1

Some unfinished spkg-configure (#27330) tickets (#29542, #29631, #29644) may have this system package info already

@mkoeppe
Copy link
Member Author

mkoeppe commented Nov 5, 2020

comment:2

Tobias, if you have a chance, could you prepare a branch for this?

@tobiasdiez
Copy link
Contributor

comment:3

Yes, but only after #30673 is merged - otherwise working on new branches is really cumbersome.

@mkoeppe
Copy link
Member Author

mkoeppe commented Nov 5, 2020

comment:4

You can just make it a dependency & merge the branch

@mkoeppe
Copy link
Member Author

mkoeppe commented Nov 13, 2020

comment:5

Replying to @tobiasdiez:

Yes, but only after #30673 is merged

this has happened

@tobiasdiez
Copy link
Contributor

Author: Tobias Diez

@tobiasdiez
Copy link
Contributor

Commit: cb0fc85

@tobiasdiez
Copy link
Contributor

comment:6

I've added the package information added in #30371. Matthias, feel free to take it over from here, if further changes are necessary.


New commits:

cb0fc85Add more debian package infos

@tobiasdiez
Copy link
Contributor

Branch: public/build/debianPackages

@mkoeppe
Copy link
Member Author

mkoeppe commented Nov 21, 2020

Reviewer: Matthias Koeppe

@tobiasdiez
Copy link
Contributor

comment:8

Thanks!

@vbraun
Copy link
Member

vbraun commented Nov 29, 2020

Changed branch from public/build/debianPackages to cb0fc85

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants