diff options
author | Eric Bavier <bavier@posteo.net> | 2022-04-18 22:40:10 -0500 |
---|---|---|
committer | Eric Bavier <bavier@posteo.net> | 2022-04-20 08:35:48 -0500 |
commit | ae6cd99573433cd6067e0f9bafec23306376e690 (patch) | |
tree | e1babc5396168b1893857f0ef15393d7f1950077 /gnu/packages/idris.scm | |
parent | b2a66e107170dab414f3f1e9dd0fe1c354b6e514 (diff) | |
download | guix-ae6cd99573433cd6067e0f9bafec23306376e690.tar.gz guix-ae6cd99573433cd6067e0f9bafec23306376e690.zip |
gnu: idris: Use cc-for-target.
* gnu/packages/idris.scm (idris)[arguments]: Use cc-for-target in place of
"gcc".
Diffstat (limited to 'gnu/packages/idris.scm')
-rw-r--r-- | gnu/packages/idris.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index 43a6ee54e3..649a222681 100644 --- a/gnu/packages/idris.scm +++ b/gnu/packages/idris.scm @@ -32,6 +32,7 @@ #:use-module (guix build-system haskell) #:use-module (guix download) #:use-module (guix git-download) + #:use-module (guix utils) #:use-module ((guix licenses) #:prefix license:) #:use-module (guix packages)) @@ -103,7 +104,7 @@ dep)))) (add-before 'configure 'set-cc-command (lambda _ - (setenv "CC" "gcc"))) + (setenv "CC" ,(cc-for-target)))) (add-after 'install 'fix-libs-install-location (lambda* (#:key outputs #:allow-other-keys) (let* ((out (assoc-ref outputs "out")) @@ -120,7 +121,7 @@ (let ((out (assoc-ref outputs "out"))) (chmod "test/scripts/timeout" #o755) ;must be executable (setenv "TASTY_NUM_THREADS" (number->string (parallel-job-count))) - (setenv "IDRIS_CC" "gcc") ;Needed for creating executables + (setenv "IDRIS_CC" ,(cc-for-target)) ;Needed for creating executables (setenv "PATH" (string-append out "/bin:" (getenv "PATH"))) (apply (assoc-ref %standard-phases 'check) args)))) (add-before 'check 'restore-libidris_rts |