include $(ALLIANCE_TOP)/etc/$(ALLIANCE_OS).mk
include $(ALLIANCE_TOP)/etc/libraries.mk
include ../local.mk

FPM_SRC		= fpm_main.c fpm_init.c fpm_load.c fpm_optim.c fpm_mapp.c \
		  fpm_save.c fpm_stat.c fpm_network.c fpm_util.c fpm_bdd.c \
		  virtex.c x4000.c klut.c
FPM_OBJ		= $(FPM_SRC:.c=.o)
FPM_BIN		= $(TARGET_BIN)/fpmap

FPM_INCDIR	= -I$(TARGET_INCLUDE) -I$(ALLIANCE_INCLUDE)
FPM_LIBDIR	= -L$(TARGET_LIB) -L$(ALLIANCE_LIB)

FPM_DEFINES	= -DMUT_H='<$(MUT_H)>' -DAUT_H='<$(AUT_H)>'	\
		  -DABL_H='<$(ABL_H)>' -DBDD_H='<$(BDD_H)>'	\
		  -DBFL_H='<$(BFL_H)>' -DABE_H='<$(ABE_H)>'	\
		  -DABV_H='<$(ABV_H)>' -DBUT_H='<$(BUT_H)>'	\
		  -DLAX_H='<$(LAX_H)>' -DXNF_H='<$(XNF_H)>'	\
		  -DFP_VERBOSE -D$(ALLIANCE_OS)			\
        	  -DALLIANCE_VERSION=$(ALLIANCE_VERSION)
FPM_LIBRARIES	= $(XNF_L) $(BUT_L) $(ABV_L) $(ABT_L) $(ABE_L)	\
		  $(BUT_L) $(BDD_L) $(ABL_L) $(AUT_L) $(BFL_L)	\
		  $(LAX_L) $(MUT_L)

.c.o	:
	$(CC) -c $(CFLAGS) $(FPM_INCDIR) $(FPM_DEFINES) $<

all : $(FPM_BIN)

$(FPM_BIN) : $(FPM_OBJ)
	$(CC) $(CFLAGS) -o $(FPM_BIN) $(FPM_OBJ) $(FPM_LIBDIR) $(FPM_LIBRARIES)

dep	: $(SRC)
	$(CC) -MM $(FPM_INCDIR) $(FPM_DEFINES) $(FPM_SRC) > .depend 

clean	:
	$(RM) -f *.o .depend core *~

realclean : clean
	$(RM) -f $(FPM_BIN)

force :
-include .depend
