#!/bin/bash

hvconfig_post()
{
    # When PPL is cross-compiled, it does not check whether GMP was compiled
    # with support for exceptions, and simply assumes it was not. This
    # assumption is incorrect, so we will fix that:
    echo '#define PPL_GMP_SUPPORTS_EXCEPTIONS 1' >> confdefs.h
}