annotate code/submission.sh @ 85:f420fabd0e44 default tip

One last README change
author Michael Pavone <pavone@retrodev.com>
date Mon, 28 Jul 2014 04:42:24 -0700
parents 3e5de539a676
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
33
c68c03a0e072 submission script added.
William Morgan <billjunk@mrgn.org>
parents:
diff changeset
1 #!/bin/sh
c68c03a0e072 submission script added.
William Morgan <billjunk@mrgn.org>
parents:
diff changeset
2
c68c03a0e072 submission script added.
William Morgan <billjunk@mrgn.org>
parents:
diff changeset
3 # To be run from the code subfolder.
c68c03a0e072 submission script added.
William Morgan <billjunk@mrgn.org>
parents:
diff changeset
4
83
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
5 echo "Clean all outputs before we start..."
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
6 rm -rf ../solution
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
7 rm -rf ../../submission.tar.gz_CHECK
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
8 rm ../../submission.tar.gz
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
9
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
10 echo "Check that compiler binary files exist..."
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
11 ls ./lmc
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
12 ls ./gqc
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
13
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
14 echo "Compile the lambdaman.gcc program into solutions folder..."
33
c68c03a0e072 submission script added.
William Morgan <billjunk@mrgn.org>
parents:
diff changeset
15 mkdir -p ../solution
c68c03a0e072 submission script added.
William Morgan <billjunk@mrgn.org>
parents:
diff changeset
16 ./lmc dotScanner.lm > ../solution/lambdaman.gcc
c68c03a0e072 submission script added.
William Morgan <billjunk@mrgn.org>
parents:
diff changeset
17
83
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
18 echo "Compile two of our ghost programs into solutions folder..."
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
19 ./gqc ghost0.gq > ../solution/ghost0.ghc
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
20 ./gqc ghost1.gq > ../solution/ghost1.ghc
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
21
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
22 echo "Prepare a tar file for submission without binaries, hg, or *~ files..."
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
23 tar -czf ../../submission.tar.gz --exclude-vcs --exclude='gqc' --exclude='lmc' --exclude='gcc' --exclude='*~' ../
33
c68c03a0e072 submission script added.
William Morgan <billjunk@mrgn.org>
parents:
diff changeset
24
83
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
25 echo "Untar into folder for sanity checks..."
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
26 mkdir -p ../../submission.tar.gz_CHECK
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
27 tar -xzf ../../submission.tar.gz -C ../../submission.tar.gz_CHECK
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
28 ls -haRl ../../submission.tar.gz_CHECK
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
29 echo "Does the size look right?"
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
30 echo "All the files there?"
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
31
3e5de539a676 super submission script!
William Morgan <billjunk@mrgn.org>
parents: 33
diff changeset
32 echo "Here is the hash:"
33
c68c03a0e072 submission script added.
William Morgan <billjunk@mrgn.org>
parents:
diff changeset
33 sha1sum ../../submission.tar.gz
c68c03a0e072 submission script added.
William Morgan <billjunk@mrgn.org>
parents:
diff changeset
34