1826
|
1 |
###############################################
|
|
2 |
# Title: Tools/8bit/c-sources/a2isa/Makefile
|
|
3 |
# ID: $Id$
|
|
4 |
# Author: David von Oheimb
|
|
5 |
# Copyright 1996 TU Muenchen
|
|
6 |
#
|
|
7 |
# Makefile for Isabelle ASCII to 8bit converter
|
|
8 |
################################################
|
|
9 |
|
|
10 |
OBJECTS = main.o lex.o
|
|
11 |
|
|
12 |
CC = gcc
|
|
13 |
|
|
14 |
# Application name
|
|
15 |
APPNAME = a2isa
|
|
16 |
|
|
17 |
# ----------------------------------------------------
|
|
18 |
|
|
19 |
$(APPNAME): $(OBJECTS)
|
|
20 |
$(CC) -o $(APPNAME) $(OBJECTS); strip $(APPNAME)
|
|
21 |
|
|
22 |
lex.o: lex.x
|
|
23 |
flex lex.x; $(CC) -c -o lex.o lex.yy.c
|
|
24 |
|
|
25 |
# ----------------------------------------------------
|
|
26 |
|
|
27 |
clean:
|
|
28 |
@echo " cleaning up object and tmp files..."
|
|
29 |
@rm -f *.o lex.yy.c
|