sparse: cgcc can't find gcc headers

Bug #366456 reported by Alain Kalker on 2009-04-25
12
This bug affects 2 people
Affects Status Importance Assigned to Milestone
sparse (Debian)
Fix Released
Unknown
sparse (Ubuntu)
Undecided
Unassigned

Bug Description

Binary package hint: sparse

Ubuntu 9.04, sparse-0.4.1-1

When checking for example the following tiny program, cgcc throws an error:

$ cat test.c
#include <stdio.h>

int main(void) {
        printf("Hello, World\n");
        return 0;
}

$ cgcc -c test.c
/usr/include/stdio.h:34:12: error: unable to open 'stddef.h'

This bug was fixed in Debian in sparse 0.4.1+git20081218-1

Kind regards,

Alain

Alain Kalker (miki4242) on 2009-04-25
summary: - cgcc/sparse fail to find gcc headers
+ sparse: cgcc can't find gcc headers
Alain Kalker (miki4242) wrote :

Add debdiff.

Charlie_Smotherman (cjsmo) wrote :

This has been auto synced into karmic

https://edge.launchpad.net/ubuntu/+source/sparse

Setting bug to fix released

Changed in sparse (Ubuntu):
status: New → Fix Released
Changed in sparse (Debian):
status: Unknown → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.