From e9611b4ee1ceba0d25b5a75f68aadbb00b22f66c Mon Sep 17 00:00:00 2001
From: Niklas Larsson <niklas@mm.st>
Date: Tue, 2 Jun 2020 12:16:08 +0200
Subject: [PATCH] Allow newer idris than 1.3.2

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 40636f0..baf11c0 100644
--- a/Makefile
+++ b/Makefile
@@ -25,7 +25,7 @@ export IDRIS2_LIBS = ${IDRIS2_CURDIR}/libs/network
 export IDRIS2_DATA = ${IDRIS2_CURDIR}/support
 
 IDRIS_VERSION := $(shell idris --version)
-VALID_IDRIS_VERSION_REGEXP = "1.3.2.*"
+VALID_IDRIS_VERSION_REGEXP = "1.3.[2-9].*"
 
 -include custom.mk