Hmm, this is a bit messy

On raring:
  sparse t.c
/usr/include/stdc-predef.h:30:11: error: unable to open 'bits/predefs.h'

so I add a -I:
sparse -I/usr/include/x86_64-linux-gnu t.c
/usr/include/x86_64-linux-gnu/gnu/stubs.h:7:12: error: unable to open 
'gnu/stubs-32.h'

then we have Stéphane's original error.

If I add another to point to the correct gcc path (sparse seems to be
using a non-existent one):

sparse -I/usr/include/x86_64-linux-gnu -D__x86_64__ -I
/usr/lib/gcc/x86_64-linux-gnu/4.6/include t.c

almost works, although it's hitting a
/usr/include/stdio.h:347:41: error: attribute '__leaf__': unknown attribute

I guess the age of the sparse version doesn't help either.

Dave

** Changed in: sparse (Ubuntu)
   Importance: Undecided => Medium

** Changed in: sparse (Ubuntu)
       Status: New => Confirmed

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/374927

Title:
  Sparse package doesn't run on 64 bits system

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/sparse/+bug/374927/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to