Changes between Initial Version and Version 1 of Ticket #14972, comment 7


Ignore:
Timestamp:
Apr 1, 2018 12:46:39 AM (20 months ago)
Author:
ezyang
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14972, comment 7

    initial v1  
    4343
    4444I hazard some change in Cabal caused the 'gmp' directory to be created. Not entirely sure what the correct fix is yet.
     45
     46BTW, there is a really goofy workaround, which is just to delete/move away the offending directory. (It'll probably get recreated when you rebuild though...)