From eee609853a28a01baa863682697d72f8a2a48bb4 Mon Sep 17 00:00:00 2001
From: Ryan Lovett <rylo@berkeley.edu>
Date: Tue, 24 Sep 2024 13:07:42 -0700
Subject: [PATCH] Install gtrieScanner.

---
 postBuild | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/postBuild b/postBuild
index 1b6bcc9..b8f5745 100644
--- a/postBuild
+++ b/postBuild
@@ -1,5 +1,19 @@
 #!/usr/bin/env bash
 
+set -e
+
 # installing chromium browser to enable webpdf conversion using nbconvert
 export PLAYWRIGHT_BROWSERS_PATH=${CONDA_DIR}
 playwright install chromium
+
+# As requested in slack.
+# http://www.dcc.fc.up.pt/gtries/
+# https://github.com/ComplexNetworks-DCC-FCUP/gtrieScanner
+cd /tmp
+wget https://www.dcc.fc.up.pt/gtries/gtrieScanner_src_01.zip
+unzip gtrieScanner_src_01.zip
+cd gtrieScanner_src_01
+make
+# CONDA_DIR is writable by our UID in postBuild. Ideally this would be
+# in /usr/local/bin/.
+install -m 0755 gtrieScanner ${CONDA_DIR}/bin/