dslab-epfl/s2e — pull request #36 by DonDiego (2013-04-22 14:19:39+00:00)
Title: configuration rule refactoring

The time for preliminaries and drive-by fixes is over, more sustantive changes are coming now. This pull request makes all target names follow a consistent scheme and then exploits that scheme by replacing all configure rules by a generic pattern.