I double checked and the Xcode IDE and Xcode Command Line Tools version is 9.2 ( 9C40b).
When I started the Xcode IED it wanted to install some files, after that the script to build the man app runs further, see below. I think it fails in trying to move the dmg. I will look at the Makefile to see if I can find the problem. Mike sent 5283312336 bytes received 2867200 bytes 26104590.30 bytes/sec total size is 5273738227 speedup is 1.00 test -d sage-8.1-OSX_10.13.2_x86_64/SageMath-8.1.app/Contents/Resources/sage && touch sage-8.1-OSX_10.13.2_x86_64/SageMath-8.1.app/Contents/Resources/sage rm -f sage-8.1-OSX_10.13.2_x86_64/SageMath-8.1.app/sage ln -s Contents/Resources/sage/sage sage-8.1-OSX_10.13.2_x86_64/SageMath-8.1.app/sage cp /Users/michael/sage-8.1/src/bin/sage-README-osx.txt sage-8.1-OSX_10.13.2_x86_64/README.txt mkdir -p sage-8.1-OSX_10.13.2_x86_64/.background cp sage-dmg-background.png sage-8.1-OSX_10.13.2_x86_64/.background/sage.png rm -f sage-8.1-OSX_10.13.2_x86_64/Applications ln -s /Applications/ sage-8.1-OSX_10.13.2_x86_64/Applications hdiutil create -srcfolder sage-8.1-OSX_10.13.2_x86_64 -volname sage-8.1-OSX_10.13.2_x86_64 -format UDRW tmp-sage-8.1-OSX_10.13.2_x86_64.app.dmg ........................................................................................................................................ created: /Users/michael/sage-8.1/src/mac-app/tmp-sage-8.1-OSX_10.13.2_x86_64.app.dmg mkdir -p mnt hdiutil attach tmp-sage-8.1-OSX_10.13.2_x86_64.app.dmg -mountpoint mnt /dev/disk6 GUID_partition_scheme /dev/disk6s1 EFI /dev/disk6s2 Apple_APFS /dev/disk7 EF57347C-0000-11AA-AA11-0030654 /dev/disk7s1 41504653-0000-11AA-AA11-0030654 /Users/michael/sage-8.1/src/mac-app/mnt osascript arrangeIcons.applescript mnt SageMath-8.1.app arrangeIcons.applescript:107:111: execution error: Finder got an error: Can’t get disk "mnt". (-1728) make: *** [tmp-sage-8.1-OSX_10.13.2_x86_64.app.dmg] Error 1 -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.