src/Tools/8bit/c-sources/isa2latex/Makefile
author wenzelm
Mon, 29 Nov 1999 15:52:49 +0100
changeset 8039 a901bafe4578
parent 4461 a98605717d83
permissions -rw-r--r--
Goal: tuned pris;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1826
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     1
###############################################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     2
# Title:      Tools/8bit/c-sources/isa2latex/Makefile
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     3
# ID:         $Id$
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     4
# Author:     David von Oheimb
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     5
# Copyright   1996 TU Muenchen
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     6
#
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     7
# Makefile for Isabelle converter
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     8
# 30.3.92 by David von Oheimb
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     9
# adjusted for isabelle converter: 22.2.95 by Franz Regensburger
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    10
###############################################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    11
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    12
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    13
# Object files:
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    14
OBJECTS = conv-main.o conv-lex.o conv-translate.o
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    15
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    16
# Source files:
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    17
SOURCES = conv-main.c conv-lex.x conv-translate.c
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    18
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    19
# Compiler:
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    20
CC = gcc
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    21
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    22
# Application name
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    23
APPNAME=isa2latex
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    24
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    25
# ----------------------------------------------------
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    26
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    27
$(APPNAME):   $(OBJECTS)
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    28
	$(CC) -o $(APPNAME) $(OBJECTS); strip $(APPNAME)
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    29
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    30
conv-main.o: conv-main.c conv-defs.h conv-tables.h
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    31
	$(CC) -c conv-main.c
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    32
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    33
conv-lex.o: conv-lex.x conv-defs.h conv-tables.h
4461
a98605717d83 corrected removal to /tmp/tmp.c
oheimb
parents: 4175
diff changeset
    34
	flex -8 -t conv-lex.x >/tmp/tmp.c ; 
a98605717d83 corrected removal to /tmp/tmp.c
oheimb
parents: 4175
diff changeset
    35
	$(CC) -c -o conv-lex.o /tmp/tmp.c ;
a98605717d83 corrected removal to /tmp/tmp.c
oheimb
parents: 4175
diff changeset
    36
	rm -f /tmp/tmp.c
1826
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    37
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    38
#conv-lex.x:  ../../config/conv-tables.inp
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    39
#	touch conv-lex.x
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    40
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    41
conv-translate.o: conv-translate.c conv-defs.h
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    42
	$(CC) -c conv-translate.c
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    43
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    44
# ----------------------------------------------------
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    45
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    46
clean:
4461
a98605717d83 corrected removal to /tmp/tmp.c
oheimb
parents: 4175
diff changeset
    47
	@echo "     cleaning up object and tmp files..."
a98605717d83 corrected removal to /tmp/tmp.c
oheimb
parents: 4175
diff changeset
    48
	@rm -f *.o