src/Tools/8bit/c-sources/isa2latex/Makefile
author paulson
Tue, 16 Jul 1996 15:49:46 +0200
changeset 1868 836950047d85
parent 1826 2a2c0dbeb4ac
child 4175 06774cd43054
permissions -rw-r--r--
Put in minimal simpset to avoid excessive simplification, just as in revision 1.9 of HOL/indrule.ML
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
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    34
	flex -8 -t conv-lex.x | cat >tmp.c ; $(CC) -c -o conv-lex.o tmp.c
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    35
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    36
#conv-lex.x:  ../../config/conv-tables.inp
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    37
#	touch conv-lex.x
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    38
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    39
conv-translate.o: conv-translate.c conv-defs.h
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    40
	$(CC) -c conv-translate.c
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    41
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    42
# ----------------------------------------------------
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    43
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    44
clean:
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    45
	@echo "     cleaning up object and tmp files..."
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    46
	@rm -f *.o tmp.c tmp.txt