Add HTTPS_PROXY to jenkins solr_builder

Author: cdrini

scripts/solr_builder/Dockerfile.olpython

@@ -1,5 +1,6 @@
 FROM openlibrary/olbase:latest
 ARG PIP_INDEX_URL
+ARG HTTPS_PROXY
 
 ENV PYTHONPATH=/openlibrary:/openlibrary/vendor/infogami
 

scripts/solr_builder/Jenkinsfile

@@ -22,7 +22,9 @@ pipeline {
     booleanParam(name: 'INDEX_AUTHORS', defaultValue: true, description: 'If true, reindexes authors into solr')
     booleanParam(name: 'INDEX_LISTS', defaultValue: true, description: 'If true, reindexes lists into solr')
     string(name: 'MAX_CORES', defaultValue: '18', description: 'Max number of simultaneous cores')
-    string(name: 'PIP_INDEX_URL', defaultValue: '', description: 'Path to custom PIP index (optional)')
+    string(name: 'PIP_INDEX_URL', defaultValue: '', description: 'Path to custom PIP index (needed on prod)')
+    string(name: 'HTTPS_PROXY', defaultValue: '', description: 'Proxy for HTTP requests (needed on prod)')
+    string(name: 'NO_PROXY', defaultValue: 'archive.org,openlibrary.org,.archive.org,.openlibrary.org', description: 'No proxy for these domains')
   }
   environment {
     // The *host* location of Jenkins directory

scripts/solr_builder/compose.yaml

@@ -101,6 +101,9 @@ services:
     build:
       context: ../..
       dockerfile: scripts/solr_builder/Dockerfile.olpython
+      args:
+        - PIP_INDEX_URL=${PIP_INDEX_URL:-}
+        - HTTPS_PROXY=${HTTPS_PROXY:-}
     volumes:
       # Persistent volume mount for installed git submodules
       - ol-vendor:/openlibrary/vendor