#!/bin/sh

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