From ae6cd99573433cd6067e0f9bafec23306376e690 Mon Sep 17 00:00:00 2001 From: Eric Bavier Date: Mon, 18 Apr 2022 22:40:10 -0500 Subject: gnu: idris: Use cc-for-target. * gnu/packages/idris.scm (idris)[arguments]: Use cc-for-target in place of "gcc". --- gnu/packages/idris.scm | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'gnu/packages/idris.scm') 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 -- cgit v1.2.3