misc/sf
author Christian Urban <christian.urban@kcl.ac.uk>
Thu, 10 Nov 2022 09:52:40 +0000
changeset 438 a02e9efd7bc9
parent 341 ec3d7c2ece09
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
341
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     1
#!/bin/sh
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     2
###set -e
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     3
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     4
trap "exit" INT
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     5
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     6
function scala_compile {
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala "$1" 2> /dev/null 1> /dev/null) 
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     8
}
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     9
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    10
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    11
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    12
files=${1:-assignment2019scala-*/Part10}
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    13
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    14
name="bf.scala"
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    15
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    16
for sd in $files; do
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    17
    scalafix -r DisableSyntax --settings.DisableSyntax.noVars=true --settings.DisableSyntax.noReturns=true --settings.DisableSyntax.noWhileLoops=true $sd/$name 2> /dev/null 1> /dev/null
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    18
   ts=$(( $? )) 
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    19
   if [ $ts -ne 0 ]
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    20
   then
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    21
     echo $sd  
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    22
     echo $ts
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    23
   else
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    24
       if (scala_compile $sd/$name)
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    25
       then	  
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    26
         ts=$(( 0 ))
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    27
       else
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    28
         echo $sd  
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    29
         echo $ts  
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    30
       fi	   
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    31
   fi  
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    32
done
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    33
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    34
ec3d7c2ece09 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    35