Changes between Version 26 and Version 27 of Building/GettingTheSources

Jun 21, 2008 1:03:23 AM (9 years ago)

Added workaround for darcs case sensitivity issues on Mac OS X.


  • Building/GettingTheSources

    v26 v27  
    136136This issue has been reported as [ issue 560] in the darcs bug tracking system.
     138==== Case insensitivity ====
     139The default Mac OS X files systems (HFS+) is case-insensitive and darcs is case sensitive.  While this ususally doesn't cause any problems, occassionally a {{{Unapplicable patch}}} error can occur.  It's possible to work around this by using {{{Disk Utility}}} to create a case sensitive file system and apply the patches inside of it.  To do this:
     141 1. Open {{{/Applications/Utilities/Disk Utility}}}.
     142 2. Make sure that none of the images/disks on the left are highlighted/selected.  If any are, <Cmd>+Click them to unselect them.
     143 3. Click the "New Image" button.
     144 4. Set the "Volume Format" to "Mac OS X Extended (Case Sensitive)".
     145 5. Set "Encryption" to "None".
     146 6. Set "Partitions" to "Single Partition - Apple Partition Map"
     147 7. Set "Image Format" to "sparse disk image".
     148 8. Set "Volume Size" to "Custom..." and select an appropriately large size.  Sparse images only take up as much space is as needed, plus a little overhead, so it's better to overestimate than underestimate.  A 30 GB sparse image with no data in it takes up ~50 MB.
     149 9. Set "Volume Name" to something appropriate (e.g., "GHC").
     150 10. Set "Save As" to something appropriate (e.g., "GHC Disk").
     151 11. Click the "Create" button.
     153This creates a file with a {{{.sparseimage}}} extension (e.g., {{{GHC Disk.sparseimage}}}) at the location that was set in step 10 and automatically mounts it.  The partition can be accessed through the {{{/Volumes}}} folder (e.g., {{{/Volumes/GHC}}}).  This partition behaves exactly like any other Apple partition except that it's case sensitive and darcs can apply the patches it couldn't on the case insensitive file system.  After the patches have been applied, the repository can be copied to the normal file system, the partition can be unmounted, and the sparse image can be deleted.