2017-10-13 18:07:41 +02:00
|
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2019-01-06 22:02:40 +01:00
|
|
|
|
;;; Copyright © 2013, 2014, 2016, 2017, 2018, 2019 Ludovic Courtès <ludo@gnu.org>
|
2017-10-13 18:07:41 +02:00
|
|
|
|
;;; Copyright © 2015 Taylan Ulrich Bayırlı/Kammer <taylanbayirli@gmail.com>
|
|
|
|
|
;;;
|
|
|
|
|
;;; This file is part of GNU Guix.
|
|
|
|
|
;;;
|
|
|
|
|
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
|
|
|
|
;;; under the terms of the GNU General Public License as published by
|
|
|
|
|
;;; the Free Software Foundation; either version 3 of the License, or (at
|
|
|
|
|
;;; your option) any later version.
|
|
|
|
|
;;;
|
|
|
|
|
;;; GNU Guix is distributed in the hope that it will be useful, but
|
|
|
|
|
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
;;; GNU General Public License for more details.
|
|
|
|
|
;;;
|
|
|
|
|
;;; You should have received a copy of the GNU General Public License
|
|
|
|
|
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
|
|
(define-module (guix build compile)
|
2019-07-12 22:38:03 +02:00
|
|
|
|
#:use-module (srfi srfi-1)
|
2017-10-13 18:07:41 +02:00
|
|
|
|
#:use-module (ice-9 match)
|
|
|
|
|
#:use-module (ice-9 format)
|
|
|
|
|
#:use-module (ice-9 threads)
|
|
|
|
|
#:use-module (system base target)
|
|
|
|
|
#:use-module (system base compile)
|
|
|
|
|
#:use-module (system base message)
|
2017-10-13 22:16:46 +02:00
|
|
|
|
#:use-module (guix modules)
|
2017-10-13 18:07:41 +02:00
|
|
|
|
#:use-module (guix build utils)
|
2019-01-06 22:02:40 +01:00
|
|
|
|
#:use-module (language tree-il optimize)
|
|
|
|
|
#:use-module (language cps optimize)
|
2017-10-13 18:07:41 +02:00
|
|
|
|
#:export (%default-optimizations
|
|
|
|
|
%lightweight-optimizations
|
|
|
|
|
compile-files))
|
|
|
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
|
;;;
|
2019-01-06 22:02:40 +01:00
|
|
|
|
;;; Support code to compile Guile code as efficiently as possible (with 2.2).
|
2017-10-13 18:07:41 +02:00
|
|
|
|
;;;
|
|
|
|
|
;;; Code:
|
|
|
|
|
|
|
|
|
|
(define %default-optimizations
|
|
|
|
|
;; Default optimization options (equivalent to -O2 on Guile 2.2).
|
2019-06-02 01:32:12 +02:00
|
|
|
|
(append (if (defined? 'tree-il-default-optimization-options)
|
|
|
|
|
(tree-il-default-optimization-options) ;Guile 2.2
|
|
|
|
|
(tree-il-optimizations)) ;Guile 3
|
|
|
|
|
(if (defined? 'cps-default-optimization-options)
|
|
|
|
|
(cps-default-optimization-options) ;Guile 2.2
|
|
|
|
|
(cps-optimizations)))) ;Guile 3
|
2017-10-13 18:07:41 +02:00
|
|
|
|
|
|
|
|
|
(define %lightweight-optimizations
|
|
|
|
|
;; Lightweight optimizations (like -O0, but with partial evaluation).
|
|
|
|
|
(let loop ((opts %default-optimizations)
|
|
|
|
|
(result '()))
|
|
|
|
|
(match opts
|
|
|
|
|
(() (reverse result))
|
|
|
|
|
((#:partial-eval? _ rest ...)
|
|
|
|
|
(loop rest `(#t #:partial-eval? ,@result)))
|
|
|
|
|
((kw _ rest ...)
|
|
|
|
|
(loop rest `(#f ,kw ,@result))))))
|
|
|
|
|
|
2019-07-12 22:38:03 +02:00
|
|
|
|
(define (supported-warning-type? type)
|
|
|
|
|
"Return true if TYPE, a symbol, denotes a supported warning type."
|
|
|
|
|
(find (lambda (warning-type)
|
|
|
|
|
(eq? type (warning-type-name warning-type)))
|
|
|
|
|
%warning-types))
|
|
|
|
|
|
2017-10-13 18:07:41 +02:00
|
|
|
|
(define %warnings
|
|
|
|
|
;; FIXME: 'format' is missing because it reports "non-literal format
|
|
|
|
|
;; strings" due to the fact that we use 'G_' instead of '_'. We'll need
|
|
|
|
|
;; help from Guile to solve this.
|
2019-07-12 22:38:03 +02:00
|
|
|
|
(let ((optional (lambda (type)
|
|
|
|
|
(if (supported-warning-type? type)
|
|
|
|
|
(list type)
|
|
|
|
|
'()))))
|
|
|
|
|
`(unbound-variable arity-mismatch
|
|
|
|
|
macro-use-before-definition ;new in 2.2
|
|
|
|
|
,@(optional 'shadowed-toplevel)))) ;new in 2.2.5
|
2017-10-13 18:07:41 +02:00
|
|
|
|
|
|
|
|
|
(define (optimization-options file)
|
|
|
|
|
"Return the default set of optimizations options for FILE."
|
|
|
|
|
(if (string-contains file "gnu/packages/")
|
|
|
|
|
%lightweight-optimizations ;build faster
|
|
|
|
|
'()))
|
|
|
|
|
|
|
|
|
|
(define (scm->go file)
|
|
|
|
|
"Strip the \".scm\" suffix from FILE, and append \".go\"."
|
|
|
|
|
(string-append (string-drop-right file 4) ".go"))
|
|
|
|
|
|
2017-11-05 12:49:57 +01:00
|
|
|
|
(define (relative-file directory file)
|
|
|
|
|
"Return FILE relative to DIRECTORY, if possible."
|
|
|
|
|
(if (string-prefix? (string-append directory "/") file)
|
|
|
|
|
(string-drop file (+ 1 (string-length directory)))
|
|
|
|
|
file))
|
|
|
|
|
|
2017-10-13 18:07:41 +02:00
|
|
|
|
(define* (load-files directory files
|
|
|
|
|
#:key
|
|
|
|
|
(report-load (const #f))
|
|
|
|
|
(debug-port (%make-void-port "w")))
|
|
|
|
|
"Load FILES, a list of relative file names, from DIRECTORY."
|
|
|
|
|
(define total
|
|
|
|
|
(length files))
|
|
|
|
|
|
|
|
|
|
(let loop ((files files)
|
|
|
|
|
(completed 0))
|
|
|
|
|
(match files
|
|
|
|
|
(()
|
|
|
|
|
(unless (zero? total)
|
|
|
|
|
(report-load #f total completed))
|
|
|
|
|
*unspecified*)
|
|
|
|
|
((file files ...)
|
2017-11-05 12:49:57 +01:00
|
|
|
|
(let ((file (relative-file directory file)))
|
|
|
|
|
(report-load file total completed)
|
|
|
|
|
(format debug-port "~%loading '~a'...~%" file)
|
2017-10-13 18:07:41 +02:00
|
|
|
|
|
2019-01-22 12:01:49 +01:00
|
|
|
|
(resolve-interface (file-name->module-name file))
|
2017-10-13 18:07:41 +02:00
|
|
|
|
|
2017-11-05 12:49:57 +01:00
|
|
|
|
(loop files (+ 1 completed)))))))
|
2017-10-13 18:07:41 +02:00
|
|
|
|
|
|
|
|
|
(define-syntax-rule (with-augmented-search-path path item body ...)
|
|
|
|
|
"Within the dynamic extent of BODY, augment PATH by adding ITEM to the
|
|
|
|
|
front."
|
|
|
|
|
(let ((initial-value path))
|
|
|
|
|
(dynamic-wind
|
|
|
|
|
(lambda ()
|
|
|
|
|
(set! path (cons item path)))
|
|
|
|
|
(lambda ()
|
|
|
|
|
body ...)
|
|
|
|
|
(lambda ()
|
|
|
|
|
(set! path initial-value)))))
|
|
|
|
|
|
2018-05-01 15:26:16 +02:00
|
|
|
|
(define (call/exit-on-exception thunk)
|
|
|
|
|
"Evaluate THUNK and exit right away if an exception is thrown."
|
|
|
|
|
(catch #t
|
|
|
|
|
thunk
|
|
|
|
|
(const #f)
|
|
|
|
|
(lambda (key . args)
|
|
|
|
|
(false-if-exception
|
|
|
|
|
;; Duplicate stderr to avoid thread-safety issues.
|
|
|
|
|
(let* ((port (duplicate-port (current-error-port) "w0"))
|
|
|
|
|
(stack (make-stack #t))
|
|
|
|
|
(depth (stack-length stack))
|
|
|
|
|
(frame (and (> depth 1) (stack-ref stack 1))))
|
|
|
|
|
(false-if-exception (display-backtrace stack port))
|
|
|
|
|
(print-exception port frame key args)))
|
|
|
|
|
|
|
|
|
|
;; Don't go any further.
|
|
|
|
|
(primitive-exit 1))))
|
|
|
|
|
|
|
|
|
|
(define-syntax-rule (exit-on-exception exp ...)
|
|
|
|
|
"Evaluate EXP and exit if an exception is thrown."
|
|
|
|
|
(call/exit-on-exception (lambda () exp ...)))
|
|
|
|
|
|
2017-10-13 18:07:41 +02:00
|
|
|
|
(define* (compile-files source-directory build-directory files
|
|
|
|
|
#:key
|
|
|
|
|
(host %host-type)
|
|
|
|
|
(workers (current-processor-count))
|
|
|
|
|
(optimization-options optimization-options)
|
|
|
|
|
(warning-options `(#:warnings ,%warnings))
|
|
|
|
|
(report-load (const #f))
|
|
|
|
|
(report-compilation (const #f))
|
|
|
|
|
(debug-port (%make-void-port "w")))
|
|
|
|
|
"Compile FILES, a list of source files taken from SOURCE-DIRECTORY, to
|
|
|
|
|
BUILD-DIRECTORY, using up to WORKERS parallel workers. The resulting object
|
|
|
|
|
files are for HOST, a GNU triplet such as \"x86_64-linux-gnu\"."
|
|
|
|
|
(define progress-lock (make-mutex))
|
|
|
|
|
(define total (length files))
|
|
|
|
|
(define completed 0)
|
|
|
|
|
|
|
|
|
|
(define (build file)
|
|
|
|
|
(with-mutex progress-lock
|
|
|
|
|
(report-compilation file total completed))
|
2018-05-01 15:26:16 +02:00
|
|
|
|
|
|
|
|
|
;; Exit as soon as something goes wrong.
|
|
|
|
|
(exit-on-exception
|
2019-01-22 12:01:49 +01:00
|
|
|
|
(with-target host
|
|
|
|
|
(lambda ()
|
|
|
|
|
(let ((relative (relative-file source-directory file)))
|
|
|
|
|
(compile-file file
|
|
|
|
|
#:output-file (string-append build-directory "/"
|
|
|
|
|
(scm->go relative))
|
|
|
|
|
#:opts (append warning-options
|
|
|
|
|
(optimization-options relative)))))))
|
2017-10-13 18:07:41 +02:00
|
|
|
|
(with-mutex progress-lock
|
|
|
|
|
(set! completed (+ 1 completed))))
|
|
|
|
|
|
|
|
|
|
(with-augmented-search-path %load-path source-directory
|
|
|
|
|
(with-augmented-search-path %load-compiled-path build-directory
|
2019-01-22 12:01:49 +01:00
|
|
|
|
(with-fluids ((*current-warning-prefix* ""))
|
|
|
|
|
|
|
|
|
|
;; FIXME: To work around <https://bugs.gnu.org/15602>, we first load all
|
|
|
|
|
;; of FILES.
|
|
|
|
|
(load-files source-directory files
|
|
|
|
|
#:report-load report-load
|
|
|
|
|
#:debug-port debug-port)
|
|
|
|
|
|
|
|
|
|
;; Make sure compilation related modules are loaded before starting to
|
|
|
|
|
;; compile files in parallel.
|
|
|
|
|
(compile #f)
|
|
|
|
|
|
|
|
|
|
;; XXX: Don't use too many workers to work around the insane memory
|
|
|
|
|
;; requirements of the compiler in Guile 2.2.2:
|
|
|
|
|
;; <https://lists.gnu.org/archive/html/guile-devel/2017-05/msg00033.html>.
|
|
|
|
|
(n-par-for-each (min workers 8) build files)
|
|
|
|
|
|
|
|
|
|
(unless (zero? total)
|
|
|
|
|
(report-compilation #f total total))))))
|
2017-10-13 18:07:41 +02:00
|
|
|
|
|
2018-06-18 15:16:40 +02:00
|
|
|
|
(eval-when (eval load)
|
|
|
|
|
(when (and (string=? "2" (major-version))
|
|
|
|
|
(or (string=? "0" (minor-version))
|
|
|
|
|
(and (string=? (minor-version) "2")
|
|
|
|
|
(< (string->number (micro-version)) 4))))
|
|
|
|
|
;; Work around <https://bugs.gnu.org/31878> on Guile < 2.2.4.
|
|
|
|
|
;; Serialize 'try-module-autoload' calls.
|
|
|
|
|
(set! (@ (guile) try-module-autoload)
|
|
|
|
|
(let ((mutex (make-mutex 'recursive))
|
|
|
|
|
(real (@ (guile) try-module-autoload)))
|
|
|
|
|
(lambda* (module #:optional version)
|
|
|
|
|
(with-mutex mutex
|
|
|
|
|
(real module version)))))))
|
|
|
|
|
|
2017-10-13 18:07:41 +02:00
|
|
|
|
;;; Local Variables:
|
|
|
|
|
;;; eval: (put 'with-augmented-search-path 'scheme-indent-function 2)
|
|
|
|
|
;;; eval: (put 'with-target 'scheme-indent-function 1)
|
|
|
|
|
;;; End:
|