More changes for vx.

compiler/C_CodeGen.jrag

@@ -161,7 +161,7 @@ aspect C_CodeGen {
     env.println("");
 
     // Include
-    env.println("#include <stdint.h>");
+    // env.println("#include <stdint.h>");
     env.println("#include \"labcomm.h\"");
     for (int i = 0 ; i < includes.size() ; i++) {
       env.println("#include \"" + includes.get(i) + "\"");

lib/c/labcomm_compat_vxworks.h

@@ -6,8 +6,16 @@
 #endif
 
 #include <types/vxTypes.h>
+#include <selectLib.h>
+#include <types.h>
+#include <timers.h>
 #include <stdio.h>
 
+#ifdef __INT64_MAX__
+#undef INT64_MAX
+#define INT64_MAX __INT64_MAX__
+#endif
+
 #if (CPU == PPC603)
   #undef _LITTLE_ENDIAN
 #endif

lib/c/labcomm_decoder.c

@@ -199,9 +199,9 @@ static int decode_typedef_or_sample(struct labcomm_decoder *d, int kind)
 		     LABCOMM_IOCTL_WRITER_GET_BYTES_WRITTEN,
 		     &signature.size);
   if (err < 0) {
-    /* fprintf(stderr, "Failed to get size: %s\n", strerror(-err)); */
-    labcomm_error_warning(d->error, LABCOMM_ERROR_BAD_WRITER,
-			  "Failed to get size: %s\n", strerror(-err));
+	printf("Failed to get size: %s\n", strerror(-err));
+    /* labcomm_error_fatal_global(LABCOMM_ERROR_BAD_WRITER, */
+    /* 			  "Failed to get size: %s\n", strerror(-err)); */
     result = -ENOENT;
     goto free_signature_name;
   }
@@ -209,9 +209,9 @@ static int decode_typedef_or_sample(struct labcomm_decoder *d, int kind)
 		     LABCOMM_IOCTL_WRITER_GET_BYTE_POINTER,
 		     &signature.signature);
   if (err < 0) {
-    /* fprintf(stderr, "Failed to get pointer: %s\n", strerror(-err)); */
-    labcomm_error_warning(d->error, LABCOMM_ERROR_BAD_WRITER,
-			  "Failed to get pointer: %s\n", strerror(-err));
+    printf("Failed to get pointer: %s\n", strerror(-err));
+    /* labcomm_error_fatal_global(LABCOMM_ERROR_BAD_WRITER, */
+    /* 			  "Failed to get pointer: %s\n", strerror(-err)); */
     result = -ENOENT;
     goto free_signature_name;
   }

lib/c/labcomm_error.c

@@ -27,6 +27,6 @@ void labcomm_error_fatal_global(enum labcomm_error error,
 				char *format,
 				...)
 {
-  fprintf(stderr, "Fatal error %d\n", error);
+  printf("Fatal error %d\n", error);
   exit(1);
 }