diff options
| author | Morgan Deters <mdeters@gmail.com> | 2009-12-17 01:43:31 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2009-12-17 01:43:31 +0000 |
| commit | 65beb8792cbdc76a974f434652eca5314017dab3 (patch) | |
| tree | d0b3fbfcd9cc1fd95dadc31766b08f3a217349f4 /src | |
| parent | 0baf2537096b6ee68372b2936b37fdaf5670b0f7 (diff) | |
build system cleanup; test system separation into white-box, black-box, and public tests
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 1 | ||||
| -rw-r--r-- | src/context/Makefile | 1 | ||||
| -rw-r--r-- | src/expr/Makefile | 1 | ||||
| -rw-r--r-- | src/main/Makefile | 1 | ||||
| -rw-r--r-- | src/parser/Makefile | 1 | ||||
| -rw-r--r-- | src/parser/cvc/Makefile | 1 | ||||
| -rw-r--r-- | src/parser/smt/Makefile | 1 | ||||
| -rw-r--r-- | src/prop/Makefile | 1 | ||||
| -rw-r--r-- | src/prop/minisat/Makefile | 1 | ||||
| -rw-r--r-- | src/smt/Makefile | 1 | ||||
| -rw-r--r-- | src/theory/Makefile | 1 | ||||
| -rw-r--r-- | src/theory/uf/Makefile | 1 | ||||
| -rw-r--r-- | src/util/Makefile | 1 |
13 files changed, 0 insertions, 13 deletions
diff --git a/src/Makefile b/src/Makefile index e119c83d7..dc23e2272 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,5 +1,4 @@ topdir = .. srcdir = src -builddir = $(topdir)/builds/$(srcdir) include $(topdir)/Makefile.subdir diff --git a/src/context/Makefile b/src/context/Makefile index 5286dd3ac..44ac0f2e6 100644 --- a/src/context/Makefile +++ b/src/context/Makefile @@ -1,5 +1,4 @@ topdir = ../.. srcdir = src/context -builddir = $(topdir)/builds/$(srcdir) include $(topdir)/Makefile.subdir diff --git a/src/expr/Makefile b/src/expr/Makefile index b661835a5..eff3b332e 100644 --- a/src/expr/Makefile +++ b/src/expr/Makefile @@ -1,5 +1,4 @@ topdir = ../.. srcdir = src/expr -builddir = $(topdir)/builds/$(srcdir) include $(topdir)/Makefile.subdir diff --git a/src/main/Makefile b/src/main/Makefile index 686674906..5e936ee06 100644 --- a/src/main/Makefile +++ b/src/main/Makefile @@ -1,5 +1,4 @@ topdir = ../.. srcdir = src/main -builddir = $(topdir)/builds/$(srcdir) include $(topdir)/Makefile.subdir diff --git a/src/parser/Makefile b/src/parser/Makefile index 1ea7edf5d..cef81750e 100644 --- a/src/parser/Makefile +++ b/src/parser/Makefile @@ -1,5 +1,4 @@ topdir = ../.. srcdir = src/parser -builddir = $(topdir)/builds/$(srcdir) include $(topdir)/Makefile.subdir diff --git a/src/parser/cvc/Makefile b/src/parser/cvc/Makefile index c91554a47..cbcc0a493 100644 --- a/src/parser/cvc/Makefile +++ b/src/parser/cvc/Makefile @@ -1,5 +1,4 @@ topdir = ../../.. srcdir = src/parser/cvc -builddir = $(topdir)/builds/$(srcdir) include $(topdir)/Makefile.subdir diff --git a/src/parser/smt/Makefile b/src/parser/smt/Makefile index aa3e74236..7e97ed357 100644 --- a/src/parser/smt/Makefile +++ b/src/parser/smt/Makefile @@ -1,5 +1,4 @@ topdir = ../../.. srcdir = src/parser/smt -builddir = $(topdir)/builds/$(srcdir) include $(topdir)/Makefile.subdir diff --git a/src/prop/Makefile b/src/prop/Makefile index 79fe1084b..08f0c693c 100644 --- a/src/prop/Makefile +++ b/src/prop/Makefile @@ -1,5 +1,4 @@ topdir = ../.. srcdir = src/prop -builddir = $(topdir)/builds/$(srcdir) include $(topdir)/Makefile.subdir diff --git a/src/prop/minisat/Makefile b/src/prop/minisat/Makefile index 49512a1cd..e8b442ac1 100644 --- a/src/prop/minisat/Makefile +++ b/src/prop/minisat/Makefile @@ -1,5 +1,4 @@ topdir = ../../.. srcdir = src/prop/minisat -builddir = $(topdir)/builds/$(srcdir) include $(topdir)/Makefile.subdir diff --git a/src/smt/Makefile b/src/smt/Makefile index 84a43ff39..7103b6d21 100644 --- a/src/smt/Makefile +++ b/src/smt/Makefile @@ -1,5 +1,4 @@ topdir = ../.. srcdir = src/smt -builddir = $(topdir)/builds/$(srcdir) include $(topdir)/Makefile.subdir diff --git a/src/theory/Makefile b/src/theory/Makefile index 2a4a03491..da7d0e6b9 100644 --- a/src/theory/Makefile +++ b/src/theory/Makefile @@ -1,5 +1,4 @@ topdir = ../.. srcdir = src/theory -builddir = $(topdir)/$(builds)/$(srcdir) include $(topdir)/Makefile.subdir diff --git a/src/theory/uf/Makefile b/src/theory/uf/Makefile index 524ff2009..c3c641384 100644 --- a/src/theory/uf/Makefile +++ b/src/theory/uf/Makefile @@ -1,5 +1,4 @@ topdir = ../../.. srcdir = src/theory/uf -builddir = $(topdir)/builds/$(srcdir) include $(topdir)/Makefile.subdir diff --git a/src/util/Makefile b/src/util/Makefile index 0bd2f197b..ea9087049 100644 --- a/src/util/Makefile +++ b/src/util/Makefile @@ -1,5 +1,4 @@ topdir = ../.. srcdir = src/util -builddir = $(topdir)/builds/$(srcdir) include $(topdir)/Makefile.subdir |