#!/bin/sh

DATABASE_DIR=/var/lib/hoogle/databases
HOOGLE=/usr/bin/hoogle

# cleanup
rm -rf $DATABASE_DIR/*

# convert
echo -n "Converting databases..."
TXTFILES_SYM=`find /usr/lib/ghc-doc/hoogle/ -name "*.txt"`
LOCALS=""
for i in $TXTFILES_SYM; do
    TXTFILE=$(readlink -f $i)
    if [ -r "$TXTFILE" ]; then
        LOCALS="$LOCALS --local=$(dirname $TXTFILE)"
    fi
done

$HOOGLE generate --database=$DATABASE_DIR/default.hoo $LOCALS > /dev/null 2>&1
echo " done"