8 Mar
2012
8 Mar
'12
7:53 a.m.
Hi!
I would like to use the Ciao preprocessor (if possible through the command line utility ciaoppcl).
Unfortunately, I cannot find any executable of that name in the standard binary distribution for Mac OS X (CiaoDE-1.15.0-14566).
The same when I built from source with the following commands:
./ciaosetup configure --cc=/usr/bin/gcc-4.2 --with_ciaoppcl=yes ./ciaosetup build ./ciaosetup docs ./ciaosetup install
How can I run the Ciao preprocessor command line interface?
If that is not possible right now, how can I call it from a Prolog program?
Cheers, Peter
--
Peter Schneider-Kamp mailto:petersk(a)imada.sdu.dk
Math. & Computer Science http://imada.sdu.dk/~petersk/
University of Southern Denmark phone +45 6550 2327