2015-04-27 16:55:19 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
#
|
|
|
|
|
# Installs docopt
|
|
|
|
|
# lundi 27 avril 2015, 16:51:34 (UTC+0200)
|
|
|
|
|
|
|
|
|
|
DOCOPT="docopt.py"
|
|
|
|
|
DOCOPT_URL="https://raw.githubusercontent.com/docopt/docopt/master/${DOCOPT}"
|
|
|
|
|
|
|
|
|
|
if [[ -z ${QPACKAGE_ROOT} ]]
|
|
|
|
|
then
|
2015-04-27 17:10:25 +02:00
|
|
|
echo "The QPACKAGE_ROOT environment variable is not set."
|
|
|
|
|
echo "Please reload the quantum_package.rc file."
|
2015-04-27 16:55:19 +02:00
|
|
|
exit -1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
cd ${QPACKAGE_ROOT}
|
|
|
|
|
|
|
|
|
|
rm -f -- scripts/${DOCOPT}{,c}
|
|
|
|
|
${QPACKAGE_ROOT}/scripts/fetch_from_web.py ${DOCOPT_URL} ${DOCOPT}
|
|
|
|
|
|
|
|
|
|
mv ${DOCOPT} scripts/${DOCOPT}
|
