diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-31 14:29:58 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-19 19:09:27 -0400 |
| commit | 7dd316a13b796d02985be63b1b03975a756fb624 (patch) | |
| tree | ab348129940e25c4dde47c19568aea40d31a51ea /src/util/Makefile.am | |
| parent | 89a1304db9208a366c10136e8dee722f634015e9 (diff) | |
Remove PropositionalQuery class and all CUDD-related build stuff (and references)
Diffstat (limited to 'src/util/Makefile.am')
| -rw-r--r-- | src/util/Makefile.am | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index dffb22ea8..1952108f6 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -3,12 +3,7 @@ AM_CPPFLAGS = \ -I@builddir@/.. -I@srcdir@/../include -I@srcdir@/.. AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) -noinst_LTLIBRARIES = libutil.la libutilcudd.la libstatistics.la - -# libutilcudd.la is a separate library so that we can pass separate -# compiler flags -libutilcudd_la_CPPFLAGS = $(CPPFLAGS) $(AM_CPPFLAGS) @CUDD_CPPFLAGS@ -libutilcudd_la_LIBADD = @CUDD_LDFLAGS@ @CUDD_LIBS@ +noinst_LTLIBRARIES = libutil.la libstatistics.la libstatistics_la_CPPFLAGS = $(CPPFLAGS) $(AM_CPPFLAGS) -D__BUILDING_STATISTICS_FOR_EXPORT @@ -91,17 +86,10 @@ libutil_la_SOURCES = \ sort_inference.h \ sort_inference.cpp -libutil_la_LIBADD = \ - @builddir@/libutilcudd.la - libstatistics_la_SOURCES = \ statistics_registry.h \ statistics_registry.cpp -libutilcudd_la_SOURCES = \ - propositional_query.h \ - propositional_query.cpp - BUILT_SOURCES = \ rational.h \ integer.h \ |