a error when compling fiasco-1.2

[Adam Lackorzynski]

Hi,

On Wed Jan 18, 2006 at 02:26:36 +0800, Liu Jian wrote:
>    there is a error when compling fiasco-1.2 on my pc. I do it following
> the course "Microkernel Construction Exercises":
> 
> 1)Download and extract the Fiasco kernel from here
> <http://os.inf.tu-dresden.de/fiasco/download/fiasco-1.2.tar.gz>.
> 2)Switch to the directory *fiasco-1.2/l4/kernel/fiasco/* and create a
> build directory using *make BUILDDIR=build_ux**.
> 3)Run *make config* in this build directory and select UX as target
> platform (in 'Target System Options'). Leave the configuration menu with
> 'x'.
> 4)Build the kernel using *make*.

Looks somewhat familiar, try this:

--- src/lib/libk/std_macros.cpp	21 Jul 2005 14:50:37 -0000	1.12
+++ src/lib/libk/std_macros.cpp	21 Nov 2005 15:35:46 -0000	1.13
@@ -18,10 +18,10 @@
 // must _not_ be declared `const'.  Likewise, a function that calls a
 // non-`const' function usually must not be `const'.  It does not make
 // sense for a `const' function to return `void'.
-#define FIASCO_CONST		__attribute__ ((const))
+#define FIASCO_CONST		__attribute__ ((__const__))
 
 #ifdef __i386__
-#define FIASCO_FASTCALL		__attribute__ ((regparm(3)))
+#define FIASCO_FASTCALL		__attribute__ ((__regparm__(3)))
 #else
 #define FIASCO_FASTCALL
 #endif
@@ -31,12 +31,12 @@
 # define ALWAYS_INLINE		/* empty */
 # define FIASCO_NOINLINE
 #else
-# define MARK_AS_DEPRECATED	__attribute__ ((deprecated))
-# define ALWAYS_INLINE		__attribute__ ((always_inline))
-# define FIASCO_NOINLINE        __attribute__ ((noinline))
+# define MARK_AS_DEPRECATED	__attribute__ ((__deprecated__))
+# define ALWAYS_INLINE		__attribute__ ((__always_inline__))
+# define FIASCO_NOINLINE        __attribute__ ((__noinline__))
 #endif
 
-#define FIASCO_NORETURN         __attribute__ ((noreturn))
+#define FIASCO_NORETURN         __attribute__ ((__noreturn__))
 
 IMPLEMENTATION:
 //-



HTH,
Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/