# *************************************************************
#	stdlib	- standard library(s)
# *************************************************************
#***********************************
# (C) Copyright 1992; dit/upm
#  Distributed under the conditions stated in the
#  TOPO General Public License (see file LICENSE)
#***********************************
# $Id: makefile,v 1.26 1994/12/19 17:00:35 lotos Exp $

TOOL=	stdlib

TRGT=	minimal bool_nat ditupm \
	is is-neq mod-is mod-is-neq
TRGTL=	minimal.lot bool_nat.lot ditupm.lot \
	is.lot is-neq.lot mod-is.lot mod-is-neq.lot
TRGTS=	minimal.ls bool_nat.ls ditupm.ls \
	is.ls is-neq.ls mod-is.ls mod-is-neq.ls
TRGTI=	minimal.ins bool_nat.ins ditupm.ins \
	is.ins is-neq.ins mod-is.ins mod-is-neq.ins

all:	$(TRGTS)

is-neq.lot:	is.lot
	awk -f rmeq.awk $? > $@

mod-is-neq.lot:	mod-is.lot
	awk -f rmeq.awk $? > $@

install::	$(TRGTI)

install::	rmeq.awk
	cp rmeq.awk $(TOPOLIB)
	chmod a+r $(TOPOLIB)/rmeq.awk

install::
	touch install

clean::
	-rm -f *~ core
	-rm -f bool_nat.ls bool_nat.as
	-rm -f ditupm.ls ditupm.as
	-rm -f is-neq.lot
	-rm -f is-neq.ls is-neq.as
	-rm -f is.ls is.as
	-rm -f minimal.ls minimal.as
	-rm -f mod-is-neq.lot
	-rm -f mod-is-neq.ls mod-is-neq.as
	-rm -f mod-is.ls mod-is.as

.SUFFIXES:	.lot .ls .ins

.lot.ls:
	$(TOPOBIN)/lfe $*.lot > $*.lfe
	$(TOPOBIN)/lsa -p $* $*.lfe
	rm $*.lfe

.ls.ins:
	cp $*.lot $(TOPOSTDLIB)
	chmod a+r $(TOPOSTDLIB)/$*.lot
	cp $*.ls $(TOPOSTDLIB)
	chmod a+r $(TOPOSTDLIB)/$*.ls
	touch $*.ins
	cp $*.as $(TOPOSTDLIB)
	chmod a+r $(TOPOSTDLIB)/$*.as
	touch $*.ins

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