src/Tools/8bit/c-sources/isa2latex/Makefile
changeset 1826 2a2c0dbeb4ac
child 4175 06774cd43054
equal deleted inserted replaced
1825:88d4c33d7947 1826:2a2c0dbeb4ac
       
     1 ###############################################
       
     2 # Title:      Tools/8bit/c-sources/isa2latex/Makefile
       
     3 # ID:         $Id$
       
     4 # Author:     David von Oheimb
       
     5 # Copyright   1996 TU Muenchen
       
     6 #
       
     7 # Makefile for Isabelle converter
       
     8 # 30.3.92 by David von Oheimb
       
     9 # adjusted for isabelle converter: 22.2.95 by Franz Regensburger
       
    10 ###############################################
       
    11 
       
    12 
       
    13 # Object files:
       
    14 OBJECTS = conv-main.o conv-lex.o conv-translate.o
       
    15 
       
    16 # Source files:
       
    17 SOURCES = conv-main.c conv-lex.x conv-translate.c
       
    18 
       
    19 # Compiler:
       
    20 CC = gcc
       
    21 
       
    22 # Application name
       
    23 APPNAME=isa2latex
       
    24 
       
    25 # ----------------------------------------------------
       
    26 
       
    27 $(APPNAME):   $(OBJECTS)
       
    28 	$(CC) -o $(APPNAME) $(OBJECTS); strip $(APPNAME)
       
    29 
       
    30 conv-main.o: conv-main.c conv-defs.h conv-tables.h
       
    31 	$(CC) -c conv-main.c
       
    32 
       
    33 conv-lex.o: conv-lex.x conv-defs.h conv-tables.h
       
    34 	flex -8 -t conv-lex.x | cat >tmp.c ; $(CC) -c -o conv-lex.o tmp.c
       
    35 
       
    36 #conv-lex.x:  ../../config/conv-tables.inp
       
    37 #	touch conv-lex.x
       
    38 
       
    39 conv-translate.o: conv-translate.c conv-defs.h
       
    40 	$(CC) -c conv-translate.c
       
    41 
       
    42 # ----------------------------------------------------
       
    43 
       
    44 clean:
       
    45 	@echo "     cleaning up object and tmp files..."
       
    46 	@rm -f *.o tmp.c tmp.txt