ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-22 22:47:12 +03:00
Code Issues Projects Releases Wiki Activity

Instead of using the installed global idris for tests,

Browse Source 
pass the PATH to the current compiled one to test and use this
This commit is contained in:
Hannes Mehnert 2013-05-10 08:58:54 +02:00
parent 05895a55ba
commit faad05cb11
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile
View File

@ -14,7 +14,7 @@ build: dist/setup-config
$(CABAL) build $(CABALFLAGS)
test:
make -C test
make -C test IDRIS=../dist/build/idris
relib:
make -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean

6
test/runtest.pl
View File

@ -1,5 +1,7 @@
#!/usr/bin/perl
use Cwd;
my $exitstatus = 0;
sub runtest {
@ -79,6 +81,10 @@ while ($opt=shift(@opts)) {
else { push(@idrOpts, $opt); }
}
my $idris = $ENV{IDRIS};
my $path = $ENV{PATH};
$ENV{PATH}=cwd() . "/" . $idris . ":" . $path;
foreach $test (@tests) {
if ($diff == 0 && $show == 0) {