Initial build.

2024-09-30 13:32:55 -06:00
parent dad5b1272c
commit 51affb2be2
4 changed files with 94 additions and 1 deletions
--- a/pip-install.sh
+++ b/pip-install.sh
@@ -0,0 +1,13 @@
+#! /bin/bash
+
+set -eou pipefail
+
+NEXUS_ROOT=https://nexus.web.sandia.gov/
+
+if curl --output /dev/null --silent --head --fail "$NEXUS_ROOT"; then
+  PIP_ARGS="--index-url=$NEXUS_ROOT/repository/pypi-proxy/simple"
+else
+  PIP_ARGS=""
+fi
+
+python3 -m pip install "$PIP_ARGS" cmakelang==0.6.13