Merge pull request #143 from mattpolzin/compat-latest-idris

mattpolzin · Dec 7, 2024 · 4547614 · 4547614
2 parents fa4e664 + 043cc90
commit 4547614
Show file tree

Hide file tree

Showing 3 changed files with 503 additions and 32 deletions.
diff --git a/Makefile b/Makefile
@@ -1,18 +1,22 @@
 
 idris2 ?= idris2
+idris2-version = $(shell $(idris2) --version | sed -En 's/Idris 2, version ([^-]+).*/\1/p')
+idris2-build   = $(shell $(idris2) --version | sed -En 's/Idris 2, version [^-]+(.*)/\1/p')
+idris2-minor-version = $(shell echo ${idris2-version} | sed -En 's/0\.(.*)\../\1/p')
 
 idris-adds-version = 0.4.1
 idris-json-version = 0.5.0
 idris-json-hash    = 2e54a37ed3c35c2d12c8927c923ad253355812a8
 idris-elab-util-version = 0.6.0
-idris-elab-util-hash    = 2fc2d188640ce6822b5e250db73b62f5a952ca4d
+ifeq ($(idris2-version)$(idris2-build),0.7.0)
+  idris-elab-util-hash    = 2fc2d188640ce6822b5e250db73b62f5a952ca4d
+else
+  # breaking change between versions 0.7.0 and 0.8.0 of Idris2:
+  idris-elab-util-hash    = ddccca64cd1296d6ad72ed544c54afb77eeef1c1
+endif
 idris-parser-version = 0.1.0
 idris-parser-hash    = 0fde36cf11c12a61edcfe09d585c5a60426bc706
 
-idris2-version = $(shell $(idris2) --version | sed -En 's/Idris 2, version ([^-]+).*/\1/p')
-idris2-build   = $(shell $(idris2) --version | sed -En 's/Idris 2, version [^-]+(.*)/\1/p')
-idris2-minor-version = $(shell echo ${idris2-version} | sed -En 's/0\.(.*)\../\1/p')
-
 kernel = $(shell uname -s)
 
 ifeq ($(kernel),Linux)