diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-05-14 02:23:55 +0200 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-05-14 02:23:55 +0200 |
| commit | a19af87d6bfee1abc6c179f79eb391b381a26d81 (patch) | |
| tree | 4241d6df416e5819ef818033339b65678d101f97 /driver | |
| parent | e8756e5bfcd128817b7942cb439ee3287dd0637a (diff) | |
Please the GHC build-system.
As I can not figure out how to do this properly, if we're in GHC tree,
we treat the library as being the same package. If we're not in the
tree, we require that the library be installed separately.
Diffstat (limited to 'driver')
0 files changed, 0 insertions, 0 deletions