how to run cygwin compiled sage by double-clicking a bat file

[Ondrej Certik]

Hi,

create the sage-windows.bat file:

"
local\bin\bash --rcfile local\bin\sage-env -i sage
"

then create the local/bin/sage-win-copy file:

"
. local/bin/sage-env

# copy the cygwin dlls:
cp /usr/bin/*.dll $SAGE_LOCAL/bin/

# copy the basic shell utilities:
cp /usr/bin/bash $SAGE_LOCAL/bin/
cp /usr/bin/ls $SAGE_LOCAL/bin/
cp /usr/bin/uname $SAGE_LOCAL/bin/
cp /usr/bin/sed $SAGE_LOCAL/bin/
cp /usr/bin/cat $SAGE_LOCAL/bin/
cp /usr/bin/readlink $SAGE_LOCAL/bin/
cp /usr/bin/realpath $SAGE_LOCAL/bin/
"

then in cygwin build sage using:

make
local/bin/sage-win-copy

and run sage by double clicking on the "sage-windows" icon (which is a
bat file).

For me this runs sage (resp. femhub) just fine. It uses the bash + dll
files from $SAGE_LOCAL/bin. Since I only have one windows machine, I
have not tested what happens if cygwin is not installed at all. I
think and hope that it would work, but it has to be tried --- it is
possible that bash is too clever and it gets things from the cygwin
install below the hood.

I am now building femhub from scratch, make a zip file with the binary
and then I'll ask someone who doesn't have cygwin to please try it. :)

Ondrej