-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
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
+++ /dev/null
-#!/bin/bash
-
-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
-tar xzf qt-x11-free-3.3.8b.tar.gz
-cd qt-x11-free-3.3.8b
-
-# Add missing '#include <stddef.h>' to files using ptrdiff_h
-cd include
-for i in `grep -l ptrdiff_t *.h`; do
- echo "#include <stddef.h>" > tmp
- cat $i >> tmp
- mv tmp $i
-done
-cd ..
-
-echo "Build QT3"
-echo "yes" | ./configure && make
-cd ..
-
-echo "Make shared libraries findable"
-sudo mv qt-x11-free-3.3.8b /usr/local/qt3
-echo "/usr/local/qt3/lib" > qt3.conf
-sudo mv qt3.conf /etc/ld.so.conf.d/.
-sudo ldconfig
-
-
--- /dev/null
+#!/bin/bash
+
+echo "SNARK14m Debian/Ubuntu build"
+echo "Kevin Rosenberg <kevin@rosenberg.net>"
+
+echo "Install required packages"
+
+echo "Download and patch QT3"
+wget https://download.qt.io/archive/qt/3/qt-x11-free-3.3.8b.tar.gz
+tar xzf qt-x11-free-3.3.8b.tar.gz
+cd qt-x11-free-3.3.8b
+
+# Add missing '#include <stddef.h>' to files using ptrdiff_h
+cd include
+for i in `grep -l ptrdiff_t *.h`; do
+ echo "#include <stddef.h>" > tmp
+ cat $i >> tmp
+ mv tmp $i
+done
+cd ..
+
+echo "Build QT3"
+echo "yes" | ./configure && make
+cd ..
+
+echo "Make shared libraries findable"
+sudo mv qt-x11-free-3.3.8b /usr/local/qt3
+echo "/usr/local/qt3/lib" > qt3.conf
+sudo mv qt3.conf /etc/ld.so.conf.d/.
+sudo ldconfig
+
+