1
#!/bin/bash
2
#
3
# $Id$
4
5
# mk - build 8bit
6
7
# Assumes to be called with current directory 'Tools/8bit'
8
9
export ISABELLE8BIT=$PWD
10
11
mkdir -p bin
12
touch Makefile
13
14
gmake