#!/bin/sh -e

#DEBHELPER#

TMPFILE=/usr/share/gtk-sources/gtk-sources-compiler.jl

LISPFILE=/usr/share/gtk-sources/gtk-sources.jl

LOGFILE=/usr/share/gtk-sources/compile.log.gz

REP=/usr/bin/rep

if [ "$1" = "configure" ]; then
    echo "(require 'compiler)" > $TMPFILE
    echo "(compile-file \"$LISPFILE\")" >> $TMPFILE
    $REP $TMPFILE 2>&1 | gzip -c -9 > $LOGFILE
    rm -f $TMPFILE
fi
