projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 596581c) | patch
This commit removes using absolute paths in the generation of the .subdirs file....
authorTim King <taking@google.com>
Sat, 24 Oct 2015 01:31:30 +0000 (18:31 -0700)
committerTim King <taking@google.com>
Mon, 26 Oct 2015 17:12:37 +0000 (10:12 -0700)
commit52b8d1508d91a2284c29e3fae02a22307e42a476
treed6d7f0daebc6a30b95b00f6b243b1239c801249btree
parent596581cefe8bc36f30f685d884d6152ff0b80b03commit | 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.
src/Makefile.am diff | blob | history
src/Makefile.theories [new file with mode: 0644] blob
src/expr/Makefile.am diff | blob | history
src/mksubdirs [new file with mode: 0755] blob
src/theory/Makefile.subdirs [deleted file] blob | history