cppad/get_tarball.sh
2024-02-17 04:51:11 -07:00

16 lines
412 B
Bash
Executable file

# /usr/bin/env bash
set -e -u
#
version=$(sed -n cppad.spec -e '/^Version:/p' | sed -e 's|^Version: *||')
url=$(sed -n cppad.spec -e '/^URL:/p' | sed -e 's|^URL: *||')
local_tarball="CppAD-${version}.tar.gz"
remote_tarball="$url/archive/$version/$local_tarball"
if [ -e "$local_tarball" ]
then
echo "get_tarball.sh: $local_tarball already exists"
exit 1
fi
wget $tarball
#
echo 'get_tarball.sh: OK'
exit 0