projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6c5b78) | patch
Makefile: fixup Mac dependencies
authorBrian Norris <banorris@uci.edu>
Thu, 13 Sep 2012 07:22:55 +0000 (00:22 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 13 Sep 2012 07:22:55 +0000 (00:22 -0700)
commit964141f234c1b79f43f2a0988cc5bd55e484f004
tree6a89d09a523cb92fbdf488ff6da77f888bff7736tree | snapshot
parentf6c5b783a43b8b5d8d069e44ecf91cc770b5d47bcommit | diff
Makefile: fixup Mac dependencies

Now, Mac OSX builds can just use "make", not "make mac". (This also allows
"make debug" for Mac OSX)
Makefile diff | blob | history
common.mk diff | blob | history
C++11 memory model checker