blob: c31a3824ceb4dffc3eaa159d0421fd30aff4045e (
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
|
AM_CPPFLAGS = \
-D__BUILDING_CVC4LIB \
-D __STDC_LIMIT_MACROS \
-D __STDC_FORMAT_MACROS \
-I@srcdir@/ -I@srcdir@/../.. -I@srcdir@/../../.. -I@builddir@/../../.. -I@srcdir@/../../../include
AM_CXXFLAGS = -Wall -Wno-parentheses -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
noinst_LTLIBRARIES = libpicosat.la
libpicosat_la_SOURCES = \
app.c \
picosat.h \
picosat.c \
picomus.c \
version.c
EXTRA_DIST = \
main.c \
README \
LICENSE \
NEWS \
VERSION \
configure \
mkconfig \
makefile.in
|