diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-12-17 00:02:12 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-12-17 00:02:12 +0000 |
commit | 73fd355fd1a9f6cacfc3170d29e29fccc94ab539 (patch) | |
tree | e88c1a48887ec1053d7fff40a9cb6ba5b8501e87 /src | |
parent | 426b8722e6e32f7fab46769e4d71184bf510fd0e (diff) |
support nonstandard, unconfigured builds (e.g., "./configure debug" followed by "make production ASSERTIONS=1")
Diffstat (limited to 'src')
-rw-r--r-- | src/Makefile.in | 1 | ||||
-rw-r--r-- | src/context/Makefile.in | 1 | ||||
-rw-r--r-- | src/expr/Makefile.in | 1 | ||||
-rw-r--r-- | src/main/Makefile.in | 1 | ||||
-rw-r--r-- | src/parser/Makefile.in | 1 | ||||
-rw-r--r-- | src/parser/cvc/Makefile.in | 1 | ||||
-rw-r--r-- | src/parser/smt/Makefile.in | 1 | ||||
-rw-r--r-- | src/prop/Makefile.in | 1 | ||||
-rw-r--r-- | src/prop/minisat/Makefile.in | 1 | ||||
-rw-r--r-- | src/smt/Makefile.in | 1 | ||||
-rw-r--r-- | src/theory/Makefile.in | 1 | ||||
-rw-r--r-- | src/theory/uf/Makefile.in | 1 | ||||
-rw-r--r-- | src/util/Makefile.in | 1 |
13 files changed, 13 insertions, 0 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 38d59d02a..de268af16 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -253,6 +253,7 @@ localedir = @localedir@ localstatedir = @localstatedir@ lt_ECHO = @lt_ECHO@ mandir = @mandir@ +mk_include = @mk_include@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ pdfdir = @pdfdir@ diff --git a/src/context/Makefile.in b/src/context/Makefile.in index 51069583d..c4f82d42a 100644 --- a/src/context/Makefile.in +++ b/src/context/Makefile.in @@ -198,6 +198,7 @@ localedir = @localedir@ localstatedir = @localstatedir@ lt_ECHO = @lt_ECHO@ mandir = @mandir@ +mk_include = @mk_include@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ pdfdir = @pdfdir@ diff --git a/src/expr/Makefile.in b/src/expr/Makefile.in index c7d99dc84..4892220d8 100644 --- a/src/expr/Makefile.in +++ b/src/expr/Makefile.in @@ -199,6 +199,7 @@ localedir = @localedir@ localstatedir = @localstatedir@ lt_ECHO = @lt_ECHO@ mandir = @mandir@ +mk_include = @mk_include@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ pdfdir = @pdfdir@ diff --git a/src/main/Makefile.in b/src/main/Makefile.in index 26ea81859..58eeeacdd 100644 --- a/src/main/Makefile.in +++ b/src/main/Makefile.in @@ -200,6 +200,7 @@ localedir = @localedir@ localstatedir = @localstatedir@ lt_ECHO = @lt_ECHO@ mandir = @mandir@ +mk_include = @mk_include@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ pdfdir = @pdfdir@ diff --git a/src/parser/Makefile.in b/src/parser/Makefile.in index 859329834..f1b430add 100644 --- a/src/parser/Makefile.in +++ b/src/parser/Makefile.in @@ -262,6 +262,7 @@ localedir = @localedir@ localstatedir = @localstatedir@ lt_ECHO = @lt_ECHO@ mandir = @mandir@ +mk_include = @mk_include@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ pdfdir = @pdfdir@ diff --git a/src/parser/cvc/Makefile.in b/src/parser/cvc/Makefile.in index 57db98f0b..3fd1701c8 100644 --- a/src/parser/cvc/Makefile.in +++ b/src/parser/cvc/Makefile.in @@ -202,6 +202,7 @@ localedir = @localedir@ localstatedir = @localstatedir@ lt_ECHO = @lt_ECHO@ mandir = @mandir@ +mk_include = @mk_include@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ pdfdir = @pdfdir@ diff --git a/src/parser/smt/Makefile.in b/src/parser/smt/Makefile.in index 2e9350486..721ff0e2b 100644 --- a/src/parser/smt/Makefile.in +++ b/src/parser/smt/Makefile.in @@ -202,6 +202,7 @@ localedir = @localedir@ localstatedir = @localstatedir@ lt_ECHO = @lt_ECHO@ mandir = @mandir@ +mk_include = @mk_include@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ pdfdir = @pdfdir@ diff --git a/src/prop/Makefile.in b/src/prop/Makefile.in index 311d3f8c7..c6538df38 100644 --- a/src/prop/Makefile.in +++ b/src/prop/Makefile.in @@ -236,6 +236,7 @@ localedir = @localedir@ localstatedir = @localstatedir@ lt_ECHO = @lt_ECHO@ mandir = @mandir@ +mk_include = @mk_include@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ pdfdir = @pdfdir@ diff --git a/src/prop/minisat/Makefile.in b/src/prop/minisat/Makefile.in index a54518c74..1dbc8da9f 100644 --- a/src/prop/minisat/Makefile.in +++ b/src/prop/minisat/Makefile.in @@ -198,6 +198,7 @@ localedir = @localedir@ localstatedir = @localstatedir@ lt_ECHO = @lt_ECHO@ mandir = @mandir@ +mk_include = @mk_include@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ pdfdir = @pdfdir@ diff --git a/src/smt/Makefile.in b/src/smt/Makefile.in index 9647e51b9..35126e382 100644 --- a/src/smt/Makefile.in +++ b/src/smt/Makefile.in @@ -198,6 +198,7 @@ localedir = @localedir@ localstatedir = @localstatedir@ lt_ECHO = @lt_ECHO@ mandir = @mandir@ +mk_include = @mk_include@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ pdfdir = @pdfdir@ diff --git a/src/theory/Makefile.in b/src/theory/Makefile.in index d37387741..dafd68b6c 100644 --- a/src/theory/Makefile.in +++ b/src/theory/Makefile.in @@ -236,6 +236,7 @@ localedir = @localedir@ localstatedir = @localstatedir@ lt_ECHO = @lt_ECHO@ mandir = @mandir@ +mk_include = @mk_include@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ pdfdir = @pdfdir@ diff --git a/src/theory/uf/Makefile.in b/src/theory/uf/Makefile.in index dfb8ea932..3b3cd6bbb 100644 --- a/src/theory/uf/Makefile.in +++ b/src/theory/uf/Makefile.in @@ -184,6 +184,7 @@ localedir = @localedir@ localstatedir = @localstatedir@ lt_ECHO = @lt_ECHO@ mandir = @mandir@ +mk_include = @mk_include@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ pdfdir = @pdfdir@ diff --git a/src/util/Makefile.in b/src/util/Makefile.in index 5627e01a9..3ac892aba 100644 --- a/src/util/Makefile.in +++ b/src/util/Makefile.in @@ -199,6 +199,7 @@ localedir = @localedir@ localstatedir = @localstatedir@ lt_ECHO = @lt_ECHO@ mandir = @mandir@ +mk_include = @mk_include@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ pdfdir = @pdfdir@ |