mk_jars
author Christian Urban <urbanc@in.tum.de>
Wed, 05 Feb 2020 12:24:27 +0000
changeset 332 e43ad5714b72
parent 297 db224b73bfbe
child 348 194d6ee45800
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
296
4e5bc75cdbd3 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
#!/bin/sh
4e5bc75cdbd3 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
set -e
4e5bc75cdbd3 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
4e5bc75cdbd3 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
for sd in solutions*; do
4e5bc75cdbd3 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
  cd $sd
4e5bc75cdbd3 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
  for fl in *.scala; do
4e5bc75cdbd3 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
     echo "$fl compiled to ${fl%".scala"}.jar"
4e5bc75cdbd3 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
     scalac -d ${fl%".scala"}.jar $fl
297
db224b73bfbe updated jars
Christian Urban <urbanc@in.tum.de>
parents: 296
diff changeset
     9
     echo "copied to ../templates${sd#"solutions"}/"
db224b73bfbe updated jars
Christian Urban <urbanc@in.tum.de>
parents: 296
diff changeset
    10
     cp ${fl%".scala"}.jar ../templates${sd#"solutions"}/
296
4e5bc75cdbd3 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
  done
4e5bc75cdbd3 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
  cd ..
4e5bc75cdbd3 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
done