Niceity of output/readme changes.

build-all.sh

@@ -10,6 +10,11 @@ if [ "$PEASOUP_UMBRELLA_DIR" != "$FULL_BUILD_LOC" ]; then
     exit 1;
 fi
 
+echo
+echo "Building Zipr toolchain."
+echo
+
+
 SCONSDEBUG=""
 if [[ "$*" =~ "--debug" ]]; then
 	SCONSDEBUG=" debug=1 "
@@ -143,6 +148,6 @@ $PEDI_HOME/pedi -m manifest.txt
 
 echo
 echo
-echo  "peasoup/cfar_umbrella Overall build complete."
+echo  "Zipr toolchain build complete."
 echo
 echo

ubuntu16_files/README.txt

@@ -4,13 +4,15 @@ Steps to installing.
 	0) Unpack the tarball (likely called zipr_toolchain.tgz) -- you must have done this already 
 		to be reading this!
 	1) Switch to the directory created during unpacking. i.e., cd zipr_toolchain
-	2) Copy your ida.key for IdaPro7.0 to ./idaproCur/ida.key
+	2) Run "source set_env_vars"
 	3) Run "./ubuntu16_files/install.sh" in this directory -- lots of packages 
 		will be installed.
-	4) Run "source set_env_vars"
-	5) This step sets up postgres to hold the Zipr database.  If you already 
+	4) Copy your ida.key for IdaPro7.0 to ./idaproCur/ida.key.  Alternately, if you have a UVA CS 
+		account, you can use the UVA-CS dependability group's IDA server.  To use this, run
+		"source set_ida_server".
+	5) Run "postgres_setup.sh"
+		This step sets up postgres to hold the Zipr database.  If you already 
 		have postgres configured, it may damage your data.  Use with appropriate caution.
-		Run "postgres_setup.sh"
 	6) Test  the installation:
 		run "cd /tmp; $PSZ /bin/ls ./ls.ziprd"
 		You should see the Zipr toolchain protecting /bin/ls and writing results into the file
@@ -18,7 +20,7 @@ Steps to installing.
 		Run the rewritten program as if it were /bin/ls:  "/tmp/ls.ziprd"
 
 
-If you log out and log back in (or log into a new session), you'll need to re-run steps 1 and 4 
+If you log out and log back in (or log into a new session), you'll need to re-run steps 1 and 2 
 before using the toolchain again.  You may wish to automate this step by adding it to your .bashrc
 file or other, appropriate login files.