distrib/sources/bdd/Makefile

   1 #
   2 # This file is part of the Alliance CAD System
   3 # Copyright (C) Laboratoire LIP6 - Département ASIM
   4 # Universite Pierre et Marie Curie
   5 #
   6 # Home page          : http://www-asim.lip6.fr/alliance/
   7 # E-mail support     : mailto:alliance-support@asim.lip6.fr
   8 #
   9 # This progam is  free software; you can redistribute it  and/or modify it
  10 # under the  terms of the GNU  General Public License as  published by the
  11 # Free Software Foundation;  either version 2 of the License,  or (at your
  12 # option) any later version.
  13 #
  14 # Alliance VLSI  CAD System  is distributed  in the hope  that it  will be
  15 # useful, but WITHOUT  ANY WARRANTY; without even the  implied warranty of
  16 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
  17 # Public License for more details.
  18 #
  19 # You should have received a copy  of the GNU General Public License along
  20 # with the GNU C Library; see the  file COPYING. If not, write to the Free
  21 # Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  22 #
  23
  24 #               ,,,
  25 #              (o o)
  26 # ####=====oOO--(_)--OOO==========================================####
  27 # ##                                                                ##
  28 # ##   File            :  Makefike for LOGIC                        ##
  29 # ##   Author          :  Olivier SIROL                             ##
  30 # ##   Date            :  Oct 1996                                  ##
  31 # ##                                                                ##
  32 # ##   E-mail support  :  cao-vlsi@masi.ibp.fr                      ##
  33 # ##                                                                ##
  34 # ####============================================================####
  35 #
  36 #
  37 # $Id: Makefile,v 1.10 2005/05/03 08:26:28 antony Exp $
  38 #
  39 #
  40
  41 include $(AVERTEC_TOP)/etc/$(AVERTEC_OS).mk
  42 include $(AVERTEC_TOP)/etc/libraries.mk
  43 include $(AVERTEC_TOP)/etc/Avertec.mk
  44
  45 LOCAL_OBJ     = log_bdd0.o log_bdd1.o log_thashbdd.o log_thashloc.o \
  46                                 log_prefbib.o log_vectabl.o
  47
  48 LOCAL_CFLAGS   = $(CFLAGS)
  49 LOCAL_CPPFLAGS = $(CPPFLAGS) -c -I. -I$(TARGET_INCLUDE) -D$(AVERTEC_LICENSE) \
  50                                  -DLOG_H='"$(LOG_H)"' -DMUT_H='"$(MUT_H)"' \
  51                                  -DAVT_H='"$(AVT_H)"'
  52
  53 all : $(TARGET_INCLUDE)/$(LOG_H) $(TARGET_LIB)/$(LOG_LIB)
  54
  55 headers : $(TARGET_INCLUDE)/$(LOG_H)
  56
  57 .c.o :
  58         $(CC) $(LOCAL_CFLAGS) $(LOCAL_CPPFLAGS) $<
  59
  60 $(TARGET_INCLUDE)/$(LOG_H) : log_lib.h
  61         $(CP) log_lib.h $(TARGET_INCLUDE)/$(LOG_H)
  62
  63 $(TARGET_LIB)/$(LOG_LIB) : $(LOCAL_OBJ)
  64         $(AR) $(ARFLAGS) $(TARGET_LIB)/$(LOG_LIB) $(LOCAL_OBJ)
  65         -$(RANLIB) $(TARGET_LIB)/$(LOG_LIB)
  66
  67
  68 clean :
  69         -$(RM) $(LOCAL_OBJ)
  70
  71 realclean : clean
  72         -$(RM) $(TARGET_INCLUDE)/$(LOG_H) $(TARGET_LIB)/$(LOG_LIB)
  73
  74
  75