From c80bfc0ed7c847db5e7eda0d11a7c54d1213f20b Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.oqube@gmail.com>
Date: Sun, 22 Sep 2019 22:43:08 +0200
Subject: [PATCH] fix incorrect variable in makefile preventing install

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

diff --git a/Makefile b/Makefile
index 7945868..4a92e82 100644
--- a/Makefile
+++ b/Makefile
@@ -2,7 +2,7 @@
 MAJOR=0
 MINOR=0
 PATCH=0
-IDRIS2_VERSION="$MAJOR.$MINOR.$PATCH"
+IDRIS2_VERSION=${MAJOR}.${MINOR}.${PATCH}
 PREFIX ?= ${HOME}/.idris2
 IDRIS_VERSION := $(shell idris --version)
 VALID_IDRIS_VERSION_REGEXP = "1.3.2.*"