Hello to those of you who responded.
I feel a bit lonely here at the bottom of the world (in New Zealand)!
I have tried out your suggestions - please see the interpolated replies down in the text.

I would still like help in debugging lpdoc.
The documentation still warns that it is not up to date - so I have probably not done something necessary which is not yet documented. The documentation has remained unaltered for some years now.
I've been trying for 3 years to use lpdoc. I am really keen on getting it to work.
I already do a lot of documentation in LaTeX (via the LyX frontend) for the aubit4gl project
as well as for past applications which I have written in Informix 4GL, one of which uses an expert system for Insurance Claims processing which I wrote in Ciao prolog and linked into the C code generated by 4GL.

Is a new version of lpdoc (or at its documentation) imminent?

Regards
John O'Gorman

On 20/08/14 20:50, Remy Haemmerle wrote:

Hi John,

To load the emacs mode of recent versions of Ciao you have to include the following lines in your .emacs

(if (file-exists-p "/usr/local/lib/ciao/ciao-mode-init.el")
��(load-file "/usr/local/lib/ciao/ciao-mode-init.el")
)

This should work with aquamacs, /usr/bin/emacs or Carbon emacs (http://emacsformacosx.com/)

I have Aquamacs working now after changing the el files to call run-mode-hooks instead of run-hooks.
The Aquamacs is a really pleasant implementation of of emacs. The /usr/bin/emacs is by comparison really impoverished (no menus, no meta key, etc).

Otherwise to use the Alt (Option) key as Meta Key under Terminal.app, do the following:
Go to Preferences > Settings > Keyboard > Use option as meta key.

I tried this. No luck!
The Keyboard screen was a longish list of mappings of function keys F1-F20 and shift F5-F12
and a few others, nearly all of which encoded to \033[xx (ESC sequences).
There was mention of Alt.

In general you can find other useful tips about Emacs and MacOS on emacswiki.org
http://www.emacswiki.org/emacs/EmacsForMacOS

I hope it will help.

Best,

Remy

8/14/14 7:07 AM, John O'Gorman:

Hi

Further problems.

I decided to try /usr/bin/emacs in place of Aquamacs.
Problems
The Alt (Option) key is not treated by emacs as the Meta key. (It was by Aquamacs).
But ESC followed by say x did work as expected.
But nothing else did. The DOTemacs.el file does not execute properly.
I haven't yet figured out how to debug where emacs lisp is going wrong.
Emacs version is 22.1.1 on OS X 10.9.4

Can anyone suggest how to get the Alt (Option) key to be mapped to Meta for emacs?
And how can I get the load-file instructions to produce debugging messages?

Regards
John O'Gorman

On 14/08/14 09:51, John O'Gorman wrote:

Hi

I started out on the journey of compiling CiaoDE source on the Mac.
I immediately ran into the problem you mentioned about Clang instead of GNU gcc�� being supplied with Xcode.

Rather than reinstalling the gcc stuff, I will wait for your next distribution for Mac OS X 10.9.4.

Incidentally, when I tried /usr/bin/emacs it did not complain about ciao-mode but nevertheless it did not change into ciao-mode.
When I tried to M-x ciao-mode it did not jump into the minibuffer.
So I will continue to investigate that.

Regards
John O'Gorman

On 13/08/14 11:33, ciao@clip.dia.fi.upm.es wrote:

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

_______________________________________________
Ciao-users mailing list
Ciao-users@clip.dia.fi.upm.es
http://clip.dia.fi.upm.es/cgi-bin/mailman/listinfo/ciao-users

_______________________________________________
Ciao-users mailing list
Ciao-users@clip.dia.fi.upm.es
http://clip.dia.fi.upm.es/cgi-bin/mailman/listinfo/ciao-users