diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-09-16 21:52:25 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-09-16 21:52:25 +0000 |
commit | 67bc89bd3fa304ea39934c14a7187c088e600011 (patch) | |
tree | 605dd06960842c354c8ca712690dbf605ef80fbc /src/theory/example/Makefile | |
parent | 438bec4894e3696d80152b420d7815ff88f07797 (diff) |
include example theory (former "UF-Tim") that's included in the dist but not built for the library
Diffstat (limited to 'src/theory/example/Makefile')
-rw-r--r-- | src/theory/example/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/theory/example/Makefile b/src/theory/example/Makefile new file mode 100644 index 000000000..be6721f80 --- /dev/null +++ b/src/theory/example/Makefile @@ -0,0 +1,4 @@ +topdir = ../../.. +srcdir = src/theory/example + +include $(topdir)/Makefile.subdir |