blob: ff483f5fbea707dbdb90e30c6986214f4eb67df1 (
plain)
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
|
AM_CXXFLAGS = -Wall -Wno-deprecated
bin_PROGRAMS = lfsc-checker
lfsc_checker_SOURCES = \
main.cpp
lfsc_checker_LDADD = \
@builddir@/liblfsc_checker.la
noinst_LTLIBRARIES = liblfsc_checker.la
liblfsc_checker_la_SOURCES = \
check.cpp \
check.h \
chunking_memory_management.h \
code.cpp \
code.h \
expr.cpp \
expr.h \
libwriter.cpp \
libwriter.h \
position.h \
print_smt2.cpp \
print_smt2.h \
scccode.cpp \
scccode.h \
sccwriter.cpp \
sccwriter.h \
trie.cpp \
trie.h
|