From 56631741880b8ee30adb3f0579a4495fcc7e1278 Mon Sep 17 00:00:00 2001
From: "Kevin M. Rosenberg" <kevin@rosenberg.net>
Date: Mon, 12 Feb 2018 16:43:12 -0700
Subject: [PATCH] Update install directions

---
 INSTALL                               | 39 +++++++++++++++++++--------
 build-debian.sh => doc/install-qt3.sh |  1 -
 2 files changed, 28 insertions(+), 12 deletions(-)
 rename build-debian.sh => doc/install-qt3.sh (92%)

diff --git a/INSTALL b/INSTALL
index cfc0c31..3f44e16 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,12 +1,32 @@
-BUILDING SNARK14
+Installing SNARK14
+==================
 
-To build snark14 run the command:
+Install Prerequisites
+---------------------
+
+1. Install prerequisite packages. Note this version of SNARK14 has
+been ported to Xerces 3. For Debian or Ubuntu, the required packages
+can be installed with the following
+
+$ sudo apt install build-essential libxerces-c-dev wget
+
+2. Run the following command
+
+$ doc/install-qt3.sh
+
+to download and install QT3 into the /usr/local/qt directory which is
+required to build the graphical tools.
 
-$ make
 
-_________________
+Building SNARK14
+----------------
 
-The software will create the directories
+Run the commands
+
+$ make
+$ make install
+
+which will create and populate the directories of
 
 bin
 build
@@ -16,13 +36,10 @@ and it will install the SNARK14 in the following directory
 
 bin/snark14
 
-with the following libraries
+and install the binary in /usr/local/bin and the following shared
+libraries in /usr/local/lib:
 
 lib/libDIGFile.so
 lib/libDIGFileSnark.so
 lib/libDIGRand.so
-
-The building process assumes an installation of the original
-SNARK14 and XERCES 2.6.1 in the directory
-
-/usr/local/snark14
+lib/libsnark14.so
diff --git a/build-debian.sh b/doc/install-qt3.sh
similarity index 92%
rename from build-debian.sh
rename to doc/install-qt3.sh
index 0b6950e..8110b1c 100755
--- a/build-debian.sh
+++ b/doc/install-qt3.sh
@@ -4,7 +4,6 @@ echo "SNARK14m Debian/Ubuntu build"
 echo "Kevin Rosenberg <kevin@rosenberg.net>"
 
 echo "Install required packages"
-sudo apt install build-essential libxerces-c-dev wget
      
 echo "Download and patch QT3"
 wget https://download.qt.io/archive/qt/3/qt-x11-free-3.3.8b.tar.gz
-- 
2.34.1