Ciao-users August 2014

ciao-users@cliplab.org

8 participants
7 discussions

Install from source on Ubuntu 14.04 LTS for x86_64
by GreyHat LispHacker 26 Aug '14

26 Aug '14

Has anyone been able to install Ciao on a 64 bit version of Debian or Ubuntu? My initial experience with Ciao was on an older 32 bit system (Ubuntu 10.04) and it worked without any problems. When I attempt to use the Ciao docs to install on an Intel based 64 bit system, I am running into a number of gcc and linker errors, with various .so not being found. What recommendations, if any, are there for getting Ciao to run on 64 bit systems? Thanks for any help.

2 1

Re: [Ciao-users] Cannot get Ciao 1.15 menus on iMac Maverick OS X 10.9.4
by ciao＠clip.dia.fi.upm.es 22 Aug '14

22 Aug '14

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 -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | IMDEA Software Institute ciao(a)clip.dia.fi.upm.es | and Technical University of Madrid http://www.ciao-lang.org / http://www.cliplab.org -----------------------------------------------------------------------------

5 8

Re: [Ciao-users] Cannot get Ciao 1.15 menus on iMac Maverick OS X 10.9.4
by ciao＠clip.dia.fi.upm.es 13 Aug '14

13 Aug '14

> Thanks for the quick response. > > I will download the source and try to build CiaoDE on the Mac. > > Incidentally, I tried emacs (as opposed to Aquamacs) and it read > DOTemacs.el and then read ciao.el with the warning that ciao.elc was > older than ciao.el. > > Could someone tell me how to recompile ciao.el to ciao.elc from within > emacs (or Aquamacs). >From emacs simply do "M-x byte-recompile-file" -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | IMDEA Software Institute ciao(a)clip.dia.fi.upm.es | and Technical University of Madrid http://www.ciao-lang.org / http://www.cliplab.org -----------------------------------------------------------------------------

1 0

Re: [Ciao-users] [Ciao-mailman] getting into trace mode.
by ciao＠clip.dia.fi.upm.es 13 Aug '14

13 Aug '14

Sorry, a correction (I got the debug_module commands backwards): - For a 'user file' (file with no module declaration): ?- debug_module(user). ?- ensure_loaded('/tmp/foo.pl'). ?- trace. - For a module: ?- debug_module(foo). ?- use_module('/tmp/foo.pl'). ?- trace. Then: ?- p(X). 1 1 Call: user:p(X) ? -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | IMDEA Software Institute ciao(a)clip.dia.fi.upm.es | and Technical University of Madrid http://www.ciao-lang.org / http://www.cliplab.org -----------------------------------------------------------------------------

1 0

Cannot get Ciao 1.15 menus on iMac Maverick OS X 10.9.4
by John O'Gorman 12 Aug '14

12 Aug '14

Hi Help please. 1. I was using ciao-1.14 on an iMac with Aquamatics OK except that there was no lpdoc. Initially I found that I was missing the DOTemacs.el file from the Mac download, but I had got round that by copying it from the Linux version which I have been using for some years. 2. So I downloaded CiaoDE-1.15 development version and then my troubles began. At least I now had lpdoc. Despite the presence of a file ~/.emacs which I created with the command: (load-file "/usr/local/lib/ciao/DOTemacs.el") Aquamacs refused to go into ciao-mode or to display the Ciao menus. It produces the error message: "bug in ciao-mode: it forgets to call `run-mode-hooks'" 3. I tried to read the emacs manual and found that with version 24.something they have changed the run-hooks functions and now seem to favour using run-mode-hooks instead. So next I tried to find where run-hooks was called and found that ciao.el contained 2 calls. I edited the file replacing run-hooks with run-mode-hooks but found that Aquamacs was instead running the file ciao.elc. When I tried to compile this I was defeated? a. I tried M-x byte-compile-fileC-q"/usr/local/lib/ciao/ciao.el" but got the message [no match]. Putting parentheses around the command made no difference. b. I found that Aquamacs had a tools menu with offered compile. Executing this put me into the minibuffer: M-x make -k I added "/usr/local/lib/ciao/ciao.elc" but again [no match]. Obviously there was no makefile. So. How should I proceed next? What is the meaning of [no match] in the minibuffer? Aquamacs does read from both ~/.emacs and from There is no lisp or elisp command on the Mac. Versions: Mac OS X 10.9.4 Aquamacs 3.0preview3 (based on GNU emacs 24.3.50.2) CiaoDE-1.15 Regards John O'Gorman

1 0

Re: [Ciao-users] [Ciao-mailman] getting into trace mode.
by ciao＠clip.dia.fi.upm.es 04 Aug '14

04 Aug '14

> Hello, > > I type > > ?- trace. > > at the prompt, and then execute my query and ciao doesn't trace. > > The same occurs with > ?- debug. Hi Jim, the Ciao debugger is modular, so that you can turn debugging on or off for each of the modules of a large project. This allows easily mixing code not being debugged (compiled for speed, space savings) with code compiled in debug mode. It also has source debugging capabilities, i.e., it traces execution through the source code (graphically if within Emacs or other environments). In order to use it, assuming we want to trace file foo.pl: - Easiest way: within Emacs, open foo.pl and type 'C-c d' (or, via menus CiaoDbg->(Un)Debug buffer source). The foo module will be automatically reloaded in debug mode and set to trace, and queries to it will be traced in the source file. - You can also do it manually (e.g., at a shell, outside the graphical environment). You mark the module or user file for debugging and reload. The debugger then needs to be set to trace: - For a module: ?- debug_module(user). ?- use_module('/tmp/foo.pl'). ?- trace. - For a 'user file' (file with no module declaration): ?- debug_module(foo). ?- ensure_loaded('/tmp/foo.pl'). ?- trace. Then: ?- p(X). 1 1 Call: user:p(X) ? Using debug_module_source(...) makes the debugger print source location information (works best within Emacs, etc.). Let us know if you have any problems! MH -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | IMDEA Software Institute ciao(a)clip.dia.fi.upm.es | and Technical University of Madrid http://www.ciao-lang.org / http://www.cliplab.org -----------------------------------------------------------------------------

1 0

Fwd: how to enrich a linguistic app using CIAO with with sound and picture
by oui＠mailoo.org 04 Aug '14

04 Aug '14

Hi Jose Your answer is in my view very important and very good for all user being operating with texts! Thank you very much! Probably it is also included in the manual but it is very difficult to find the item of manual... For people willing to treat linguistic problems and making them attractive for other people, two or three things can help a lot: - show a jpeg picture of the object of the word or fact being related by the sentence - send a wave file (or mp3), to show or check how to pronounce. How to send both to the standard output and - clear the screen (as far as probably needed) before to continue the dialogue? Kind regards

2 2

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users August 2014