Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/8bit/c-sources/a2isa/Makefile
author oheimb
Wed, 05 Nov 1997 18:31:14 +0100
changeset 4175 06774cd43054
parent 4168 d158fdc5a075
permissions -rw-r--r--
*** empty log message ***

###############################################
# Title:      Tools/8bit/c-sources/a2isa/Makefile
# ID:         $Id$
# Author:     David von Oheimb
# Copyright   1996 TU Muenchen
#
# Makefile for Isabelle ASCII to 8bit converter
################################################

AOBJECTS  = main.o  lex.o
AXOBJECTS = main.o xlex.o

CC = gcc

.SUFFIXES: $(SUFFIXES) .x

.x.o:
	flex $<; $(CC) -c -o $@ lex.yy.c

# ----------------------------------------------------

all: a2isa ax2isa

a2isa:  $(AOBJECTS)
	$(CC) -o a2isa $(AOBJECTS); strip a2isa

ax2isa: $(AXOBJECTS)
	$(CC) -o ax2isa $(AXOBJECTS); strip ax2isa

#lex.o: lex.x
#	flex lex.x; $(CC) -c -o lex.o lex.yy.c

# ----------------------------------------------------

clean:
	@rm -f *.o lex.yy.c
isabelle