projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2aa9c95) | patch
Makefile: only build a single shared library
authorBrian Norris <banorris@uci.edu>
Mon, 21 May 2012 17:05:47 +0000 (10:05 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 21 May 2012 17:05:47 +0000 (10:05 -0700)
commit0cea5009ef09585eaa6e60ba5a4662a2ea60eec4
treecc757c706d789cad9cb5f643015750236024ce52tree | snapshot
parent2aa9c9540491284f29464e9756b8896f2cbbc8c8commit | diff
Makefile: only build a single shared library

Now that everything is uniform, we can easily just build a single library.
Makefile diff | blob | history
C++11 memory model checker