1#pragma once
2
3#if __has_include(<common/config_common.h>)
4#include <common/config_common.h>
5#endif
6
7/// Different line editing libraries can be used depending on the environment.
8#if USE_READLINE
9 #include <readline/readline.h>
10 #include <readline/history.h>
11#elif USE_LIBEDIT
12 #include <editline/readline.h>
13#else
14 #include <string>
15 #include <cstring>
16 #include <iostream>
17 inline char * readline(const char * prompt)
18 {
19 std::string s;
20 std::cout << prompt;
21 std::getline(std::cin, s);
22
23 if (!std::cin.good())
24 return nullptr;
25 return strdup(s.data());
26 }
27 #define add_history(...) do {} while (0)
28 #define rl_bind_key(...) do {} while (0)
29#endif
30