-
Notifications
You must be signed in to change notification settings - Fork 19
/
Makefile.am
107 lines (99 loc) · 3.63 KB
/
Makefile.am
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
# where to install the headers on the system
genmcdir = $(pkgincludedir)
# the list of header files that belong to the library
nobase_genmc_HEADERS = \
include/assert.h \
include/atomic \
include/bits/stat.h \
include/cassert \
include/errno.h \
include/fcntl.h \
include/genmc.h \
include/genmc_internal.h \
include/lkmm.h \
include/pthread.h \
include/stdatomic.h \
include/stdio.h \
include/stdlib.h \
include/sys/stat.h \
include/sys/types.h \
include/thread \
include/threads.h \
include/unistd.h
noinst_LIBRARIES = libgenmc.a
libgenmc_a_SOURCES = \
src/ADT/DepView.cpp \
src/ADT/VectorClock.cpp \
src/ADT/View.cpp \
src/Config/Config.cpp \
src/Config/Verbosity.cpp \
src/ExecutionGraph/DepExecutionGraph.cpp \
src/ExecutionGraph/DepInfo.cpp \
src/ExecutionGraph/Event.cpp \
src/ExecutionGraph/EventLabel.cpp \
src/ExecutionGraph/ExecutionGraph.cpp \
src/ExecutionGraph/Stamp.cpp \
src/Runtime/Execution.cpp \
src/Runtime/ExternalFunctions.cpp \
src/Runtime/Interpreter.cpp \
src/Runtime/InterpreterEnumAPI.cpp \
src/Static/LLVMModule.cpp \
src/Static/LLVMUtils.cpp \
src/Static/ModuleInfo.cpp \
src/Static/Transforms/BisimilarityCheckerPass.cpp \
src/Static/Transforms/CallInfoCollectionPass.cpp \
src/Static/Transforms/CodeCondenserPass.cpp \
src/Static/Transforms/ConfirmationAnnotationPass.cpp \
src/Static/Transforms/DeclareInternalsPass.cpp \
src/Static/Transforms/DefineLibcFunsPass.cpp \
src/Static/Transforms/EliminateAnnotationsPass.cpp \
src/Static/Transforms/EliminateCASPHIsPass.cpp \
src/Static/Transforms/EliminateCastsPass.cpp \
src/Static/Transforms/EliminateRedundantInstPass.cpp \
src/Static/Transforms/EliminateUnusedCodePass.cpp \
src/Static/Transforms/EscapeCheckerPass.cpp \
src/Static/Transforms/FunctionInlinerPass.cpp \
src/Static/Transforms/InstAnnotator.cpp \
src/Static/Transforms/IntrinsicLoweringPass.cpp \
src/Static/Transforms/LoadAnnotationPass.cpp \
src/Static/Transforms/LocalSimplifyCFGPass.cpp \
src/Static/Transforms/LoopJumpThreadingPass.cpp \
src/Static/Transforms/LoopUnrollPass.cpp \
src/Static/Transforms/MDataCollectionPass.cpp \
src/Static/Transforms/MMDetectorPass.cpp \
src/Static/Transforms/PromoteMemIntrinsicPass.cpp \
src/Static/Transforms/PropagateAssumesPass.cpp \
src/Static/Transforms/SpinAssumePass.cpp \
src/Support/ASize.cpp \
src/Support/NameInfo.cpp \
src/Support/Parser.cpp \
src/Support/SAddr.cpp \
src/Support/SVal.cpp \
src/Support/ThreadPinner.cpp \
src/Support/ThreadPool.cpp \
src/Verification/GenMCDriver.cpp \
src/Verification/WorkSet.cpp \
src/Verification/VerificationError.cpp \
src/Verification/Revisit.cpp \
src/Verification/Consistency/BoundDecider.cpp \
src/Verification/Consistency/ContextBoundDecider.cpp \
src/Verification/Consistency/IMMDriver.cpp \
src/Verification/Consistency/RADriver.cpp \
src/Verification/Consistency/RC11Driver.cpp \
src/Verification/Consistency/RoundBoundDecider.cpp \
src/Verification/Consistency/SCDriver.cpp \
src/Verification/Consistency/TSODriver.cpp \
src/main.cpp
TESTS=scripts/fast-driver.sh scripts/randomize-driver.sh
AM_CXXFLAGS = -I$(abs_top_srcdir)/src -DINCLUDE_DIR=\"$(pkgincludedir)/$(pkg)/include\" -DSRC_INCLUDE_DIR=\"$(abs_top_srcdir)/include\" $(COVERAGE_CXXFLAGS)
bin_PROGRAMS = genmc
genmc_SOURCES = src/main.cpp
genmc_LDADD = libgenmc.a -lpthread $(COVERAGE_LDFLAGS)
include Makefile.am.coverage
@DX_RULES@
MOSTLYCLEANFILES = DX_CLEANFILES
if LINT
lint-local: $(libgenmc_a_SOURCES) $(genmc_SOURCES)
-$(CPPLINT) -header-filter='^(?!llvm/).+' -config-file='$(top_srcdir)/.clang-tidy' $^
check-local: lint-local
endif