dummy for MSVC
[prop.git] / lib-src / csp / Makefile
blob0e967bca8c7c3038591ed74b8cf1e5778a7546e8
2 # A sample Makefile
5 ADLIB_PATH = ../../include
6 CC = gcc
7 CINCLUDE = -I$(ADLIB_PATH)
8 COPTS = -O6
9 #COPTS = -g -O6 -pg
10 PROP = prop
11 PROP_OPTS = -s
13 D = $(ADLIB_PATH)/AD/csp
14 ad = $(ADLIB_PATH)/AD
16 OBJS = trail.$(OBJ) logicalterm.$(OBJ)
17 SRC = trail.cc logicalterm.cc
19 all: $(SRC) $(OBJS)
21 src: $(SRC)
23 trail.$(OBJ): trail.cc $D/logicalterm.h $D/trail.h $(ad)/memory/mem.h \
24 $(ad)/memory/mempool.h $(ad)/generic/generic.h
26 logicalterm.$(OBJ): logicalterm.cc $D/logicalterm.h $D/trail.h $(ad)/memory/mem.h \
27 $(ad)/memory/mempool.h $(ad)/generic/generic.h
29 %.$(OBJ): %.cc
30 $(CC) -c $(COPTS) $(CINCLUDE) $(@:.$(OBJ)=.cc)
32 %.$(OBJ): %.cpp
33 $(CC) -c $(COPTS) $(CINCLUDE) $(@:.$(OBJ)=.cpp)
35 %.$(OBJ): %.c++
36 $(CC) -c $(COPTS) $(CINCLUDE) $(@:.$(OBJ)=.c++)
38 %.$(OBJ): %.c
39 $(CC) -c $(COPTS) $(CINCLUDE) $(@:.$(OBJ)=.c)
41 %.cc: %.pcc
42 $(PROP) $(PROP_OPTS) $(CINCLUDE) $(@:.cc=.pcc)
44 %.h: %.ph
45 $(PROP) $(PROP_OPTS) $(CINCLUDE) $(@:.h=.ph)