Use gdb's readline.h for readline types.
+2015-02-22 Jiri Gaisler <jiri@gaisler.se>
+
+ * Makefile.in: Add include path to readline.h.
+ sis.c: Remove locally define readline types.
+
2015-02-21 Jiri Gaisler <jiri@gaisler.se>
* func.c (reset_stat, show_stat): Switch to double in time keeping.
# UARTS run at about 115200 baud (simulator time). Add -DFAST_UART to
# CFLAGS if faster (infinite) UART speed is desired. Might affect the
# behaviour of UART interrupt routines ...
-SIM_EXTRA_CFLAGS = -DFAST_UART
+SIM_EXTRA_CFLAGS = -DFAST_UART -I$(srcroot)
## COMMON_POST_CONFIG_FRAG
/* Structures and functions from readline library */
-typedef struct {
- char *line;
- char *data;
-} HIST_ENTRY;
-
-extern char * readline (char *prompt);
-extern void using_history (void);
-extern void add_history (char *string);
-extern HIST_ENTRY *remove_history (int which);
-
-
+#include "readline/readline.h"
+#include "readline/history.h"
/* Command history buffer length - MUST be binary */
#define HIST_LEN 64