diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-03-15 20:32:13 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-03-15 20:32:13 +0000 |
commit | 8fb7c711588cb070c1e4a1d076b47f9277bfc3fe (patch) | |
tree | cedd18e59b24d8b6adf79bb6581b66b1af23d17a /Makefile | |
parent | 1bdb81e52c7865f89663f97f6bc1244f3e4f6b12 (diff) |
Merge from cudd branch. This mostly just adds support for linking
against cudd libraries, the propositional_query class (in util/),
which uses cudd if it's available (and otherwise answers UNKNOWN for
all queries), and the arith theory support for it (currently disabled
per Tim's request, so he can clean it up).
Other changes include:
* contrib/debug-keys - script to print all used keys under Debug(), Trace()
* test/regress/run_regression - minor fix (don't export a variable)
* configure.ac - replace a comment removed by dejan's google perf commit
* some minor copyright/documentation updates, and minor changes to source
text to make 'clang --analyze' happy.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -1,3 +1,10 @@ +# -*-makefile-*- +# +# This makefile is the _source_ directory's makefile, and is static, +# not generated. Makefile.am is the automake makefile for the build +# top-level (its corresponding Makefile.in is here, too, but the +# corresponding Makefile is under builds/$arch/$buildid. +# builddir = builds .PHONY: _default_build_ all |