/usr/share/sagemath/bin/sage-clone-source is in sagemath-common 8.1-7ubuntu1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 | #!/usr/bin/env bash
########################################################################
# Helper script for sdist
#
# Usage: sage-clone-source SRC DST
#
# Create empty directory DST (delete it if it existed) and copy all
# Sage source files from SRC to DST using git.
#
# Also extract auto-generated files from the configure tarball.
########################################################################
set -e
if [ $# -ne 2 ]; then
echo >&2 "Usage: $0 SRC DST"
exit 2
fi
SRC="$1"
DST="$2"
cd "$SRC"
# Filename of configure tarball, which is downloaded if it doesn't exist
CONFVERSION=`cat build/pkgs/configure/package-version.txt`
CONFBALL="$SRC/upstream/configure-$CONFVERSION.tar.gz"
[ -f "$CONFBALL" ] || ./bootstrap -D
rm -rf "$DST"
mkdir -p "$DST"
git clone "$SRC" "$DST"
cd "$DST"
git remote set-url origin "$SAGE_REPO_ANONYMOUS"
# Save space
git gc --aggressive --prune=now
# Extract configure tarball. Use m option such that the timestamps of
# these auto-generated files are NOW (instead of the time stored in the
# tarball). We need these files to be more recent than the input files
# like configure.ac, otherwise "make" gets confused.
tar xzmf "$CONFBALL"
echo "Finished cloning Sage sources"
|