several spkg's don't install if the .hg repos have been deleted

[williamstein]

For security and size purposes, some people delete all the .hg repos from
Sage. This breaks installing precisely four of them: extcode, sage, sage_root, sage_scripts. This ticket fixes all these.

Component: distribution

Keywords: sd40.5

Author: William Stein, Keshav Kini

Reviewer: Marc Mezzarobba

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

[williamstein]

Attachment: trac_12938-sage.patch.gz

apply to the Sage library (in SAGE_ROOT/devel/sage/)

[kini]

apply to $SAGE_ROOT/data/extcode

[kini]

Attachment: trac_12938-extcode.patch.gz

apply to $SAGE_LOCAL/bin

[kini]

Attachment: trac_12938-scripts.patch.gz

Attachment: trac_12938-root.patch.gz

apply to $SAGE_ROOT

[kini]

comment:1

I guess this should fix everything...

[kini]

Changed keywords from none to sd40.5

[kini]

Changed author from William Stein to William Stein, Keshav Kini

[williamstein]

Reviewer: William Stein

[williamstein]

comment:3

I'm testing this on sage.math by build/testing from scratch with the four .hg repos mentioned above deleted.

[williamstein]

comment:4

The sage_scripts part fails:

gcc version 4.6.3 (GCC) 
****************************************************
./spkg-install: line 24: /scratch/wstein/ref/sage-5.0/local/bin//.hg/hgrc: No such file or directory

That this won't work is obvious if you look at spkg-install.

[kini]

comment:6

I don't really understand what you did. To make this work you will need to do sage -sdist first, then build from that. At what point are the .hg repos deleted?

[williamstein]

comment:7

Replying to @kini:

I don't really understand what you did.

1. Extra sage-5.0.tar
2. tar xf something.spkg
3. Apply your patch(es)
4. Delete .hg directory
5. sage -pkg something
6. make

[kini]

comment:8

OK, so please instead try this:

1. Have a Sage installation
2. Apply my patches (and your patch) to the repos in the installation of Sage
3. Run sage --sdist
4. Unpack the resulting sage-whatever.tar
5. Go to spkg/standard
6. tar xf the four SPKGs
7. Delete .hg directory
8. sage -pkg the four SPKGs
9. make in the root of the extracted Sage source distro

[kini]

comment:9

Yeah, this needs more work. There is a ton of usage of hg throughout the scripts. Big mess.

[ohanar]

comment:10

the extcode spkg should be fixed in #13123.

[fchapoton]

comment:13

This seems to be a mercurially dead ticket, now that we have switched to git.

[mezzarobba]

Changed reviewer from William Stein to Marc Mezzarobba