Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-04-05 Thread David Michael
On Mon, Apr 4, 2016 at 6:43 PM, Flávio Cruz wrote: > On 4 April 2016 at 18:00, David Michael wrote: >> On Mon, Apr 4, 2016 at 3:48 AM, Samuel Thibault >> wrote: >> > Flavio Cruz, on Wed 30 Mar 2016 02:26:28 +0200, wrote: >> >> Implement stdint.h and use it in gnumach. >> > >> > Applied, thanks!

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-04-05 Thread Justus Winter
Quoting Flávio Cruz (2016-04-05 01:05:43) > On 5 April 2016 at 00:59, Justus Winter <4win...@informatik.uni-hamburg.de> > wrote: > > > Quoting Justus Winter (2016-04-05 00:46:11) > > > Quoting Flávio Cruz (2016-04-05 00:39:48) > > > > > This broke your test suite: > > > > Should work with the new

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-04-04 Thread Flávio Cruz
On 5 April 2016 at 00:59, Justus Winter <4win...@informatik.uni-hamburg.de> wrote: > Quoting Justus Winter (2016-04-05 00:46:11) > > Quoting Flávio Cruz (2016-04-05 00:39:48) > > > > This broke your test suite: > > > Should work with the new patch. Thanks for the report. > > > > It does indeed. >

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-04-04 Thread Justus Winter
Quoting Justus Winter (2016-04-05 00:46:11) > Quoting Flávio Cruz (2016-04-05 00:39:48) > > > This broke your test suite: > > Should work with the new patch. Thanks for the report. > > It does indeed. Furthermore, I was able to build a seemingly working Hurd package using the fixed MIG, but I see

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-04-04 Thread Justus Winter
Quoting Flávio Cruz (2016-04-05 00:39:48) > > This broke your test suite: > Should work with the new patch. Thanks for the report. It does indeed. Thanks, Justus

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-04-04 Thread Flávio Cruz
On 4 April 2016 at 18:00, David Michael wrote: > On Mon, Apr 4, 2016 at 3:48 AM, Samuel Thibault > wrote: > > Flavio Cruz, on Wed 30 Mar 2016 02:26:28 +0200, wrote: > >> Implement stdint.h and use it in gnumach. > > > > Applied, thanks! > > Just noting: This seems to slightly break bootstrappin

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-04-04 Thread Flávio Cruz
On 4 April 2016 at 20:19, Justus Winter <4win...@informatik.uni-hamburg.de> wrote: > Quoting Flavio Cruz (2016-03-15 10:48:48) > > * utils.c: Generate code using uint32_t. > > --- > > utils.c | 2 +- > > 1 file changed, 1 insertion(+), 1 deletion(-) > > > > diff --git a/utils.c b/utils.c > > inde

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-04-04 Thread Samuel Thibault
Justus Winter, on Mon 04 Apr 2016 20:27:08 +0200, wrote: > Quoting Flavio Cruz (2016-03-20 22:01:10) > > * Makefile.am: Use -ffreestanding and remove -nostdinc since we are > > including stdint.h. > > * i386/i386/xen.h: Use uint64_t. > > * i386/include/mach/i386/machine_types.defs: Use uint32_t an

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-04-04 Thread Justus Winter
Quoting Flavio Cruz (2016-03-20 22:01:10) > * Makefile.am: Use -ffreestanding and remove -nostdinc since we are including > stdint.h. > * i386/i386/xen.h: Use uint64_t. > * i386/include/mach/i386/machine_types.defs: Use uint32_t and int32_t. > * i386/include/mach/i386/vm_types.h: Remove definition

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-04-04 Thread Justus Winter
Quoting Flavio Cruz (2016-03-15 10:48:48) > * utils.c: Generate code using uint32_t. > --- > utils.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/utils.c b/utils.c > index 4c2a87b..ccde966 100644 > --- a/utils.c > +++ b/utils.c > @@ -77,7 +77,7 @@ WriteBogusDefines(FIL

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-04-04 Thread David Michael
On Mon, Apr 4, 2016 at 3:48 AM, Samuel Thibault wrote: > Flavio Cruz, on Wed 30 Mar 2016 02:26:28 +0200, wrote: >> Implement stdint.h and use it in gnumach. > > Applied, thanks! Just noting: This seems to slightly break bootstrapping. The test for mach/mach_types.h in glibc's configure fails du

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-04-04 Thread Samuel Thibault
Flavio Cruz, on Wed 30 Mar 2016 02:26:28 +0200, wrote: > Implement stdint.h and use it in gnumach. Applied, thanks! > Remove old type definitions such as signed* and unsigned*. > > * Makefile.am: Add -ffreestanding. > * i386/i386/xen.h: Use uint64_t. > * i386/include/mach/i386/machine_types.defs

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-04-04 Thread Samuel Thibault
Applied, thanks! Flavio Cruz, on Tue 15 Mar 2016 05:48:48 -0400, wrote: > * utils.c: Generate code using uint32_t. > --- > utils.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/utils.c b/utils.c > index 4c2a87b..ccde966 100644 > --- a/utils.c > +++ b/utils.c > @@ -77,7

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-04-03 Thread Flávio Cruz
ping On 30 March 2016 at 02:26, Flavio Cruz wrote: > Implement stdint.h and use it in gnumach. > > Remove old type definitions such as signed* and unsigned*. > > * Makefile.am: Add -ffreestanding. > * i386/i386/xen.h: Use uint64_t. > * i386/include/mach/i386/machine_types.defs: Use uint32_t and

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-03-29 Thread Flavio Cruz
Implement stdint.h and use it in gnumach. Remove old type definitions such as signed* and unsigned*. * Makefile.am: Add -ffreestanding. * i386/i386/xen.h: Use uint64_t. * i386/include/mach/i386/machine_types.defs: Use uint32_t and int32_t. * i386/include/mach/i386/vm_types.h: Remove definitions o

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-03-28 Thread Samuel Thibault
Samuel Thibault, on Tue 22 Mar 2016 23:32:40 +0100, wrote: > Flavio Cruz, on Sun 20 Mar 2016 22:01:10 +0100, wrote: > > I've tried to compile GNU Mach using stdint.h and > > -ffreestanding and so far so good, however I'm not sure if removing > > -nostdinc is a good idea since we may include some fi

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-03-22 Thread Samuel Thibault
Flavio Cruz, on Sun 20 Mar 2016 22:01:10 +0100, wrote: > I've tried to compile GNU Mach using stdint.h and > -ffreestanding and so far so good, however I'm not sure if removing > -nostdinc is a good idea since we may include some files from > /usr/include that should not included (things like sys/t

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-03-20 Thread Flavio Cruz
* Makefile.am: Use -ffreestanding and remove -nostdinc since we are including stdint.h. * i386/i386/xen.h: Use uint64_t. * i386/include/mach/i386/machine_types.defs: Use uint32_t and int32_t. * i386/include/mach/i386/vm_types.h: Remove definitions of int*, uint*, unsigned* and signed* types. * i38

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-03-20 Thread Thomas Schwinge
Hi! On Sun, 20 Mar 2016 00:30:30 +0100, Samuel Thibault wrote: > Flávio Cruz, on Sat 19 Mar 2016 14:20:34 +0100, wrote: > > We already include mach/std_types.h in the stubs which provides uint32_t. > Should gnumach perhaps just rely on stdint.h? Relying on existing, standard header files gener

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-03-19 Thread Samuel Thibault
Hello, Flávio Cruz, on Sat 19 Mar 2016 14:20:34 +0100, wrote: > We already include mach/std_types.h in the stubs which provides uint32_t. I guess you mean it includes vm_types.h which defines them. > diff --git a/i386/include/mach/i386/vm_types.h > b/i386/include/mach/i386/vm_types.h > index 4a

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-03-19 Thread Flávio Cruz
On 19 March 2016 at 12:39, Samuel Thibault wrote: > Hello, > > Flavio Cruz, on Tue 15 Mar 2016 05:48:48 -0400, wrote: > > * utils.c: Generate code using uint32_t. > > How are we sure that stdint.h gets included? > We already include mach/std_types.h in the stubs which provides uint32_t. > > Sa

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-03-19 Thread Samuel Thibault
Hello, Flavio Cruz, on Tue 15 Mar 2016 05:48:48 -0400, wrote: > * utils.c: Generate code using uint32_t. How are we sure that stdint.h gets included? Samuel > --- > utils.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/utils.c b/utils.c > index 4c2a87b..ccde966 10064

[PATCH] Use uint32_t instead of unsigned32_t.

2016-03-18 Thread Flavio Cruz
* utils.c: Generate code using uint32_t. --- utils.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/utils.c b/utils.c index 4c2a87b..ccde966 100644 --- a/utils.c +++ b/utils.c @@ -77,7 +77,7 @@ WriteBogusDefines(FILE *file) fprintf(file, "#define BAD_TYPECHECK(type, che