Dear Amoss,
We should have sent an e-mail to the asap list to explain the current
situation. In any case, if you would like to install ciaopp, what we
recommend is that you checkout CiaoDE from the central subversion
repository with the command:
svn co svn+ssh://user(a)clip.dia.fi.upm.es/home/clip/SvnReps/Systems/CiaoDE/trunk CiaoDE
where 'user' is a valid user name at clip server. You can use asap-bri
or ask us to open a personal account for you.
CiaoDE contains a distribution of ciao, ciaopp, and lpdoc in separate
directories.
After checking out CiaoDE, cd CiaoDE and execute
"make installsrc".
This should take care of compiling everything. It takes a good amount
of time though (15 mins).
Do not hesitate to contact us again for any questions,
The UPMers
--
===============================================================
| German Puebla |
http://clip.dia.fi.upm.es/~german |
| Facultad de Informatica | Universidad Politecnica de Madrid |
===============================================================
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciaopp-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciaopp-users-request(a)clip.dia.fi.upm.es Unsubscribe from list
<whatever> ciaopp-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages:
http://www.clip.dia.fi.upm.es/Mail/ciaopp-users/
-----------------------------------------------------------------------------
