I tried this. First I build sage, then did

$ cd src/mac-app
$ make

This led to an apparent error:

mkdir -p sage-8.1-OSX_10.13.2_x86_64
make: *** No rule to make target 
`sage-8.1-OSX_10.13.2_x86_64/SageMath-8.1.app/Contents/Resources/sage/sage', 
needed by `sage_symlink'.  Stop.
make: *** Waiting for unfinished jobs....
xcodebuild -target Sage -configuration Debug \
        ARCHS=x86_64 \
        ONLY_ACTIVE_ARCH=NO \
        SDKROOT=
Build settings from command line:
    ARCHS = x86_64
    ONLY_ACTIVE_ARCH = NO
    SDKROOT = 

At this point it continued with 

=== BUILD TARGET Sage OF PROJECT Sage WITH CONFIGURATION Debug ===


and then after just a few minutes, it said

** BUILD SUCCEEDED **
mkdir -p sage-8.1-OSX_10.13.2_x86_64/SageMath-8.1.app
cp -pRL build/Debug/Sage.app/ sage-8.1-OSX_10.13.2_x86_64/SageMath-8.1.app
plutil -convert xml1 sage-8.1-OSX_10.13.2_x86_64/SageMath-8.1.app/Contents/
Info.plist
sed -i '' "s/SAGE_VERSION/8.1/" sage-8.1-OSX_10.13.2_x86_64/SageMath-8.1.app
/Contents/Info.plist

but produced no .dmg file. If I make the change 

diff --git a/src/mac-app/Makefile b/src/mac-app/Makefile
index 430121647a..d0c8238cbc 100644
--- a/src/mac-app/Makefile
+++ b/src/mac-app/Makefile
@@ -103,7 +103,7 @@ $(TARGET)/README.txt: $(SAGE_ROOT)/src/bin/sage-README-
osx.txt
 
 non_app_files: $(TARGET)/README.txt $(TARGET)/.background/sage.png $(TARGET
)/Applications
 
-sage_symlink: $(APP)/Contents/Resources/sage/sage
+sage_symlink: $(APP)/Contents/Resources/sage
        rm -f $(APP)/sage
        ln -s Contents/Resources/sage/sage $(APP)/sage

 
then it seems to actually build correctly, producing a .dmg file.

-- 
John

-- 
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.

Reply via email to