|
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 |
|
|
4168
|
10 |
AOBJECTS = main.o lex.o
|
|
|
11 |
AXOBJECTS = main.o xlex.o
|
|
1826
|
12 |
|
|
|
13 |
CC = gcc
|
|
|
14 |
|
|
4168
|
15 |
.SUFFIXES: $(SUFFIXES) .x
|
|
|
16 |
|
|
|
17 |
.x.o:
|
|
|
18 |
flex $<; $(CC) -c -o $@ lex.yy.c
|
|
1826
|
19 |
|
|
|
20 |
# ----------------------------------------------------
|
|
|
21 |
|
|
4168
|
22 |
all: a2isa ax2isa
|
|
|
23 |
|
|
|
24 |
a2isa: $(AOBJECTS)
|
|
|
25 |
$(CC) -o a2isa $(AOBJECTS); strip a2isa
|
|
1826
|
26 |
|
|
4168
|
27 |
ax2isa: $(AXOBJECTS)
|
|
|
28 |
$(CC) -o ax2isa $(AXOBJECTS); strip ax2isa
|
|
|
29 |
|
|
|
30 |
#lex.o: lex.x
|
|
|
31 |
# flex lex.x; $(CC) -c -o lex.o lex.yy.c
|
|
1826
|
32 |
|
|
|
33 |
# ----------------------------------------------------
|
|
|
34 |
|
|
|
35 |
clean:
|
|
|
36 |
@rm -f *.o lex.yy.c
|