Instead of using the installed global idris for tests,
pass the PATH to the current compiled one to test and use this
commitfaad05cb11804e66fa83b3f7f39dc28f7f603d21
authorHannes Mehnert <hannes@mehnert.org>
dateFri 10 May 2013, 08:58 (13 years ago)
parent05895a5
Makefile+1−1
@@ -14,7 +14,7 @@ build: dist/setup-config
1414 $(CABAL) build $(CABALFLAGS)
1515
1616test:
17− make -C test
17+ make -C test IDRIS=../dist/build/idris
1818
1919relib:
2020 make -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean
test/runtest.pl+6
@@ -1,5 +1,7 @@
11#!/usr/bin/perl
22
3+use Cwd;
4+
35my $exitstatus = 0;
46
57sub runtest {
@@ -79,6 +81,10 @@ while ($opt=shift(@opts)) {
7981 else { push(@idrOpts, $opt); }
8082}
8183
84+my $idris = $ENV{IDRIS};
85+my $path = $ENV{PATH};
86+$ENV{PATH}=cwd() . "/" . $idris . ":" . $path;
87+
8288foreach $test (@tests) {
8389
8490 if ($diff == 0 && $show == 0) {