serenity/Ports/build_installed.sh
circl 8cdbad3c7a Ports: Use correct packages.db location in build_installed.sh
The packages.db file now resides in Serenity's root.
2022-04-26 22:45:48 +02:00

43 lines
938 B
Bash
Executable file

#!/usr/bin/env bash
. ".hosted_defs.sh"
packagesdb="${SERENITY_INSTALL_ROOT}/usr/Ports/packages.db"
clean=false
case "$1" in
clean)
clean=true
;;
*)
;;
esac
some_failed=false
while IFS= read -r line; do
port="$(echo "$line" | cut -d' ' -f2)"
if [ -d "$port" ]; then
pushd $port > /dev/null
dirname=$(basename $port)
if [ "$clean" == true ]; then
./package.sh clean_all
fi
if ./package.sh; then
echo "Built ${dirname}."
else
echo "ERROR: Build of ${dirname} was not successful!"
some_failed=true
fi
popd > /dev/null
else
echo "ERROR: Previously installed port $port doesn't exist!"
some_failed=true
fi
done < <(grep -E "^(auto|manual)" "$packagesdb")
if [ "$some_failed" == false ]; then
exit 0
else
exit 1
fi