git.iko.soy/Idris-dev

on master help sign in

benchmarks/build.pl+1−1

@@ -1,4 +1,4 @@

1−#!/usr/bin/perl

1+#!/usr/bin/env perl

22

33$bmarks = `cat ALL`;

44@bm = split(/\n/, $bmarks);

benchmarks/run.pl+1−1

@@ -1,4 +1,4 @@

1−#!/usr/bin/perl

1+#!/usr/bin/env perl

22

33$bmarks = `cat ALL`;

44@bm = split(/\n/, $bmarks);

src/IRTS/CodegenJava.hs+1−1

@@ -156,7 +156,7 @@ cleanUpTmp tgtDir = do

156156

157157jarHeader :: String

158158jarHeader =

159− "#!/bin/sh\n"

159+ "#!/usr/bin/env sh\n"

160160 ++ "MYSELF=`which \"$0\" 2>/dev/null`\n"

161161 ++ "[ $? -gt 0 -a -f \"$0\" ] && MYSELF=\"./$0\"\n"

162162 ++ "java=java\n"

test/Makefile+2−2

@@ -95,10 +95,10 @@ test_llvm:

9595 @perl ./runtest.pl test031 --codegen llvm

9696

9797update:

98− perl ./runtest.pl all -u

98+ /usr/bin/env perl ./runtest.pl all -u

9999

100100diff:

101− perl ./runtest.pl all -d

101+ /usr/bin/env perl ./runtest.pl all -d

102102

103103distclean:

104104 rm -f *~

test/mktest.pl+2−2

@@ -1,4 +1,4 @@

1−#!/usr/bin/perl

1+#!/usr/bin/env perl

22

