src/Tools/8bit/c-sources/a2isa/Makefile

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/8bit/c-sources/a2isa/Makefile	Tue Jun 25 17:44:43 1996 +0200
@@ -0,0 +1,29 @@
+###############################################
+# Title:      Tools/8bit/c-sources/a2isa/Makefile
+# ID:         $Id$
+# Author:     David von Oheimb
+# Copyright   1996 TU Muenchen
+#
+# Makefile for Isabelle ASCII to 8bit converter
+################################################
+
+OBJECTS = main.o lex.o
+
+CC = gcc
+
+# Application name
+APPNAME = a2isa
+
+# ----------------------------------------------------
+
+$(APPNAME):  $(OBJECTS)
+	$(CC) -o $(APPNAME) $(OBJECTS);	strip $(APPNAME)
+
+lex.o: lex.x
+	flex lex.x; $(CC) -c -o lex.o lex.yy.c
+
+# ----------------------------------------------------
+
+clean:
+	@echo "     cleaning up object and tmp files..."
+	@rm -f *.o lex.yy.c