From 7e5358cc52a84564c5f702764af07d25f9a14732 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20D=C3=B8rum?= <martid0311@gmail.com>
Date: Tue, 13 Oct 2020 19:33:31 +0200
Subject: [PATCH] add repl-readline target

---
 Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Makefile b/Makefile
index 9986c9c..d3db7cf 100644
--- a/Makefile
+++ b/Makefile
@@ -16,6 +16,9 @@ smoke_pr: smoke.c tinyexpr.c
 	./$@
 
 repl: repl.o tinyexpr.o
+	$(CC) $(CCFLAGS) -o $@ $^ $(LFLAGS)
+
+repl-readline: repl-readline.o tinyexpr.o
 	$(CC) $(CCFLAGS) -o $@ $^ $(LFLAGS) -lreadline
 
 bench: benchmark.o tinyexpr.o
@@ -30,6 +33,9 @@ example2: example2.o tinyexpr.o
 example3: example3.o tinyexpr.o
 	$(CC) $(CCFLAGS) -o $@ $^ $(LFLAGS)
 
+repl-readline.o: repl.c
+	$(CC) -c -DUSE_READLINE $(CCFLAGS) $< -o $@
+
 .c.o:
 	$(CC) -c $(CCFLAGS) $< -o $@