3 MODEL_CC=libthreads.cc schedule.cc model.cc threads.cc librace.cc action.cc nodestack.cc clockvector.cc main.cc snapshot-interface.cc cyclegraph.cc datarace.cc impatomic.cc cmodelint.cc promise.cc
4 MODEL_O=libthreads.o schedule.o model.o threads.o librace.o action.o nodestack.o clockvector.o main.o snapshot-interface.o cyclegraph.o datarace.o impatomic.o cmodelint.o promise.o
5 MODEL_H=libthreads.h schedule.h common.h model.h threads.h librace.h action.h nodestack.h clockvector.h snapshot-interface.h cyclegraph.h hashtable.h datarace.h config.h include/impatomic.h include/cstdatomic include/stdatomic.h cmodelint.h promise.h
7 SHMEM_CC=snapshot.cc malloc.c mymemory.cc
8 SHMEM_O=snapshot.o malloc.o mymemory.o
9 SHMEM_H=snapshot.h snapshotimp.h mymemory.h config.h
11 CPPFLAGS += -Iinclude -I.
19 debug: CPPFLAGS += -DCONFIG_DEBUG
22 mac: CPPFLAGS += -D_XOPEN_SOURCE -DMAC
24 mac: SHARED=-Wl,-undefined,dynamic_lookup -dynamiclib
30 $(LIB_SO): $(MODEL_O) $(MODEL_H) $(SHMEM_O) $(SHMEM_H)
31 $(CXX) $(SHARED) -o $(LIB_SO) $(MODEL_O) $(SHMEM_O) $(LDFLAGS)
34 $(CC) -fPIC -c malloc.c -DMSPACES -DONLY_MSPACES $(CPPFLAGS)
36 mymemory.o: mymemory.h snapshotimp.h snapshot.h mymemory.cc config.h
37 $(CXX) -fPIC -c mymemory.cc $(CPPFLAGS)
39 snapshot.o: mymemory.h snapshot.h snapshotimp.h snapshot.cc config.h
40 $(CXX) -fPIC -c snapshot.cc $(CPPFLAGS)
43 $(CXX) -fPIC -c $< $(CPPFLAGS)
47 $(MAKE) -C $(TESTS) clean