From 85baab80b5cc58d78b7e51b8f23698868cb47ae6 Mon Sep 17 00:00:00 2001
From: Radon Rosborough <radon.neon@gmail.com>
Date: Sat, 20 Feb 2021 10:56:22 -0800
Subject: [PATCH] Fix hardcoded paths in Idris

---
 langs/idris.yaml | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/langs/idris.yaml b/langs/idris.yaml
index bd25d29..938bddf 100644
--- a/langs/idris.yaml
+++ b/langs/idris.yaml
@@ -11,13 +11,18 @@ install:
   apt:
     - chezscheme
   manual: |
+    install -d "${pkg}/usr/local/bin"
+
     wget https://www.idris-lang.org/idris2-src/idris2-latest.tgz
     mkdir idris
     tar -xf idris2-latest.tgz -C idris --strip-components=1
     pushd idris
-    make bootstrap-build SCHEME=chezscheme PREFIX="${pkg}/usr/local"
-    make install PREFIX="${pkg}/usr/local"
-    chmod -R a=u,go-w "${pkg}/usr/local"/idris2-*
+    make bootstrap-build SCHEME=chezscheme PREFIX=/usr/local
+    sudo make install PREFIX=/usr/local
+    sudo mv /usr/local/idris* "${pkg}/usr/local/"
+    sudo mv /usr/local/bin/idris* "${pkg}/usr/local/bin/"
+    sudo chown -R riju:riju "${pkg}/usr/local"
+    chmod -R a=u,go-w "${pkg}/usr/local"/idris*
     popd
 
 repl: |