Welcome to Telelogic Product Support
  Home Downloads Knowledgebase Case Tracking Licensing Help Telelogic Passport
Telelogic TAU (steve huntington)
Decrease font size
Increase font size
Topic Title: Tau G2 and gcc (cygwin)
Topic Summary:
Created On: 24-Feb-2004 13:00
Status: Read Only
Rate this topic Rate this topic
Terrible Terrible
Poor Poor
Fair Fair
Good Good
Very Good Very Good
Excellent Excellent
Linear : Threading : Single : Branch
Search Topic Search Topic
Topic Tools Topic Tools
Subscribe to this topic Subscribe to this topic
E-mail this topic to someone. E-mail this topic
Bookmark this topic Bookmark this topic
View similar topics View similar topics
View topic in raw text format. Print this topic.
Answer This question was answered by Nicolas NEFF, on Friday, March 11, 2005 4:47 PM

Answer:
Hi Suneel, I just would like to thank you very much for your explanation Best Regards, Nicolas
 24-Feb-2004 13:00
User is offline View Users Profile Print this message


Peter Amthor

Posts: 1
Joined: 24-Feb-2004

Hello,
how can I integrate the gcc in Tau G2 to use it as compiler for the Model Verifier. I know that I can set something in the artifact, but I do not know what and how. Are there any experiences in this area ?
Regards, Peter
Report this to a Moderator Report this to a Moderator
 16-Apr-2004 12:03
User is offline View Users Profile Print this message


Patrick Geremia

Posts: 6
Joined: 1-Jul-2003

We are using this method in our project since we want to be able to run on multiple platforms (Linux, Solaris and Windows).
You just have to install cygwin with gcc and make and select win 32 gcc as a target kind. Also make sure you have no space in the directory where Tau is installed.
Report this to a Moderator Report this to a Moderator
 18-Jan-2005 22:53
User is offline View Users Profile Print this message


Nicolas NEFF

Posts: 2
Joined: 1-Dec-2004

how do you select win 32 gcc as target kind, because I use windows + cygwin and when I build the model verifier, I have an error : Failed to launch nmake et Make execution failed ? I don't want it uses nmake but make, and I don't know how to specify it in TauG2
Report this to a Moderator Report this to a Moderator
 20-Jan-2005 19:08
User is offline View Users Profile Print this message


suneel santharam

Posts: 15
Joined: 4-Sep-2003

Hi Nicolas,

Please find the Screen Shot which will help you to select “Win32 – gcc ” as Target Kind.

Hope this will help you.

Best Regards,
Suneel.
Report this to a Moderator Report this to a Moderator
 20-Jan-2005 19:19
User is offline View Users Profile Print this message


suneel santharam

Posts: 15
Joined: 4-Sep-2003

Hmmm :-( I am not able to attach the screen shot.

However, follow the below steps:

1. Consider you have open standard Coffee Machine example.
2. Select the artifact(artifact_cm) and right click on it, to select the "Properties" option.
3. In the "Edit Properties" window for "Filter" option select "Model Verifier".
4. Now, you can see "Target Kind" option, select "Win32 - gcc" option.

This will enable Cygwin compiler on windows.

Best Regards,
Suneel.
Report this to a Moderator Report this to a Moderator
 20-Jan-2005 20:31
User is offline View Users Profile Print this message


Nicolas NEFF

Posts: 2
Joined: 1-Dec-2004

Answer Answer
Hi Suneel, I just would like to thank you very much for your explanation Best Regards, Nicolas
Report this to a Moderator Report this to a Moderator
Statistics
20925 users are registered to the Telelogic TAU forum.
There are currently 0 users logged in.
The most users ever online was 15 on 31-Mar-2008 at 16:22.
There are currently 0 guests browsing this forum, which makes a total of 0 users using this forum.
You have posted 0 messages to this forum. 0 overall.

FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.