casa-mp-base

--- src/cmdline/dw_readline_completion.c.orig   2011-01-22 07:43:18.000000000 -0600

+++ src/cmdline/dw_readline_completion.c    2017-01-20 02:36:45.000000000 -0600

@@ -26,7 +26,7 @@

 #include<stdio.h>

 #include<readline/readline.h>

 #include<readline/history.h>

-#include"../libdwarf/stdint.h"

+#include"../libdwarf/dw_stdint.h"

 #include"dw_readline_completion.h"

 void initialize_readline()

--- src/libdwarf/Makefile.am.orig   2011-01-22 08:45:39.000000000 -0600

+++ src/libdwarf/Makefile.am    2017-01-20 02:37:42.000000000 -0600

@@ -25,7 +25,7 @@

            macho.h\

            pe.h\

            mzexe.h\

-           stdint.h\

+           dw_stdint.h\

            dw_switchers.h\

            dw_switchers.c\

            dw_elf_utils.h\

--- src/libdwarf/libdwarf.h.orig    2011-01-22 07:43:18.000000000 -0600

+++ src/libdwarf/libdwarf.h 2017-01-20 02:36:26.000000000 -0600

@@ -22,7 +22,7 @@

 #include<sys/types.h>

 #include "../../config.h"

-#include"stdint.h"

+#include"dw_stdint.h"

 #include"utils.h"

 #include"vars.h"

 #include"elf.h"

--- src/libdwarf/utils.h.orig   2011-01-22 07:43:18.000000000 -0600

+++ src/libdwarf/utils.h    2017-01-20 02:36:15.000000000 -0600

@@ -20,7 +20,7 @@

 #ifndef DW_UTILS_H

 #define DW_UTILS_H

-#include"stdint.h"

+#include"dw_stdint.h"

 typedef enum {bitNULL,bit8,bit16,bit32,bit64,bit128} filebitclass;

 #define DUMP_SIZE 128

 #define DUMP_MAX_LINE 16