edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-25 19:12:59 +03:00
Code Issues Projects Releases Wiki Activity

Allow newer idris than 1.3.2

Browse Source
This commit is contained in:
Niklas Larsson 2020-06-02 12:16:08 +02:00 committed by G. Allais
parent 75bb7883f6
commit e9611b4ee1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile
View File

@ -25,7 +25,7 @@ export IDRIS2_LIBS = ${IDRIS2_CURDIR}/libs/network
export IDRIS2_DATA = ${IDRIS2_CURDIR}/support export IDRIS2_DATA = ${IDRIS2_CURDIR}/support
IDRIS_VERSION := $(shell idris --version) IDRIS_VERSION := $(shell idris --version)
VALID_IDRIS_VERSION_REGEXP = "1.3.2.*" VALID_IDRIS_VERSION_REGEXP = "1.3.[2-9].*"
-include custom.mk -include custom.mk