projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 918b0fd) | patch
This commit moves the scripts for building the Debug_tags, Traces_tags, Debug_tags...
authorTim King <taking@google.com>
Sat, 24 Oct 2015 00:47:11 +0000 (17:47 -0700)
committerTim King <taking@google.com>
Mon, 26 Oct 2015 17:04:26 +0000 (10:04 -0700)
commit596581cefe8bc36f30f685d884d6152ff0b80b03
tree505b39b24b818daf1374acc0459edc0493400ae3tree
parent918b0fd9ecde048773d245eac66eba9b4306d9d2commit | diff
This commit moves the scripts for building the Debug_tags, Traces_tags, Debug_tags.h and Trace_tags.h out of options/Makefile.am and into seperate scripts. This also enables these files always being created.
src/options/Makefile.am diff | blob | history
src/options/mktagheaders [new file with mode: 0755] blob
src/options/mktags [new file with mode: 0755] blob