33if ($#ARGV>=0) {

44 $test=shift(@ARGV);

@@ -12,7 +12,7 @@ mkdir($test);

1212chdir($test);

1313open(FOO,">run");

1414

15−print FOO "#!/bin/bash\n";

15+print FOO "#!/usr/bin/env bash\n";

1616print FOO "idris \$@ $test.idr -o $test\n";

1717print FOO "./$test\n";print FOO "rm -f $test *.ibc\n";

1818

test/reg001/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris reg001.idr --check

33rm -rf reg001.ibc

44

test/reg002/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris reg002.idr -o reg002

33./reg002

44rm -f reg002 *.ibc

test/reg003/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris --check reg003.idr

33idris --check reg003a.idr

44rm -f *.ibc

test/reg004/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg004.idr -o reg004

33./reg004

44rm -f reg004 *.ibc

test/reg005/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg005.idr -o reg005

33./reg005

44rm -f reg005 *.ibc

test/reg006/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg006.idr -o reg006

33rm -f *.ibc

test/reg007/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris --check $@ reg007.lidr

33rm -f *.ibc

test/reg008/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg008.idr --check

33rm -f *.ibc

test/reg009/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg009.lidr --check

33rm -f reg009 *.ibc

test/reg010/runmode 100755 → 100644+1−1

@@ -1,2 +1,2 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg010.idr --check --nocolour

test/reg011/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg011.idr --check

33rm -f *.ibc

test/reg012/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg012.lidr --check

33rm -f *.ibc

test/reg013/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg013.idr -o reg013

33./reg013

44rm -f reg013 *.ibc

test/reg014/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg014.idr --check

33rm -f *.ibc

test/reg015/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg015.idr --check

33rm -f *.ibc

test/reg016/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg016.idr -o reg016

33./reg016

44rm -f reg016 *.ibc

test/reg017/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg017.idr -o reg017

33./reg017

44rm -f reg017 *.ibc

test/reg018/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg018a.idr --check

33idris $@ reg018b.idr --check

44idris $@ reg018c.idr --check

test/reg019/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg019.idr --check

33rm -f *.ibc

test/reg020/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg020.idr -o reg020

33./reg020

44rm -f reg020 *.ibc

test/reg021/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg021.idr --check

33rm -f *.ibc

test/reg022/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg022.idr --check

33rm -f *.ibc

test/reg023/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg023.idr --check

33rm -f *.ibc

test/reg024/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg024.idr -o reg024

33./reg024

44rm -f reg024 *.ibc

test/reg025/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg025.idr -o reg025

33./reg025

44rm -f reg025 *.ibc

test/reg026/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ reg026.idr --check reg026

33rm -f *.ibc

test/runtest.pl+1−1

@@ -1,4 +1,4 @@

1−#!/usr/bin/perl

1+#!/usr/bin/env perl

22

33use strict;

44use Cwd;

test/test001/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test001.idr -o test001

33./test001

44rm -f test001 test001.ibc

test/test002/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test002.idr --check --noprelude

33rm -f *.ibc

test/test003/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test003a.lidr --check

33idris $@ test003.lidr -o test003

44./test003

test/test004/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test004.idr -o test004

33./test004

44rm -f test004 test004.ibc testfile

test/test005/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test005.idr -o test005

33./test005

44rm -f test005 test005.ibc

test/test006/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test006.idr -o test006

33./test006

44rm -f test006 test006.ibc

test/test007/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test007.idr -o test007

33./test007

44rm -f test007 test007.ibc

test/test008/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test008.idr -o test008

33./test008

44rm -f test008 test008.ibc

test/test009/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test009.idr -o test009

33./test009

44rm -f test009 test009.ibc

test/test010/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test010.idr -o test010

33idris $@ test010a.idr -o test010

44idris $@ test010b.idr -o test010

test/test011/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test011.idr -o test011

33./test011

44rm -f test011 test011.ibc

test/test012/runmode 100755 → 100644+1−1

@@ -1,2 +1,2 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test012a.idr -o test012a

test/test013/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test013.idr -o test013

33./test013

44rm -f test013 test013.ibc

test/test014/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test014.idr -o test014

33./test014

44rm -f test014 resimp.ibc test014.ibc

test/test015/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test015.idr -o test015

33./test015

44rm -f test015 parity.ibc test015.ibc

test/test016/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test016.idr -o test016

33./test016

44rm -f test016 *.ibc

test/test017/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ --check test017.idr

33idris $@ --check test017a.idr

44idris $@ --check test017b.idr

test/test018/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test018.idr -o test018

33idris $@ test018a.idr -o test018a

44./test018

test/test019/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test019.lidr -o test019

33./test019

44rm -f test019 *.ibc

test/test020/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test020.idr -o test020

33idris $@ test020a.idr --check --nocolor

44./test020

test/test021/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris -p effects $@ test021.idr -o test021

33idris -p effects $@ test021a.idr -o test021a

44./test021

test/test022/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22echo ":x x" | idris --quiet test022.idr

33rm -f test021 test021a *.ibc

test/test023/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris --quiet test023.idr -o test023

33rm -f test023 *.ibc

test/test024/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris --quiet test024.idr < input

33rm -f *.ibc

test/test025/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris -p effects $@ test025.idr -o test025

33./test025

44rm -f test025 *.ibc

test/test026/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris --quiet test026.idr < input

33rm -f *.ibc

test/test027/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test027.idr -o test027

33./test027

44rm -f test027 *.ibc

test/test028/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test028.idr -o test028

33./test028

44rm -f test028 test028.ibc

test/test029/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test029.idr --check test029

33rm -f *.ibc

test/test030/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test030.idr --check --nocolour

33idris $@ test030a.idr --check --nocolour

44rm -f *.ibc

test/test031/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ test031.idr -o test031

33./test031

44rm -f test031 *.ibc

test/test032/runmode 100755 → 100644+1−1

@@ -1,3 +1,3 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris --quiet test032.idr < input

33rm -f *.ibc

test/test033/runmode 100755 → 100644+1−1

@@ -1,4 +1,4 @@

1−#!/bin/bash

1+#!/usr/bin/env bash

22idris $@ -o test033 test033.idr

33./test033

44rm -f *.ibc test033