#! /bin/sh prefix=/usr exec_prefix=/usr includedir=/usr/include/singular usage() { cat <