Newer
Older
minerva / Meta / install-ports-tree.sh
@minerva minerva on 13 Jul 399 bytes Initial commit
#!/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