projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d1a559) | patch
Makefile: rewrite header dependencies
authorBrian Norris <banorris@uci.edu>
Fri, 10 Aug 2012 18:52:36 +0000 (11:52 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 20 Aug 2012 23:18:04 +0000 (16:18 -0700)
commitfec9254c3747d5dde5d45e1ef81f7261c74bd5a7
tree5d94764e7c7a584b8fbd7710d396c7c9b651681etree | snapshot
parent1d1a5597f254b812fab97dea48e076b54f53d7e6commit | diff
Makefile: rewrite header dependencies

We shouldn't need to add new files in 3 different places. Automatically
generate most of this using GCC's '-MM' option.
.gitignore diff | blob | history
Makefile diff | blob | history
C++11 memory model checker