#!/bin/bash
#
# $Id: mk,v 1.2 1997/11/05 18:40:50 wenzelm Exp $
#
# mk - build 8bit
#
# Assumes to be called with current directory 'Tools/8bit'

export ISABELLE8BIT=$PWD

mkdir -p bin
touch Makefile

gmake
