From ffbbeecf66ae3ae3b70c7d3bfb3319ec73143255 Mon Sep 17 00:00:00 2001
From: jdh8d <jdh8d@git.zephyr-software.com>
Date: Thu, 22 Mar 2018 15:11:15 +0000
Subject: [PATCH] Niceity of output/readme changes.
---
build-all.sh | 7 ++++++-
ubuntu16_files/README.txt | 12 +++++++-----
2 files changed, 13 insertions(+), 6 deletions(-)
diff --git a/build-all.sh b/build-all.sh
index 4216fac81..005dd1264 100755
--- a/build-all.sh
+++ b/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
diff --git a/ubuntu16_files/README.txt b/ubuntu16_files/README.txt
index 4b2121b73..2bfc11e97 100644
--- a/ubuntu16_files/README.txt
+++ b/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.
--
GitLab