px4-firmware/misc/uClibc++/uninstall.sh

95 lines
2.1 KiB
Bash
Executable File

#!/bin/bash
usage="USAGE: $0 <full path to the NuttX directory>"
special="include/features.h"
# Get the single, required command line argument
nuttx_path=$1
if [ -z "${nuttx_path}" ]; then
echo "ERROR: Missing path to the NuttX directory"
echo $usage
exit 1
fi
# Lots of sanity checking so that we do not do anything too stupid
if [ ! -d libxx ]; then
echo "ERROR: Directory libxx does not exist in this directory"
echo " Please CD into the misc/uClibc++ directory and try again"
echo $usage
exit 1
fi
if [ ! -d include ]; then
echo "ERROR: Directory include does not exist in this directory"
echo " Please CD into the misc/uClibc++ directory and try again"
echo $usage
exit 1
fi
if [ ! -d "${nuttx_path}" ]; then
echo "ERROR: Directory ${nuttx_path} does not exist"
echo $usage
exit 1
fi
if [ ! -f "${nuttx_path}/Makefile" ]; then
echo "ERROR: No Makefile in directory ${nuttx_path}"
echo $usage
exit 1
fi
libxx_srcdir=${nuttx_path}/libxx
if [ ! -d "${libxx_srcdir}" ]; then
echo "ERROR: Directory ${libxx_srcdir} does not exist"
echo $usage
exit 1
fi
if [ ! -f "${libxx_srcdir}/Makefile" ]; then
echo "ERROR: No Makefile in directory ${libxx_srcdir}"
echo $usage
exit 1
fi
uclibc_srcdir=${libxx_srcdir}/uClibc++
if [ ! -d "${uclibc_srcdir}" ]; then
echo "ERROR: Directory ${uclibc_srcdir} already exists"
echo " uClibc++ is not installed"
exit 0
fi
nuttx_incdir=${nuttx_path}/include
if [ ! -d "${nuttx_incdir}" ]; then
echo "ERROR: Directory ${nuttx_incdir} does not exist"
echo $usage
exit 1
fi
uclibc_incdir=${nuttx_incdir}/uClibc++
if [ ! -d "${uclibc_incdir}" ]; then
echo "ERROR: Directory ${uclibc_incdir} does not exist"
echo " uClibc++ is only partially installed"
fi
echo "Removing uClibc++ in the NuttX source tree"
rm -rf ${uclibc_incdir} || \
{ echo "ERROR: 'rm -rf ${uclibc_incdir}' failed"; exit 1; }
rm -rf ${uclibc_srcdir} || \
{ echo "ERROR: 'rm -rf ${libxx_srcdir}' failed"; exit 1; }
for file in $special; do
rm -f ${nuttx_path}/${special} || \
{ echo "ERROR: ' rm -f ${nuttx_path}/${special}' failed"; exit 1; }
done
echo "Successfully uninstalled"
echo ""