GMP test suite failures on Ubuntu 16.04 on virtual box

Will Galway galway at
Thu Oct 20 19:06:50 UTC 2016

You should provide us with the information requested in the "reporting 
bugs" section of the manual:

Your use of "/media/sf_edrive/" indicates that you are using a 
VirtualBox "shared folder", i.e., a folder within the Windows file 
system that's shared with your virtual machine.  Shared folders have 
sometimes been problematic for me.  (Unfortunately I cannot recall any 

I suggest that you try installing gmp on your "local" drive and test 
it.  That should make it clear as to whether-or-not it's a shared folder 
issue.  (In fact, I'm surprised that you haven't installed it in some 
place like /usr/local/...)

-- Regards, William (Will) Galway

On 2016-10-20 11:03, Mark Wood-Patrick wrote:
> I hit a problem running make check on gmp-6.1.1 on Ubuntu 16.04 running on
> Virtual Box Version 5.1.6 r110634 (Qt5.5.1) on windows 10 Pro
> See attached files
> Pleas let me know if you have any questions or suggestions on how to
> debug/fix
> Mark
> _______________________________________________
> gmp-bugs mailing list
> gmp-bugs at

More information about the gmp-bugs mailing list