nyacc: Unbundle.
[mes.git] / configure
1 #! /bin/sh
2 # -*- scheme -*-
3 unset LANG LC_ALL
4 echo -n "checking for guile..."
5 GUILE=$(type -p ${GUILE-guile} 2>/dev/null|tail -n 1|sed 's,^.* ,,')
6 export GUILE
7 if [ -x "$GUILE" ]; then
8     echo " $GUILE"
9 else
10     pm=$({ guix --help || dpkg --help; }|head -n 1|sed 's,.*Usage: \([^ ]*\).*,\1,g')
11 #-paredit:'})(
12     case "$pm" in dpkg) message="sudo apt-get install guile-2.0";; *) message="guix package -i guile";; esac
13     cat <<EOF
14 Missing dependencies, run
15
16     $pm
17 EOF
18     exit 1
19 fi
20 exec ${GUILE} --no-auto-compile -L $(pwd) -e '(@@ (configure) main)' -s "$0" ${1+"$@"}
21 !#
22
23 ;;; Mes --- Maxwell Equations of Software
24 ;;; Copyright © 2016,2017 Jan Nieuwenhuizen <janneke@gnu.org>
25 ;;;
26 ;;; configure: This file is part of Mes.
27 ;;;
28 ;;; Mes is free software; you can redistribute it and/or modify it
29 ;;; under the terms of the GNU General Public License as published by
30 ;;; the Free Software Foundation; either version 3 of the License, or (at
31 ;;; your option) any later version.
32 ;;;
33 ;;; Mes is distributed in the hope that it will be useful, but
34 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
35 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
36 ;;; GNU General Public License for more details.
37 ;;;
38 ;;; You should have received a copy of the GNU General Public License
39 ;;; along with Mes.  If not, see <http://www.gnu.org/licenses/>.
40
41
42 (define-module (configure)
43   #:use-module (ice-9 and-let-star)
44   #:use-module (ice-9 curried-definitions)
45   #:use-module (ice-9 getopt-long)
46   #:use-module (ice-9 match)
47   #:use-module (ice-9 optargs)
48   #:use-module (ice-9 popen)
49   #:use-module (ice-9 rdelim))
50
51 (define *shell* "sh")
52 (define PACKAGE "mes")
53 (define VERSION "0.5")
54 (define PREFIX "/usr/local")
55 (define GUILE_EFFECTIVE_VERSION (effective-version))
56 (define GUILE (or (getenv "guile") "guile"))
57 (define SYSCONFDIR "$(PREFIX)/etc")
58
59 ;;; Utility
60 (define (logf port string . rest)
61   (apply format (cons* port string rest))
62   (force-output port)
63   #t)
64
65 (define (stderr string . rest)
66   (apply logf (cons* (current-error-port) string rest)))
67
68 (define (stdout string . rest)
69   (apply logf (cons* (current-output-port) string rest)))
70
71 (define *verbose?* #f)
72
73 (define (verbose string . rest)
74   (if *verbose?* (apply stderr (cons string rest))))
75
76 (define (gulp-pipe command)
77   (let* ((port (open-pipe* OPEN_READ *shell* "-c" command))
78          (output (read-string port))
79          (status (close-pipe port)))
80     (verbose "command[~a]: ~s => ~a\n" status command output)
81     (if (not (zero? status)) "" (string-trim-right output #\newline))))
82
83 (define* ((->string #:optional (infix "")) h . t)
84   (let ((o (if (pair? t) (cons h t) h)))
85     (match o
86       ((? char?) (make-string 1 o))
87       ((? number?) (number->string o))
88       ((? string?) o)
89       ((? symbol?) (symbol->string o))
90       ((h ... t) (string-join (map (->string) o) ((->string) infix)))
91       (_ ""))))
92
93 (define (tuple< a b)
94   (cond
95    ((and (null? a) (null? b)) #t)
96    ((null? a) (not (null? b)))
97    ((null? b) #f)
98    ((and (not (< (car a) (car b)))
99          (not (< (car b) (car a))))
100     (tuple< (cdr a) (cdr b)))
101    (else (< (car a) (car b)))))
102
103 (define (tuple<= a b)
104   (or (equal? a b) (tuple< a b)))
105
106 ;;; Configure
107 (define (version->string version)
108   ((->string '.) version))
109
110 (define (string->version string)
111   (and-let* ((version (string-tokenize string
112                                        (char-set-adjoin char-set:digit #\.)))
113              ((pair? version))
114              (version (sort version (lambda (a b) (> (string-length a) (string-length b)))))
115              (version (car version))
116              (version (string-tokenize version
117                                        (char-set-complement (char-set #\.)))))
118             (map string->number version)))
119
120 (define required '())
121 (define* (check-version name expected
122                         #:key
123                         (deb #f)
124                         (version-option '--version)
125                         (compare tuple<=)
126                         (command name))
127   (stderr "checking for ~a~a..." name
128           (if (null? expected) ""
129               (format #f " [~a]" (version->string expected))))
130   (let* ((output (gulp-pipe (format #f "~a ~a 2>&1" command version-option)))
131          (actual (string->version output))
132          (pass? (and actual (compare expected actual))))
133     (stderr "~a ~a\n" (if pass? (if (pair? actual) "" " yes")
134                           (if actual " no, found" "")) (version->string actual))
135     (or pass?
136         (if (not (pair? name)) (begin (set! required (cons (or deb name) required)) pass?)
137             (check-version (cdr name) expected deb version-option compare)))))
138
139 (define* (check-pkg-config package expected #:optional (deb #f))
140   (check-version (format #f "pkg-config --modversion ~a" package) expected deb))
141
142 (define (check-compile-header-c++ header)
143   (and (= 0 (system (format #f "echo '#include \"~a\"' | gcc --language=c++ --std=c++11 -E - > /dev/null 2>&1" header)))
144        'yes))
145
146 (define* (check-header-c++ header deb #:optional (check check-compile-header-c++))
147   (stderr "checking for ~a..." header)
148   (let ((result (check header)))
149     (stderr " ~a\n" (if result result "no"))
150     (if (not result)
151         (set! required (cons deb required)))))
152
153 (define guix?
154   (and (zero? (system "guix --version &>/dev/null")) 1))
155 ;;;
156
157 (define CC (or (getenv "CC") "gcc"))
158 (define BUILD_TRIPLET (gulp-pipe (string-append CC " -dumpmachine 2>/dev/null")))
159 (define ARCH (car (string-split BUILD_TRIPLET #\-)))
160 (define CC32 (or (getenv "CC32")
161                  (if (equal? ARCH "i686") CC
162                      "i686-unknown-linux-gnu-gcc")))
163
164 (define (parse-opts args)
165   (let* ((option-spec
166           '((build (value #t))
167             (host (value #t))
168             (help (single-char #\h))
169             (prefix (value #t))
170             (sysconfdir (value #t))
171             (verbose (single-char #\v))
172             ;;ignore
173             (enable-fast-install)))
174          (options (getopt-long args option-spec))
175          (help? (option-ref options 'help #f))
176          (files (option-ref options '() '()))
177          (prefix (option-ref options '() PREFIX))
178          (usage? (and (not help?) #f)))
179     (if (pair? files)
180         (stderr "ignoring files: ~a\n" files))
181     (or (and (or help? usage?)
182              ((or (and usage? stderr) stdout) "\
183 Usage: ./configure [OPTION]...
184   -h, --help           display this help
185       --build=BUILD    configure for building on BUILD [guessed]
186       --host=HOST      cross-compile to build programs to run on HOST [BUILD]
187   --prefix=DIR         install in PREFIX [~a]
188   --sysconfdir=DIR     read-only single-machine data [PREFIX/etc]
189   -v, --verbose        be verbose
190 " PREFIX)
191              (exit (or (and usage? 2) 0)))
192         options)))
193
194 (define (main args)
195   (let* ((options (parse-opts args))
196          (build-triplet (option-ref options 'build BUILD_TRIPLET))
197          (host-triplet (option-ref options 'host BUILD_TRIPLET))
198          (prefix (option-ref options 'prefix PREFIX))
199          (sysconfdir (option-ref options 'sysconfdir SYSCONFDIR))
200          (verbose? (option-ref options 'verbose #f)))
201     (set! *verbose?* verbose?)
202     (check-version 'bash '(4 0))
203     (check-version CC '(4 8))
204     (check-version CC32 '(4 8))
205     (check-version 'guile '(2 0))
206     (check-version 'make '(4 0))
207     (check-version 'perl '(5))
208     (check-version 'nyacc '(0 78 0) #:command (string-append GUILE " -c '(use-modules (nyacc lalr)) (display *nyacc-version*)'"))
209
210     (when (pair? required)
211       (stderr "\nMissing dependencies [~a], run\n\n" ((->string ", ") required))
212       (if guix?
213           (stderr "    guix environment -l guix.scm\n")
214           (stderr "    sudo apt-get install ~a\n" ((->string " ") required)))
215       (exit 1))
216     (with-output-to-file ".config.make"
217       (lambda ()
218         (stdout "build:=~a\n" build-triplet)
219         (stdout "host:=~a\n" host-triplet)
220         (stdout "srcdir:=.\n")
221         (stdout "ARCH:=~a\n" ARCH)
222         (stdout "CC:=~a\n" CC)
223         (stdout "CC32:=~a\n" CC32)
224         (stdout "GUILE:=~a\n" GUILE)
225         (stdout "GUILE_EFFECTIVE_VERSION:=~a\n" GUILE_EFFECTIVE_VERSION)
226         (stdout "GUIX_P:=~a\n" (if guix? guix? ""))
227         (stdout "PACKAGE:=~a\n" PACKAGE)
228         (stdout "VERSION:=~a\n" VERSION)
229         (stdout "PREFIX:=~a\n" (gulp-pipe (string-append "echo " prefix)))
230         (stdout "SYSCONFDIR:=~a\n" sysconfdir)))
231     (stdout "\nRun:
232   make            to build mes
233   make help       for help on other targets\n")))