#!/bin/sh # helper script for running the ghci with the preprocessor PP=`dirname $0`/pp/logpp exec ghci -pgmF "$PP" -F $@