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: Model Verifier: Custom Kernel
Topic Summary: Specifying the source directory for custom kernel
Created On: 23-Nov-2006 13:01
Status: Read Only
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.
 23-Nov-2006 13:01
User is offline View Users Profile Print this message


Nicolas Van Wambeke

Posts: 1
Joined: 28-Jun-2006

When building an artifact using TAU 2.7 model verifier, the path to the SDL kernel source directory is added to the global Makefile (i.e. KERNEL_DIR="C:\Program Files\Telelogic\TAU_2.7\addins\sdlkernels\dbg_cl") by the C code generator. When using a customized kernel, this has to be changed to point elsewhere (in order to avoid a system wide hack of the SDL kernel). The Make-Template File property of the artifact allows for defining artifact-specific build options. However, the content of the make template are further placed in the .m file (# makefile for System: ...). The insertion is made below the !include $(SCTDIR)\make.opt directive (SCTDIR being a rename of KERNEL_DIR). So when trying to change the kernel source location the template file is not a good option (at least to my understanding). So, where/how should this be done?
Report this to a Moderator Report this to a Moderator
 27-Nov-2006 12:10
User is offline View Users Profile Print this message


Wolfgang Sonntag

Posts: 1
Joined: 1-Sep-2005

In most cases one will have a modified kernel very closely associated to a special project. Consequently I'd change the kernel in a way that the file make.opt itself contains an "!include ..." line referring to a makefile containing the artifact specific configurations. The variable TARGET_DIR helps; but only if you include TARGET_DIR=%d into the 4th line of the file comp.opt (i.e. nmake /f %m SCTDIR=%k TARGET_DIR=%d).
Report this to a Moderator Report this to a Moderator
Statistics
20925 users are registered to the Telelogic TAU forum.
There are currently 1 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 1 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.