#
# this is a GNUmakefile.  It must be processed with GNU make.
#

TARGET_ARCH=
TOP=../..

# you should define the make variables LOBJS and HEADERS before the
# include directive.  LOBJS is a list of Library OBJects that belong
# in libiac++.a.  HEADERS is a list of public header files that belong
# in iac++/include.

LOBJS=  IntPS.o HashTable.o \
	BoxyIPS.o YoderIPS.o \
	BoxyIPSIter.o YIPSIter.o BasePSIter.o \
	SetStructure.o \
	DblPS.o
HEADERS= IntPS.h DblPS.h \
	BasePS.h ClosurePS.h PSIter.h BasePSIter.h \
	SetStructure.h

DISTFILES = BasePS.c \
	BasePS.h \
	BasePSIter.c \
	BasePSIter.h \
	BoxyIPS.c \
	BoxyIPS.h \
	BoxyIPSIter.c \
	BoxyIPSIter.h \
	ClosurePS.c \
	ClosurePS.h \
	DblPS.c \
	DblPS.h \
	GNUmakefile \
	HashTable.c \
	HashTable.h \
	IntPS.c \
	IntPS.h \
	LazyPS.c \
	LazyPS.h \
	ListFPS.c \
	ListFPS.h \
	MondoPS.c \
	MondoPS.h \
	PSIter.c \
	PSIter.h \
	SetStructure.c \
	SetStructure.h \
	YoderIPS.c \
	YoderIPS.h \
	YIPSIter.c \
	YIPSIter.h \
	closure.c \
	pointset_errors.h



# OTHERLIBS=/usr/lib/debug/malloc.o /usr/lib/debug/mallocmap.o
EXTRAINCLUDES = -I../ia # for the Array

CLOSUREOBJS = closure.o
BLASTABLE_PTFILES = ___ls__FR7ostreamRC11IA_IntPoint \
	*IA_ValueSet* empty_ps* IA_Point*

include ${TOP}/src/gnumake.templ

XTRACCFLAGS=

lib: closure

closure: BasePS.h BasePS.c MondoPS.c MondoPS.h \
	ClosurePS.h ClosurePS.c LazyPS.h LazyPS.c \
	BasePSIter.h BasePSIter.c PSIter.h PSIter.c \
	ListFPS.h ListFPS.c

clean::
	rm -f ptrepository/*.o


# dependencies
BasePS.o : BasePS.c BasePS.h ../../include/ia.h ../../include/Point.h ../../include/IntPoint.h \
  ../../include/DblPoint.h 
BasePSIter.o : BasePSIter.c BasePSIter.h BasePS.h ../../include/ia.h ../../include/Point.h \
  ../../include/IntPoint.h ../../include/DblPoint.h IntPS.h ../../include/Set.h \
  ../../include/BaseSet.h HashTable.h 
BoxyIPS.o : BoxyIPS.c ../../include/ia.h BoxyIPS.h BasePS.h ../../include/Point.h \
  ../../include/IntPoint.h ../../include/DblPoint.h BoxyIPSIter.h BasePSIter.h \
  IntPS.h ../../include/Set.h ../../include/BaseSet.h 
BoxyIPSIter.o : BoxyIPSIter.c BoxyIPSIter.h BasePSIter.h BasePS.h ../../include/ia.h \
  ../../include/Point.h ../../include/IntPoint.h ../../include/DblPoint.h BoxyIPS.h 
ClosurePS.o : ClosurePS.c 
DblPS.o : DblPS.c DblPS.h ../../include/Set.h ../../include/BaseSet.h ../../include/ia.h \
  ../../include/DblPoint.h ../../include/Point.h ../../include/IntPoint.h BasePS.h \
  SetStructure.h ../../include/Array.h IntPS.h MondoPS.h ClosurePS.h LazyPS.h \
  ListFPS.h ../valueset/ValueSet.h ../valueset/BaseSet.h 
HashTable.o : HashTable.c HashTable.h BasePS.h ../../include/ia.h ../../include/Point.h \
  ../../include/IntPoint.h ../../include/DblPoint.h 
IntPS.o : IntPS.c IntPS.h ../../include/Set.h ../../include/BaseSet.h ../../include/ia.h \
  ../../include/IntPoint.h ../../include/Point.h BasePS.h HashTable.h PSIter.h \
  BasePSIter.h DblPS.h ../../include/DblPoint.h SetStructure.h ../../include/Array.h \
  pointset_errors.h BoxyIPS.h YoderIPS.h LazyPS.h MondoPS.h ClosurePS.h 
LazyPS.o : LazyPS.c LazyPS.h BasePS.h ../../include/ia.h ../../include/Point.h \
  ../../include/IntPoint.h ../../include/DblPoint.h 
ListFPS.o : ListFPS.c BasePSIter.h BasePS.h ../../include/ia.h ../../include/Point.h \
  ../../include/IntPoint.h ../../include/DblPoint.h 
MondoPS.o : MondoPS.c MondoPS.h BasePS.h ../../include/ia.h ../../include/Point.h \
  ../../include/IntPoint.h ../../include/DblPoint.h BasePSIter.h 
PSIter.o : PSIter.c PSIter.h BasePSIter.h BasePS.h ../../include/ia.h ../../include/Point.h \
  ../../include/IntPoint.h ../../include/DblPoint.h IntPS.h ../../include/Set.h \
  ../../include/BaseSet.h DblPS.h SetStructure.h ../../include/Array.h 
SetStructure.o : SetStructure.c SetStructure.h ../../include/Array.h IntPS.h \
  ../../include/Set.h ../../include/BaseSet.h ../../include/ia.h ../../include/IntPoint.h \
  ../../include/Point.h BasePS.h BoxyIPS.h YoderIPS.h MondoPS.h pointset_errors.h 
YIPSIter.o : YIPSIter.c PSIter.h BasePSIter.h BasePS.h ../../include/ia.h ../../include/Point.h \
  ../../include/IntPoint.h ../../include/DblPoint.h IntPS.h ../../include/Set.h \
  ../../include/BaseSet.h DblPS.h SetStructure.h ../../include/Array.h YIPSIter.h \
  YoderIPS.h BoxyIPS.h 
YoderIPS.o : YoderIPS.c ../../include/ia.h YoderIPS.h ../../include/IntPoint.h \
  ../../include/Point.h IntPS.h ../../include/Set.h ../../include/BaseSet.h BasePS.h \
  BoxyIPS.h SetStructure.h ../../include/Array.h MondoPS.h YIPSIter.h BasePSIter.h \
  PSIter.h DblPS.h ../../include/DblPoint.h 
closure.o : closure.c ClosurePS.h BasePS.h ../../include/ia.h ../../include/Point.h \
  ../../include/IntPoint.h ../../include/DblPoint.h ../valueset/ValueSet.h ../valueset/BaseSet.h \
  IntPS.h ../../include/Set.h ../../include/BaseSet.h PSIter.h BasePSIter.h DblPS.h \
  SetStructure.h ../../include/Array.h 
