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 

libgmp 3

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



Joined: 24 Feb 2011
Posts: 9

PostPosted: Tue Jul 28, 2015 8:33 am    Post subject: libgmp 3 Reply with quote

Hi,

I am currently using BSV 2014.07.A on Ubuntu 14.04 LTS.

BSC requires libgmp.so.3. In Ubuntu 14.04 this library doesn't exist any more, it's been replaced with libgmp.so.10. This makes BSC unable to load.

I fixed this with a symbolic link libgmp.so.10 -> libgmp.so.3, and it worked fine. I know Ubuntu is not officially supported, but you might want to have a look at this.

Thanks,

Oriol
Back to top
View user's profile Send private message
quark
Site Admin


Joined: 02 Nov 2007
Posts: 499

PostPosted: Mon Aug 03, 2015 12:46 pm    Post subject: Re: libgmp 3 Reply with quote

If the package "libgmp3c2" is available to you, that will install libgmp.so.3 alongside libgmp.so.10.

Otherwise, yes, this is a known issue. It should be resolved in the next full release. Many people use the workaround of creating a symbolic link and have not experienced any problems with that.
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