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

Need the network libs in the path for tests

Browse Source
This commit is contained in:
Edwin Brady 2020-03-05 18:46:26 +00:00
parent 9060b24f2f
commit edc3e2a4cd
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

@ -27,7 +27,7 @@ endif
IDRIS2_VERSION := ${MAJOR}.${MINOR}.${PATCH} IDRIS2_VERSION := ${MAJOR}.${MINOR}.${PATCH}
IDRIS2_VERSION_TAG := ${IDRIS2_VERSION}${VER_TAG} IDRIS2_VERSION_TAG := ${IDRIS2_VERSION}${VER_TAG}
export IDRIS2_PATH = ${CURDIR}/libs/prelude/build/ttc:${CURDIR}/libs/base/build/ttc export IDRIS2_PATH = ${CURDIR}/libs/prelude/build/ttc:${CURDIR}/libs/base/build/ttc:${CURDIR}/libs/network/build/ttc
export IDRIS2_DATA = ${CURDIR}/support export IDRIS2_DATA = ${CURDIR}/support
IDRIS_VERSION := $(shell idris --version) IDRIS_VERSION := $(shell idris --version)