summaryrefslogtreecommitdiff
path: root/src/theory/Makefile.am
blob: 803cc53b56c74e6a7b9f0e434132528e0abe5f8c (plain) 
1
2
3
4
5
6
7

INCLUDES = -I@srcdir@/../include -I@srcdir@/..
AM_CXXFLAGS = -Wall -fvisibility=hidden
AM_CPPFLAGS = -D__BUILDING_CVC4LIB

noinst_LTLIBRARIES = libtheory.la

libtheory_la_SOURCES =
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback