From c4674a62866db539acaa6206027b8fd879353604 Mon Sep 17 00:00:00 2001
From: Demian Katz <demian.katz@villanova.edu>
Date: Wed, 2 Aug 2017 16:58:40 -0400
Subject: [PATCH] Unpack Solr to /tmp instead of $VUFIND_HOME/solr. - This
 works around a technical issue in Vagrant; it also makes some logical sense.

---
 build.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index bda65a97491..dc06264f322 100644
--- a/build.xml
+++ b/build.xml
@@ -164,9 +164,9 @@
           </then>
         </if>
         <!-- unpack the archive into solr/vendor -->
-        <untar file="${srcdir}/downloads/solr-${solr_version}.tgz" todir="${srcdir}/solr" />
+        <untar file="${srcdir}/downloads/solr-${solr_version}.tgz" todir="${tmp}" />
         <delete dir="${srcdir}/solr/vendor" includeemptydirs="true" failonerror="false" />
-        <move file="${srcdir}/solr/solr-${solr_version}" tofile="${srcdir}/solr/vendor" />
+        <move file="${tmp}/solr-${solr_version}" tofile="${srcdir}/solr/vendor" />
         <!-- make scripts executable -->
         <chmod mode="0755">
           <fileset dir="${srcdir}/solr/vendor/bin">
-- 
GitLab