dslab-epfl/s2e — pull request #23 by DonDiego (2013-03-05 09:38:36+00:00)
Title: Build fixes

Another batch of build fixes with more refactoring and some convenience targets. This is another step towards making the build system more declarative, i.e. more resembling a Makefile rather than a large shell script.