# really small devices, because it changes the API.
# CFLAGS += -DNO_RDLINE_HISTORY
# CFLAGS += -DNO_RDLINE_KILL_BUF
-# CFLAGS += -DNO_PARSE_FLOAT
+# CFLAGS += -DCMDLINE_HAVE_FLOAT
+CFLAGS += -DCMDLINE_HAVE_SOCKET
CFLAGS += -Wall -Werror
CFLAGS += -O0 -g