claireprogramminglanguage : Message: CSP

claireprogramminglanguage · Claire Programming Language - A place to discuss about the CLAIRE language

Yahoo! Groups Tips

Did you know...

Message search is now enhanced, find messages faster. Take it for a spin.

Having problems with message search? Fill out this form to ensure your group is one of the first to be migrated to the new message search system.

Messages

Messages Help

Advanced

CLAIRE Installation problem

Message List

Reply | Forward

Message #658 of 1160 |

CSP - downloading CHOCO tool

Hi all,

Since I succeded in installing CLAIRE, I am now interested by performing
some CSP.

I saw that a tool called CHOCO is the one dedicated for such issues; but the
download page is not reachable through the link giving in the CLAIRE web
page. Could someone help me.

Thanks.

_____

[Non-text portions of this message have been removed]

Thu Jan 26, 2006 12:02 pm

Show Message Option

"HOUE Raymond" <rhoue@...>

ngouna

Offline

Send Email

Forward

Message #658 of 1160 |

Expand Messages	Author	Sort by Date
I tried to install CLAIRE under windows XP. Every thing went well until this message: clConsole.cpp c:\claireV3.3\csrc\clConsole.cpp(53) : error C4430: missing...	ngouna	Jan 23, 2006 4:13 pm
Hello, this is very strange ... many of us (including myself) are running claire under XP and never got anything similar. My guess (based on the few lines that...	ycaseau	Jan 24, 2006 6:21 am
Hello Everybody, I tried to use CLAIRE under windows XP to, but where is the claire executable in the release 3.3.40 ? (sorry, i'm a beginner) Maybe I missed a...	sebwind	Jan 24, 2006 2:00 pm
Hello, I will try to use CLAIRE with Cygwin @+...	sebwind	Jan 24, 2006 6:52 pm
Hi all, How I managed to install CLAIRE, by modifying some files: in clConsole.cpp and clNoConsole.cpp, I changed the lines [53] and [45] into int i, j,k; k=1;...	HOUE Raymond ngouna	Jan 26, 2006 10:54 am
This looks like a classical "environment variable" problem to me. you need to set CLAIRE3_HOME to the installation directory. Cheers, -- Yves ... clConsole.cpp...	ycaseau	Jan 28, 2006 8:11 am
Hi all, Since I succeded in installing CLAIRE, I am now interested by performing some CSP. I saw that a tool called CHOCO is the one dedicated for such issues;...	HOUE Raymond ngouna	Jan 26, 2006 12:09 pm
Finally, I got some usefull links : http://choco.sourceforge.net/ http://www.dcs.gla.ac.uk/~pat/cp4/index.html _____ [Non-text portions of this message have...	HOUE Raymond ngouna	Jan 26, 2006 1:12 pm
... You can try <www.claire-language.com>, I've just updated XL claire and the associated documentation. Notice that Choco has been rewritten for Java but that...	sbenilan	Jan 26, 2006 1:33 pm
Hi Syvain, I downoalded the latest XCL but I did not find any read me within the zip file. I am using XP. If I understoud what you are explaining, CLAIRE has a...	HOUE Raymond ngouna	Jan 26, 2006 1:59 pm
... If you have downloaded xlclaire-v3.3.36.tgz, you must find a README file that will give you the information necessary to install XL CLAIRE under win32. ......	sbenilan	Jan 26, 2006 2:11 pm
Hello Raymond, You can find any informations about CHOCO in this adress http://choco.sourceforge.net/...	sebwind	Jan 26, 2006 1:57 pm

< Prev Topic | Next Topic >

Advanced

Yahoo! My Yahoo! Mail
	Sign In New User? Sign Up
		Tech - Groups - Help

Yahoo! Groups Tips

Did you know...

Best of Y! Groups

Messages