1 #############################################################################
3 # This Makefile is used to compile the library source code.
5 #############################################################################
7 include ..
/Makefile.config
9 ADLIB_PATH
:= ..
/include
10 ad
:= $(ADLIB_PATH
)/ad
12 COPTS
:= /EHsc
/nologo
13 CINCLUDE
:= -I
$(ADLIB_PATH
)
14 CFLAGS
:= $(COPTS
) $(CINCLUDE
)
15 LIBRARY
:= libprop.lib
17 #############################################################################
18 # A list of all ADLib areas
19 #############################################################################
20 AREAS
:= automata contain \
23 graph graphtype hash memory \
25 persist pretty prettypr \
27 rewrite strings symbolic \
28 trees tries backend-tools visualize
30 #PROP = ../../bin/prop
31 #PROP_OPTS = -strict -report -I../../include
35 #each module will add to this
40 include $(patsubst %, %/Makefile.mk
,$(AREAS
))
43 OBJS
:= $(patsubst %.
cc,%.
$(OBJ
),$(filter %.
cc,$(SRC
)))
46 $(call MKOBJ
,$@
, $(CFLAGS
) $<)
49 $(call MKOBJ
,$@
, $(CFLAGS
) $<)
52 $(call MKOBJ
,$@
, $(CFLAGS
) $<)
55 $(call MKOBJ
,$@
, $(CFLAGS
) $<)
72 $(call MKLIB
,$(LIBRARY
),$(OBJS
))
76 # $(PROP) $(PROP_OPTS) $(CINCLUDE) $<
79 # $(PROP) $(PROP_OPTS) $(CINCLUDE) $<