From 2a73fe51761d987faaacfb5557e61a468bf80424 Mon Sep 17 00:00:00 2001
From: Clinton Ebadi <clinton@unknownlamer.org>
Date: Sat, 11 Aug 2018 15:03:35 -0400
Subject: [PATCH] bootstrap: install default domtool library when bootstrapping

---
 bootstrap/bootstrap           |  1 +
 bootstrap/domtool-install-lib | 11 +++++++++++
 2 files changed, 12 insertions(+)
 create mode 100755 bootstrap/domtool-install-lib

diff --git a/bootstrap/bootstrap b/bootstrap/bootstrap
index db6750c..49207cb 100755
--- a/bootstrap/bootstrap
+++ b/bootstrap/bootstrap
@@ -23,6 +23,7 @@ if [ -z "`getent passwd domtool`" ]; then
 fi
 
 ./domtool-create-shared-root
+./domtool-install-lib
 ./domtool-create-local-root
 ./domtool-create-ca -force
 ./domtool-init-truststore
diff --git a/bootstrap/domtool-install-lib b/bootstrap/domtool-install-lib
new file mode 100755
index 0000000..26c339f
--- /dev/null
+++ b/bootstrap/domtool-install-lib
@@ -0,0 +1,11 @@
+#!/bin/sh
+
+# install domtool library
+SHAREDROOT=`../bin/domtool-config -path shared-root`
+
+if [ -z "$SHAREDROOT" ]; then
+    echo "shared-root not set, domtool not built?"
+    exit 1
+fi
+
+rsync -r ../lib/ $SHAREDROOT/lib
-- 
2.20.1