Skip to content
This repository
branch: private_yefred…
Fetching contributors…

Cannot retrieve contributors at this time

executable file 24 lines (20 sloc) 0.542 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
#!/usr/bin/env bash
# script used to generate the list of packages

exclude=$1
shift

LOOKED_PLACE=$@

if [ -s "$exclude" ]; then
    : ${PACKAGE_FILTER:=grep -E -v -f $exclude}
else
    : ${PACKAGE_FILTER:=cat}
fi

for d in $LOOKED_PLACE; do
    DIRS=$(find $d -type d | sed "s|$d\/||" | sed "s|$d||")
    for dir in $DIRS ; do
     files=$(find $d/$dir -maxdepth 1 -name '*.opa')
     if [ -n "$files" ] ; then
            this=$(echo $dir | sed 's/\//./g')
            echo "stdlib.$this"
     fi
    done
done | sort -u | $PACKAGE_FILTER
Something went wrong with that request. Please try again.