#!/bin/bash

CONFIGURE_OPTS="\
    --without-debug \
    --without-shared \
    ${CONFIGURE_OPTS}"

hvbuid()
{
    # Only one binary is needed for the Cross-Tools.
    ${HVMAKE} -C include
    ${HVMAKE} -C progs tic

    # Install tic
    install -m755 progs/tic /cross-tools/bin
}