diff options
author | Tim King <taking@google.com> | 2015-10-23 18:31:30 -0700 |
---|---|---|
committer | Tim King <taking@google.com> | 2015-10-26 10:12:37 -0700 |
commit | 52b8d1508d91a2284c29e3fae02a22307e42a476 (patch) | |
tree | d6d7f0daebc6a30b95b00f6b243b1239c801249b /src/Makefile.theories | |
parent | 596581cefe8bc36f30f685d884d6152ff0b80b03 (diff) |
This commit removes using absolute paths in the generation of the .subdirs file. This also rearranges generation of the file so that one .subdirs file is generated once per Makefile.am file. This keeps using relative paths clean.
Diffstat (limited to 'src/Makefile.theories')
-rw-r--r-- | src/Makefile.theories | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Makefile.theories b/src/Makefile.theories new file mode 100644 index 000000000..8b5cef4d5 --- /dev/null +++ b/src/Makefile.theories @@ -0,0 +1,3 @@ + + +THEORIES = builtin booleans uf arith bv fp arrays datatypes sets strings quantifiers idl |