% Makefile for Modula-3 program 'GetraenkeAutomat'

import("libm3")
import("libinf1")

module("Assertion")

module("Automat")

implementation("GetraenkeAutomat")
program("GetraenkeAutomat")