#!/usr/bin/env bash
MINERVA_PORTS_DIR="${MINERVA_SOURCE_DIR}/Build/${MINERVA_ARCH}/Root/usr/Ports"
for file in $(git ls-files "${MINERVA_SOURCE_DIR}/Ports"); do
if [ "$(basename "$file")" != ".hosted_defs.sh" ]; then
target=${MINERVA_PORTS_DIR}/$(realpath --relative-to="${MINERVA_SOURCE_DIR}/Ports" "$file")
mkdir -p "$(dirname "$target")" && cp "$file" "$target"
fi
done