unofficial mirror of guix-devel@gnu.org 
 help / color / mirror / code / Atom feed

blob 695044e8d990046b22a77e238852450bbf0e85b1 892 bytes (raw)
name: gnu/packages/patches/idris-install-to-TARGET.patch 	 # note: path name is non-authoritative(*)

From 51d84e9adde98b4acf734c0f2631c8d956d2e281 Mon Sep 17 00:00:00 2001
From: David Craven <david@craven.ch>
Date: Sun, 6 Nov 2016 16:12:54 +0100
Subject: [PATCH 2/2] Override default library install path with TARGET.

* Setup.hs (idrisInstall): installStdLib to TARGET when set.
---
 Setup.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Setup.hs b/Setup.hs
index 8f58b6b3..affb61dc 100644
--- a/Setup.hs
+++ b/Setup.hs
@@ -254,7 +254,8 @@ idrisInstall verbosity copy pkg local = unless (execOnly (configFlags local)) $
       target = datadir $ L.absoluteInstallDirs pkg local copy
 
       installStdLib = do
-        let target' = target -- </> "libs"
+        envTarget <- lookupEnv "TARGET"
+        let target' = maybe target id envTarget -- </> "libs"
         putStrLn $ "Installing libraries in " ++ target'
         makeInstall "libs" target'
 
-- 
2.11.0

debug log:

solving 695044e8d ...
found 695044e8d in https://yhetil.org/guix-devel/20161215172835.7300-1-david@craven.ch/

applying [1/1] https://yhetil.org/guix-devel/20161215172835.7300-1-david@craven.ch/
diff --git a/gnu/packages/patches/idris-install-to-TARGET.patch b/gnu/packages/patches/idris-install-to-TARGET.patch
new file mode 100644
index 000000000..695044e8d

1:23: trailing whitespace.
 
1:30: trailing whitespace.
 
1:31: trailing whitespace.
-- 
Checking patch gnu/packages/patches/idris-install-to-TARGET.patch...
1:33: new blank line at EOF.
+
Applied patch gnu/packages/patches/idris-install-to-TARGET.patch cleanly.
warning: 4 lines add whitespace errors.

index at:
100644 695044e8d990046b22a77e238852450bbf0e85b1	gnu/packages/patches/idris-install-to-TARGET.patch

(*) Git path names are given by the tree(s) the blob belongs to.
    Blobs themselves have no identifier aside from the hash of its contents.^

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).