Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tag: v1817
Fetching contributors…

Cannot retrieve contributors at this time

executable file 15 lines (11 sloc) 0.329 kb
#!/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
./extract-import-plugin.sh $files
fi
done | sort -u | $PACKAGE_FILTER
Jump to Line
Something went wrong with that request. Please try again.