This could be because Ciao is using the default Emacs on MacOS (/usr/bin/emacs) instead of Aquamacs during installation. Can you try to clean up and restart installation from scratch with:
./ciaosetup configure --menu
(you may also need to set --cc=/usr/local/Cellar/gcc/4.8.3_1/bin/gcc-4.8 or wherever your gcc is, since that 1.15 still needed gcc --newer versions compile with clang but we have not got around making a distro, sorry; this should happen shortly). Select
Please select level of interaction:
1 -- Fully automatic (recommended). 2 -- Manually configure just a minimum set of options. 3 -- Manually configure an extended set of options.INTERACTIVE_CONFIG=[1] ? 2
Select the type of installation:
global -- Install the system in a separate location from the sources and set up things to use the installed version. The system will not require the sources to run, and they can be erased after installation. local -- The system will be compiled in, and run from the sources (this is specially useful for developers).INSTYPE=[global] ? local
Registration type:
all -- Make the system available to all users. Typically you you will need to complete the installation as root. user -- Make the system available only for the current user (configure it in the user's home directory).REGISTRATION_TYPE=[user] ? user
and, simply 'enter' for everything else, except:
The version of emacs that you wish to use with Ciao. The development environment will be compiled for use with this version.
EMACS_FOR_CIAO=[/usr/bin/emacs] ? /Applications/Aquamacs.app/Contents/MacOS/Aquamacs
(with no space at the end of the line). And then './ciaosetup build', './ciaosetup docs', './ciaosetup install'. This should work. Please let us know.
MH