#!/bin/sh

make -f Makefile.dist && ./configure.gnu