mk_jars
author Christian Urban <christian.urban@kcl.ac.uk>
Sun, 15 Jan 2023 10:31:30 +0000
changeset 457 85942c3b387a
parent 411 135ae45ae57f
child 474 8a61bcd51ec3
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
355
e4d779587d3f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 349
diff changeset
     1
#!/bin/bash
296
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
405
8ca816372e9d updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 355
diff changeset
     4
subdirs=${1:-"core_solution1 core_solution2 core_solution3 main_solution1 main_solution2 main_solution3 main_solution4 main_solution5"} 
348
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 297
diff changeset
     5
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 297
diff changeset
     6
for sd in $subdirs; do
296
4e5bc75cdbd3 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
  cd $sd
4e5bc75cdbd3 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
  for fl in *.scala; do
348
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 297
diff changeset
     9
      echo "$sd/$fl"
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 297
diff changeset
    10
      echo "copy to ${sd/solution/templates}/${fl%.scala}.jar"
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 297
diff changeset
    11
      scalac -d ${fl%.scala}.jar $fl
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 297
diff changeset
    12
      cp ${fl%.scala}.jar "../${sd/solution/templates}"
411
135ae45ae57f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 405
diff changeset
    13
      hg add -q "../${sd/solution/templates}/${fl%.scala}.jar"
296
4e5bc75cdbd3 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
  done
4e5bc75cdbd3 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
  cd ..
4e5bc75cdbd3 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
done
349
ef4bb09a01b7 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 348
diff changeset
    17
ef4bb09a01b7 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 348
diff changeset
    18
hg commit -m "updated jars"
ef4bb09a01b7 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 348
diff changeset
    19
ef4bb09a01b7 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 348
diff changeset
    20
# producing solutions and templates
ef4bb09a01b7 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 348
diff changeset
    21
# tar -zxvf templates.tgz pre_templates* main_templates*
ef4bb09a01b7 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 348
diff changeset
    22
# tar -zcvf templates.tgz pre_templates* main_templates*