# /*------------------------------------------------------------\
# |                                                             |
# | This file is part of the Alliance CAD System Copyright      |
# | (C) Laboratoire LIP6 - Dpartement ASIM Universite P&M Curie|
# |                                                             |
# | Home page      : http://www-asim.lip6.fr/alliance/          |
# | E-mail support : mailto:alliance-support@asim.lip6.fr       |
# |                                                             |
# | This progam is  free software; you can redistribute it      |
# | and/or modify it under the  terms of the GNU Library General|
# | Public License as published by the Free Software Foundation |
# | either version 2 of the License, or (at your option) any    |
# | later version.                                              |
# |                                                             |
# | Alliance VLSI  CAD System  is distributed  in the hope that |
# | it  will be useful, but WITHOUT  ANY WARRANTY;              |
# | without even the  implied warranty of MERCHANTABILITY or    |
# | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General       |
# | Public License for more details.                            |
# |                                                             |
# | You should have received a copy  of the GNU General Public  |
# | License along with the GNU C Library; see the file COPYING. |
# | If not, write to the Free Software Foundation, Inc.,        |
# | 675 Mass Ave, Cambridge, MA 02139, USA.                     |
# |                                                             |
# \------------------------------------------------------------*/
# /*------------------------------------------------------------\
# |                                                             |
# | Tool   :                 Library FSM104                     |
# |                                                             |
# | File   :                    Makefile                        |
# |                                                             |
# | Author :                  Jacomme Ludovic                   |
# |                                                             |
# | Date   :                    28.10.94                        |
# |                                                             |
# \------------------------------------------------------------*/

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

# /*------------------------------------------------------------\
# |                                                             |
# |                            Variables                        |
# |                                                             |
# \------------------------------------------------------------*/

LOCAL_CFLAGS = $(CFLAGS) -D$(ALLIANCE_OS)

# /*------------------------------------------------------------\
# |                                                             |
# |                             Include                         |
# |                                                             |
# \------------------------------------------------------------*/

LOCAL_INCLUDE = -I$(LOCAL_TARGET_INC) -I$(ALLIANCE_INCLUDE)

# /*------------------------------------------------------------\
# |                                                             |
# |                             Library                         |
# |                                                             |
# \------------------------------------------------------------*/

LOCAL_LIB = -L$(LOCAL_TARGET_LIB) \
            -L$(ALLIANCE_LIB)     \
             $(FTL_L) \
             $(FKS_L) \
             $(FVH_L) \
             -lFsm104 \
             $(MUT_L) \
             $(BDD_L) \
             $(ABL_L) \
             $(AUT_L)

# /*------------------------------------------------------------\
# |                                                             |
# |                             Define                          |
# |                                                             |
# \------------------------------------------------------------*/

LOCAL_MBK_DEFINE = -DMUT_H='"$(MUT_H)"' \
                   -DAUT_H='"$(AUT_H)"' \
                   -DABL_H='"$(ABL_H)"' \
                   -DBDD_H='"$(BDD_H)"'

LOCAL_FSM_DEFINE = -DFSM_H='"fsm104.h"' \
                   -DFTL_H='"$(FTL_H)"'

LOCAL_DEFINE = $(LOCAL_MBK_DEFINE) $(LOCAL_FSM_DEFINE)

LOCAL_HEADER = $(LOCAL_INCLUDE) $(LOCAL_DEFINE)

LOCAL_FSM_LIB    = libFsm104.a
LOCAL_FSM_INC    = fsm104.h
LOCAL_FSM_TST    = fsmtest

# /*------------------------------------------------------------\
# |                                                             |
# |                             Object                          |
# |                                                             |
# \------------------------------------------------------------*/

LOCAL_FSM_OBJ = fsmalloc.o  fsmfree.o  fsmadd.o  fsmdel.o \
                fsmsearch.o fsmsimp.o  fsmbdd.o \
                fsmorder.o  fsmview.o  fsmerror.o

LOCAL_TST_OBJ = main.o

LOCAL_OBJ = $(LOCAL_FSM_OBJ)

.c.o:
	$(CC) -c $(LOCAL_CFLAGS) $(LOCAL_HEADER) $<

# /*------------------------------------------------------------\
# |                                                             |
# |                         Library Fsm                         |
# |                                                             |
# \------------------------------------------------------------*/

distrib : $(LOCAL_TARGET_INC)/$(LOCAL_FSM_INC) \
          $(LOCAL_TARGET_LIB)/$(LOCAL_FSM_LIB)

test : $(LOCAL_TARGET_INC)/$(LOCAL_FSM_INC) \
       $(LOCAL_TARGET_LIB)/$(LOCAL_FSM_LIB) \
       $(LOCAL_TARGET_BIN)/$(LOCAL_FSM_TST)

force : $(LOCAL_TARGET_INC)/$(LOCAL_FSM_INC) \
       $(LOCAL_TARGET_LIB)/$(LOCAL_FSM_LIB) \
       $(LOCAL_TST_OBJ)
	$(CC) -o $(LOCAL_TARGET_BIN)/$(LOCAL_FSM_TST) $(LOCAL_TST_OBJ) $(LOCAL_LIB)

$(LOCAL_TARGET_INC)/$(LOCAL_FSM_INC) : $(LOCAL_FSM_INC)
	$(CP) $(LOCAL_FSM_INC) $(LOCAL_TARGET_INC)/$(LOCAL_FSM_INC)

$(LOCAL_TARGET_LIB)/$(LOCAL_FSM_LIB) : $(LOCAL_OBJ)
	$(AR) $(ARFLAGS) $(LOCAL_TARGET_LIB)/$(LOCAL_FSM_LIB) $(LOCAL_FSM_OBJ)
	$(RANLIB) $(LOCAL_TARGET_LIB)/$(LOCAL_FSM_LIB)

# /*------------------------------------------------------------\
# |                                                             |
# |                              Clean                          |
# |                                                             |
# \------------------------------------------------------------*/

clean :
	$(RM) -f $(LOCAL_OBJ) $(LOCAL_TST_OBJ)

# /*------------------------------------------------------------\
# |                                                             |
# |                              Clean                          |
# |                                                             |
# \------------------------------------------------------------*/

realclean : clean
	$(RM) -f $(LOCAL_TARGET_LIB)/$(LOCAL_FSM_LIB) \
                 $(LOCAL_TARGET_INC)/$(LOCAL_FSM_INC) \
                 $(LOCAL_TARGET_BIN)/$(LOCAL_FSM_TST) 

# /*------------------------------------------------------------\
# |                                                             |
# |                          Clean Object                       |
# |                                                             |
# \------------------------------------------------------------*/

cleanobj :
	$(RM) -f $(LOCAL_OBJ) $(LOCAL_TST_OBJ)

# /*------------------------------------------------------------\
# |                                                             |
# |                            Test                             |
# |                                                             |
# \------------------------------------------------------------*/

$(LOCAL_TARGET_BIN)/$(LOCAL_FSM_TST) : $(LOCAL_TST_OBJ) \
        $(LOCAL_TARGET_LIB)/$(LOCAL_FSM_LIB)
	$(CC) -o $(LOCAL_TARGET_BIN)/$(LOCAL_FSM_TST) $(LOCAL_TST_OBJ) $(LOCAL_LIB)
