bluespec.com Forum Index bluespec.com
Bluespec Forums
 
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   Log in to check your private messagesLog in to check your private messages   Log inLog in 

an error

 
Post new topic   Reply to topic    bluespec.com Forum Index -> Tools: BSC (Bluespec Compiler)
View previous topic :: View next topic  
Author Message
roMoon



Joined: 26 Jul 2009
Posts: 8

PostPosted: Wed Nov 03, 2010 7:31 am    Post subject: an error Reply with quote

an error occured when I use HAsim, which is write in bluespec
"compilation stopped because of -KILLexpanded flag", who know what the problem is ?
Back to top
View user's profile Send private message
hadar_agam



Joined: 10 May 2007
Posts: 38

PostPosted: Wed Nov 03, 2010 2:19 pm    Post subject: Reply with quote

While I am not familiar with the internals of HAsim and the way that it invokes bsc, I assume that somewhere along the way bsc was used with the -KILLexpanded flag. This instructs bsc to stop after the "expanded" phase. You are just seeing this as a message.
Back to top
View user's profile Send private message Visit poster's website
roMoon



Joined: 26 Jul 2009
Posts: 8

PostPosted: Mon Nov 15, 2010 9:34 am    Post subject: Reply with quote

hadar_agam wrote:
While I am not familiar with the internals of HAsim and the way that it invokes bsc, I assume that somewhere along the way bsc was used with the -KILLexpanded flag. This instructs bsc to stop after the "expanded" phase. You are just seeing this as a message.


thank you, hadar_agam.
Back to top
View user's profile Send private message
Display posts from previous:   
Post new topic   Reply to topic    bluespec.com Forum Index -> Tools: BSC (Bluespec Compiler) All times are GMT - 4 Hours
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You can attach files in this forum
You can download files in this forum
bluespec.com topic RSS feed 


Powered by phpBB © 2001, 2005 phpBB Group
Protected by Anti-Spam ACP