head	1.3;
access;
symbols
	sis1-1:1.2;
locks;
comment	@# @;


1.3
date	93.02.25.01.07.17;	author sis;	state Exp;
branches;
next	1.2;

1.2
date	92.05.06.18.51.03;	author sis;	state Exp;
branches;
next	1.1;

1.1
date	92.01.08.18.19.41;	author sis;	state Exp;
branches;
next	;


desc
@@


1.3
log
@*** empty log message ***
@
text
@#/*
# * Revision Control Information
# *
# * $Source: /vol/opua/opua2/sis/sis-1.1/common/src/sis/bdd/RCS/Makefile,v $
# * $Author: sis $
# * $Revision: 1.2 $
# * $Date: 1992/05/06 18:51:03 $
# *
# */
# bdd -- bdd package
#----------------------------------------------------------------------

CAD = /projects/octtools/octtools/$(MACHINE)
SIS = ..
LINTCREATEFLAG = -C

HOST	= opua
DIST	= /users2/sis

P	= bdd
PSRC	= adhoc_cache.c assert_frame.c assert_heap.c and_smooth.c \
	  boolean_ops.c bdd_cofactor.c bdd_compose.c bdd_end.c bdd_ite.c \
	  bdd_iter.c bdd_print.c print_stats.c bdd_smooth.c bdd_start.c \
 	  bdd_substit.c bdd_tovar.c bdd_util.c config.c const_cache.c \
	  dmp_ext_ptrs.c dmp_mgr_stat.c dmp_node_age.c external_ptr.c \
	  find_or_add.c garb_collect.c hash_cache.c ite.c ite_common.c \
	  ite_constant.c new_node.c resize_table.c bdd_support.c
POBJ	= $(PSRC:.c=.o)
PHDR	= bdd.h bdd_int.h

MISC    = $(P).doc Makefile

TARGET	= sis
TARGETPG= sis-pg

TARLIB  = $(SIS)/lib/libsis.a
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= $(SIS)/lib/llib-lsis.ln	\
	  $(CAD)/lib/llib-loct.ln

INCLUDE	= -I$(SIS)/include -I$(CAD)/include
CFLAGS	= -g $(INCLUDE)
LDFLAGS	= -g
LINTFLAGS =  $(INCLUDE) ${LINTEXTRAS}

SABER	= $(SIS)/lib/.saberinit

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

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

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

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)

unpack: lib$(P).a
	@@for i in $(POBJ); do				\
	    ln -s $(SIS)/$(P)/$$i $(SIS)/unpack;	\
	done

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

.saberinit: Makefile
	@@echo source "$(SABER)" >.saberinit
	@@echo load $(INCLUDE) $(SIS)/lib/sis.o $(POBJ) $(LIBS) -lm >>.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

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 $(CFLAGS) $(PSRC) | \
	    sed 's|$(CAD)|$$(CAD)|g' | \
	    grep -v '/usr/include' >>mktemp
	mv mktemp Makefile

#-------------------------- IBM 3090 support -----------------
IBMHOST	= opua
IBMDIST	= /users2/sis
ibmdist: $(PSRC) $(PHDR)
	rdist -Richw $(PSRC) $(PHDR) $(IBMHOST):$(IBMDIST)
#-------------------------------------------------------------

_force:

@


1.2
log
@SIS release 1.1
@
text
@d6 2
a7 2
# * $Revision: 1.1 $
# * $Date: 92/01/08 18:19:41 $
d21 8
a28 2
PSRC	= adhoc_cache.c assert_frame.c assert_heap.c and_smooth.c boolean_ops.c bdd_cofactor.c bdd_compose.c bdd_end.c bdd_ite.c bdd_iter.c bdd_print.c print_stats.c bdd_smooth.c bdd_start.c bdd_substit.c bdd_tovar.c bdd_util.c config.c const_cache.c dmp_ext_ptrs.c dmp_mgr_stat.c dmp_node_age.c external_ptr.c find_or_add.c garb_collect.c hash_cache.c ite.c ite_common.c ite_constant.c new_node.c resize_table.c
POBJ	= adhoc_cache.o assert_frame.o assert_heap.o and_smooth.o boolean_ops.o bdd_cofactor.o bdd_compose.o bdd_end.o bdd_ite.o bdd_iter.o bdd_print.o print_stats.o bdd_smooth.o bdd_start.o bdd_substit.o bdd_tovar.o bdd_util.o config.o const_cache.o dmp_ext_ptrs.o dmp_mgr_stat.o dmp_node_age.o external_ptr.o find_or_add.o garb_collect.o hash_cache.o ite.o ite_common.o ite_constant.o new_node.o resize_table.o
@


1.1
log
@Initial revision
@
text
@d7 1
a7 1
# * $Date: 92/01/08 17:34:21 $
@
