# bdd - bdd package
#----------------------------------------------------------------------

CAD	= /octtools/vax
MIS	= /net/beeblebrox/misII/vax/src

LINTCREATEFLAG = -C
P	= bdd
PSRC    = bdd_back.c bdd_cache.c bdd_co.c bdd_create.c bdd_init.c       \
	  bdd_ite.c bdd_order.c bdd_ref.c bdd_table.c bdd_util.c        \
	  bdd_verify.c com_bdd.c 
POBJ    = bdd_back.o bdd_cache.o bdd_co.o bdd_create.o bdd_init.o       \
	  bdd_ite.o bdd_order.o bdd_ref.o bdd_table.o bdd_util.o        \
          bdd_verify.o com_bdd.o 
PHDR    = bdd.h bdd_int.h
MISC    = $(P).doc Makefile
HOST	= beeblebrox
DIST	= /net/beeblebrox/misII/vax/src

TARGET	= misII
TARGETPG= misII-pg

LIBS	= $(CAD)/lib/liboh.a \
	  $(CAD)/lib/liboct.a \
	  $(CAD)/lib/libst.a \
	  $(CAD)/lib/libtr.a \
	  $(CAD)/lib/liberrtrap.a \
	  $(CAD)/lib/libuprintf.a \
	  $(CAD)/lib/libutility.a \
	  $(CAD)/lib/libmm.a \
	  $(CAD)/lib/libport.a

LIBSG	= $(CAD)/lib/liboh-g.a \
	  $(CAD)/lib/liboct-g.a \
	  $(CAD)/lib/libst-g.a \
	  $(CAD)/lib/libtr-g.a \
	  $(CAD)/lib/liberrtrap-g.a \
	  $(CAD)/lib/libuprintf-g.a \
	  $(CAD)/lib/libutility-g.a \
	  $(CAD)/lib/libmm-g.a \
	  $(CAD)/lib/libport-g.a

LIBSPG	= $(CAD)/lib/liboh-pg.a \
	  $(CAD)/lib/liboct-pg.a \
	  $(CAD)/lib/libst-pg.a \
	  $(CAD)/lib/libtr-pg.a \
	  $(CAD)/lib/liberrtrap-pg.a \
	  $(CAD)/lib/libuprintf-pg.a \
	  $(CAD)/lib/libutility-pg.a \
	  $(CAD)/lib/libmm-pg.a \
	  $(CAD)/lib/libport-pg.a

LINTLIBS= $(MIS)/lib/llib-lmisII.ln	\
	  $(CAD)/lib/llib-loct.ln

INCLUDE	= -I$(MIS)/include -I$(CAD)/include
CFLAGS	= -g $(INCLUDE)
LDFLAGS	= -g
LINTFLAGS =  $(INCLUDE) $(LINTEXTRAS)

SABER	= $(MIS)/lib/.saberinit

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

$(TARGET): $(PHDR) $(POBJ) $(LIBS) .saberinit
	$(CC) $(LDFLAGS) -o $(TARGET) $(POBJ) $(LIBS) -lm -lX11

$(TARGETPG): _force
	make "CFLAGS = -pg -O $(INCLUDE)" $(POBJ)
	$(CC) -pg -o $(TARGETPG) $(POBJ) $(LIBSPG) -lm -lX11

lint: $(PSRC) $(PHDR) $(HDR)
	lint $(LINTFLAGS) $(PSRC) $(LINTLIBS)

install: lib$(P).a llib-l$(P).ln

lib$(P).a: $(POBJ)
	@rm -f lib$(P).a
	ar cr lib$(P).a $(POBJ)

llib-l$(P).ln: $(PSRC) $(PHDR)
	lint $(LINTFLAGS) ${LINTCREATEFLAG}$(P) -n $(PSRC)

.saberinit: Makefile
	@echo source "$(SABER)" >.saberinit
	@echo load $(INCLUDE) $(MIS)/lib/mis.o $(POBJ) $(LIBS) -lm -lX11 >>.saberinit

dist:
	rdist -Richw $(PSRC) $(PHDR) $(MISC) $(HOST):$(DIST)/$(P)

clean:
	rm -f $(TARGET) $(TARGETPG) *.a *.ln *.o \
	    [Tt]ags [Mm]ake.out malloc.out gmon.out lint .saberinit \
	    leak profile

tags: _force
	@for i in $(PSRC) $(PHDR); do			\
	    cwd=`pwd`; ctags -a $$cwd/$$i;		\
	done;

strip_depend:
	sed '/^#--DO NOT CHANGE ANYTHING AFTER THIS LINE/,$$d' Makefile >mktemp
	mv mktemp Makefile

depend:
	sed '/^#--DO NOT CHANGE ANYTHING AFTER THIS LINE/,$$d' Makefile >mktemp
	echo '#--DO NOT CHANGE ANYTHING AFTER THIS LINE' >>mktemp
	$(CAD)/bin/cc-M $(INCLUDE) $(PSRC) | \
	    sed 's|$(CAD)|$$(CAD)|g' | \
	    grep -v '/usr/include' >>mktemp
	mv mktemp Makefile

#-------------------------- IBM 3090 support -----------------
IBMHOST	= beeblebrox
IBMDIST	= /net/beeblebrox/misII/vax/src
ibmdist: $(PSRC) $(PHDR)
	rdist -Richw $(PSRC) $(PHDR) $(IBMHOST):$(IBMDIST)
#-------------------------------------------------------------
_force: