build: Make guild optional for bootstrap builds.

* configure: Use `true' for guild when it is not available.
This commit is contained in:
Jan Nieuwenhuizen 2019-12-08 16:39:53 +01:00
parent 92ade63120
commit 3c3379a331
No known key found for this signature in database
GPG Key ID: F3C1A0D9C1D65273
1 changed files with 1 additions and 1 deletions

2
configure vendored
View File

@ -455,7 +455,7 @@ Some influential environment variables:
(make-dep "ar" #:version '(2 10) #:optional? #t)
(make-dep "sh" #:version '(0) #:optional? #t)
(make-dep "bash" #:version '(2 0) #:optional? #t)
(make-dep "guild" #:version '(2 0) #:commands '("guild" "guile-tools"))
(make-dep "guild" #:version '(2 0) #:commands '("guild" "guile-tools" "true"))
(make-dep "cc" #:commands (list gcc tcc mescc) #:optional? #t)
(make-dep "make" #:optional? #t)
(make-dep "makeinfo" #:optional? #t)