zdd/lib/SAPPOROBDD/src/BDD+/Makefile

   1 CC      = g++
   2 DIR     = ../..
   3 INCL    = $(DIR)/include
   4 OPT     = -O3 -I$(INCL)
   5 OPT64  = $(OPT) -DB_64
   6
   7 LIB     = $(DIR)/lib/BDD.a
   8 LIB64   = $(DIR)/lib/BDD64.a
   9 OBJC    = $(DIR)/src/BDDc/*.o
  10 OBJX    = $(DIR)/src/BDDXc/*.o
  11 OBJLCM  = $(DIR)/src/BDDLCM/*.o
  12
  13 all:    BDD.o BDDX11.o BDDHASH.o ZBDD.o ZBDDX11.o \
  14         ZBDDHASH.o ZBDDLCM.o MLZBDDV.o SOP.o BtoI.o \
  15         CtoI.o CtoIX11.o BDDDG.o ZBDDDG.o PiDD.o SeqBDD.o
  16         rm -f $(LIB)
  17         ar cr $(LIB) *.o $(OBJC) $(OBJX) $(OBJLCM)
  18         ranlib $(LIB)
  19
  20 64:     BDD_64.o BDDX11_64.o BDDHASH_64.o ZBDD_64.o ZBDDX11_64.o \
  21         ZBDDHASH_64.o ZBDDLCM_64.o MLZBDDV_64.o SOP_64.o BtoI_64.o \
  22         CtoI_64.o CtoIX11_64.o BDDDG_64.o ZBDDDG_64.o PiDD_64.o SeqBDD_64.o
  23         rm -f $(LIB64)
  24         ar cr $(LIB64) *.o $(OBJC) $(OBJX) $(OBJLCM)
  25         ranlib $(LIB64)
  26
  27 clean:
  28         rm -f *.o *~
  29
  30 BDD.o:  BDD.cc $(INCL)/BDD.h
  31         $(CC) $(OPT) -c BDD.cc
  32         rm -f BDD_64.o
  33
  34 BDD_64.o: BDD.cc $(INCL)/BDD.h
  35         $(CC) $(OPT64) -c BDD.cc -o BDD_64.o
  36         rm -f BDD.o
  37
  38 BDDX11.o: BDDX11.cc $(INCL)/BDD.h
  39         $(CC) $(OPT) -c BDDX11.cc
  40         rm -f BDDX11_64.o
  41
  42 BDDX11_64.o: BDDX11.cc $(INCL)/BDD.h
  43         $(CC) $(OPT64) -c BDDX11.cc -o BDDX11_64.o
  44         rm -f BDDX11.o
  45
  46 BDDHASH.o: BDDHASH.cc $(INCL)/BDD.h
  47         $(CC) $(OPT) -c BDDHASH.cc
  48         rm -f BDDHASH_64.o
  49
  50 BDDHASH_64.o: BDDHASH.cc $(INCL)/BDD.h
  51         $(CC) $(OPT64) -c BDDHASH.cc -o BDDHASH_64.o
  52         rm -f BDDHASH.o
  53
  54 ZBDD.o: ZBDD.cc $(INCL)/ZBDD.h $(INCL)/BDD.h
  55         $(CC) $(OPT) -c ZBDD.cc
  56         rm -f ZBDD_64.o
  57
  58 ZBDD_64.o: ZBDD.cc $(INCL)/ZBDD.h $(INCL)/BDD.h
  59         $(CC) $(OPT64) -c ZBDD.cc -o ZBDD_64.o
  60         rm -f ZBDD.o
  61
  62 ZBDDX11.o: ZBDDX11.cc $(INCL)/ZBDD.h $(INCL)/BDD.h
  63         $(CC) $(OPT) -c ZBDDX11.cc
  64         rm -f ZBDDX11_64.o
  65
  66 ZBDDX11_64.o: ZBDDX11.cc $(INCL)/ZBDD.h $(INCL)/BDD.h
  67         $(CC) $(OPT64) -c ZBDDX11.cc -o ZBDDX11_64.o
  68         rm -f ZBDDX11.o
  69
  70 ZBDDHASH.o: ZBDDHASH.cc $(INCL)/ZBDD.h $(INCL)/BDD.h
  71         $(CC) $(OPT) -c ZBDDHASH.cc
  72         rm -f ZBDDHASH_64.o
  73
  74 ZBDDHASH_64.o: ZBDDHASH.cc $(INCL)/ZBDD.h $(INCL)/BDD.h
  75         $(CC) $(OPT64) -c ZBDDHASH.cc -o ZBDDHASH_64.o
  76         rm -f ZBDDHASH.o
  77
  78 ZBDDLCM.o: ZBDDLCM.cc $(INCL)/ZBDD.h $(INCL)/BDD.h
  79         $(CC) $(OPT) -c ZBDDLCM.cc
  80         rm -f ZBDDLCM_64.o
  81
  82 ZBDDLCM_64.o: ZBDDLCM.cc $(INCL)/ZBDD.h $(INCL)/BDD.h
  83         $(CC) $(OPT64) -c ZBDDLCM.cc -o ZBDDLCM_64.o
  84         rm -f ZBDDLCM.o
  85
  86 MLZBDDV.o: MLZBDDV.cc $(INCL)/MLZBDDV.h $(INCL)/ZBDD.h $(INCL)/BDD.h
  87         $(CC) $(OPT) -c MLZBDDV.cc
  88         rm -f MLZBDDV_64.o
  89
  90 MLZBDDV_64.o: MLZBDDV.cc $(INCL)/MLZBDDV.h $(INCL)/ZBDD.h $(INCL)/BDD.h
  91         $(CC) $(OPT64) -c MLZBDDV.cc -o MLZBDDV_64.o
  92         rm -f MLZBDDV.o
  93
  94 SOP.o:  SOP.cc $(INCL)/SOP.h $(INCL)/ZBDD.h $(INCL)/BDD.h
  95         $(CC) $(OPT) -c SOP.cc
  96         rm -f SOP_64.o
  97
  98 SOP_64.o: SOP.cc $(INCL)/SOP.h $(INCL)/ZBDD.h $(INCL)/BDD.h
  99         $(CC) $(OPT64) -c SOP.cc -o SOP_64.o
 100         rm -f SOP.o
 101
 102 BtoI.o: BtoI.cc $(INCL)/BtoI.h $(INCL)/BDD.h
 103         $(CC) $(OPT) -c BtoI.cc
 104         rm -f BtoI_64.o
 105
 106 BtoI_64.o: BtoI.cc $(INCL)/BtoI.h $(INCL)/BDD.h
 107         $(CC) $(OPT64) -c BtoI.cc -o BtoI_64.o
 108         rm -f BtoI.o
 109
 110 CtoI.o: CtoI.cc $(INCL)/CtoI.h $(INCL)/ZBDD.h $(INCL)/BDD.h
 111         $(CC) $(OPT) -c CtoI.cc
 112         rm -f CtoI_64.o
 113
 114 CtoI_64.o: CtoI.cc $(INCL)/CtoI.h $(INCL)/ZBDD.h $(INCL)/BDD.h
 115         $(CC) $(OPT64) -c CtoI.cc -o CtoI_64.o
 116         rm -f CtoI.o
 117
 118 CtoIX11.o: CtoIX11.cc $(INCL)/CtoI.h $(INCL)/ZBDD.h $(INCL)/BDD.h
 119         $(CC) $(OPT) -c CtoIX11.cc
 120         rm -f CtoIX11_64.o
 121
 122 CtoIX11_64.o: CtoIX11.cc $(INCL)/CtoI.h $(INCL)/ZBDD.h $(INCL)/BDD.h
 123         $(CC) $(OPT64) -c CtoIX11.cc -o CtoIX11_64.o
 124         rm -f CtoIX11.o
 125
 126 BDDDG.o: BDDDG.cc $(INCL)/BDDDG.h $(INCL)/BDD.h
 127         $(CC) $(OPT) -c BDDDG.cc
 128         rm -f BDDDG_64.o
 129
 130 BDDDG_64.o: BDDDG.cc $(INCL)/BDDDG.h $(INCL)/BDD.h
 131         $(CC) $(OPT64) -c BDDDG.cc -o BDDDG_64.o
 132         rm -f BDDDG.o
 133
 134 ZBDDDG.o: ZBDDDG.cc $(INCL)/ZBDDDG.h $(INCL)/ZBDD.h $(INCL)/BDD.h
 135         $(CC) $(OPT) -c ZBDDDG.cc
 136         rm -f ZBDDDG_64.o
 137
 138 ZBDDDG_64.o: ZBDDDG.cc $(INCL)/ZBDDDG.h $(INCL)/ZBDD.h $(INCL)/BDD.h
 139         $(CC) $(OPT64) -c ZBDDDG.cc -o ZBDDDG_64.o
 140         rm -f ZBDDDG.o
 141
 142 PiDD.o: PiDD.cc $(INCL)/PiDD.h $(INCL)/ZBDD.h $(INCL)/BDD.h
 143         $(CC) $(OPT) -c PiDD.cc
 144         rm -f PiDD_64.o
 145
 146 PiDD_64.o: PiDD.cc $(INCL)/PiDD.h $(INCL)/ZBDD.h $(INCL)/BDD.h
 147         $(CC) $(OPT64) -c PiDD.cc -o PiDD_64.o
 148         rm -f PiDD.o
 149
 150 SeqBDD.o: SeqBDD.cc $(INCL)/SeqBDD.h $(INCL)/ZBDD.h $(INCL)/BDD.h
 151         $(CC) $(OPT) -c SeqBDD.cc
 152         rm -f SeqBDD_64.o
 153
 154 SeqBDD_64.o: SeqBDD.cc $(INCL)/SeqBDD.h $(INCL)/ZBDD.h $(INCL)/BDD.h
 155         $(CC) $(OPT64) -c SeqBDD.cc -o SeqBDD_64.o
 156         rm -f SeqBDD.o
 157