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.

Sign up for GitHub

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

Jump to bottom

Add DESTDIR support for palp #25144

Closed
embray opened this issue Apr 11, 2018 · 10 comments
Closed

Add DESTDIR support for palp #25144

embray opened this issue Apr 11, 2018 · 10 comments
Labels
c: build p: major / 3 t: enhancement
Milestone
sage-8.4

Comments

@embray
Copy link
Contributor

embray commented Apr 11, 2018

Depends on #23733

Component: build

Keywords: destdir palp

Author: Erik Bray

Branch/Commit: eb3d492

Reviewer: Jeroen Demeyer

Issue created by migration from https://trac.sagemath.org/ticket/25144
@embray embray added this to the sage-8.2 milestone Apr 11, 2018
@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Apr 11, 2018

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

08c93e2Add DESTDIR support for palp

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Apr 11, 2018

Changed commit from f639912 to 08c93e2

@embray embray modified the milestones: sage-8.2, sage-8.3 Apr 26, 2018
@saraedum
Copy link
Member

Work Issues: merge conflicts

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Jul 17, 2018

Changed commit from 08c93e2 to eb3d492

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Jul 17, 2018

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

eb3d492Add DESTDIR support for palp

@embray
Copy link
Contributor Author

embray commented Jul 17, 2018

comment:6

Good to go.

@embray
Copy link
Contributor Author

embray commented Jul 17, 2018

Changed work issues from merge conflicts to none

@embray
Copy link
Contributor Author

embray commented Jul 18, 2018

comment:7

I believe this issue can reasonably be addressed for Sage 8.4.

@embray embray modified the milestones: sage-8.3, sage-8.4 Jul 18, 2018
@jdemeyer
Copy link

jdemeyer commented Aug 7, 2018

Reviewer: Jeroen Demeyer

@vbraun
Copy link
Member

vbraun commented Aug 9, 2018

Changed branch from u/embray/build/destdir-palp to eb3d492

@vbraun vbraun closed this as completed in 0f3a843 Aug 9, 2018
@embray embray mentioned this issue Jan 29, 2023
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: build p: major / 3 t: enhancement
Projects
None yet
Milestone
sage-8.4
Development

No branches or pull requests
4 participants
@saraedum @embray @vbraun @jdemeyer