Skip to content
This repository
tag: v955
Fetching contributors…

Cannot retrieve contributors at this time

executable file 15 lines (12 sloc) 0.358 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
#!/usr/bin/env bash
# script used to generate the list of packages

DIRS=$(find . -type d | sed "s/.\///")

: ${PACKAGE_FILTER:=cat}

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