![]() |
Telelogic TAU (steve huntington) | ![]() |
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 |
![]() |
![]()
|
![]() |
|
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?
|
|
![]() |
|
![]() |
|
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).
|
|
![]() |
Telelogic TAU
» TAU/Developer
»
Model Verifier: Custom Kernel
|
![]() |
FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.