mescc: support -E.
[mes.git] / scripts / mescc.mes
1 #! /bin/sh
2 # -*-scheme-*-
3 MES=${MES-$(dirname $0)/mes}
4 moduledir=module/
5 echo '()' | cat $moduledir/mes/base-0.mes $0 /dev/stdin | $MES $MES_FLAGS -- "$@"
6 #paredit:||
7 r=$?
8 ([ -f a.out ] && chmod +x a.out)
9 exit $r
10 !#
11
12 ;;; Mes --- Maxwell Equations of Software
13 ;;; Copyright © 2016,2017 Jan Nieuwenhuizen <janneke@gnu.org>
14 ;;;
15 ;;; This file is part of Mes.
16 ;;;
17 ;;; Mes is free software; you can redistribute it and/or modify it
18 ;;; under the terms of the GNU General Public License as published by
19 ;;; the Free Software Foundation; either version 3 of the License, or (at
20 ;;; your option) any later version.
21 ;;;
22 ;;; Mes is distributed in the hope that it will be useful, but
23 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
24 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
25 ;;; GNU General Public License for more details.
26 ;;;
27 ;;; You should have received a copy of the GNU General Public License
28 ;;; along with Mes.  If not, see <http://www.gnu.org/licenses/>.
29
30 ;;; Commentary:
31
32 ;;; mescc.mes is a proof-of-concept simplistic C compiler and linker
33
34 ;;; Code:
35
36 ;;LALR
37 ;;(mes-use-module (language c compiler))
38 ;;Nyacc
39
40 (mes-use-module (mes guile))
41 (mes-use-module (mes getopt-long))
42 (mes-use-module (mes pretty-print))
43 (mes-use-module (language c99 compiler))
44 (mes-use-module (srfi srfi-1))
45 (mes-use-module (srfi srfi-26))
46
47 (format (current-error-port) "mescc.mes...\n")
48
49 (define %datadir (if (string-prefix? "@DATADIR" "@DATADIR@") "" "@DATADIR@"))
50 (define %docdir (if (string-prefix? "@DOCDIR" "@DOCDIR@") "doc/" "@DOCDIR@"))
51 (define %moduledir "module/")
52 (define %prefix (if (string-prefix? "@PREFIX" "@PREFIX@") "" "@PREFIX@"))
53 (define %version (if (string-prefix? "@VERSION" "@VERSION@") "git" "@VERSION@"))
54
55 (define (parse-opts args)
56   (let* ((option-spec
57           '((c (single-char #\c))
58             (D (single-char #\D) (value #t))
59             (E (single-char #\E))
60             (help (single-char #\h))
61             (I (single-char #\I) (value #t))
62             (o (single-char #\o) (value #t))
63             (version (single-char #\V) (value #t))))
64          (options (getopt-long args option-spec))
65          (help? (option-ref options 'help #f))
66          (files (option-ref options '() '()))
67          (usage? (and (not help?) (null? files)))
68          (version? (option-ref options 'version #f)))
69     (or
70      (and version?
71           (format (current-output-port) "mescc.scm (mes) ~a\n" %version))
72      (and (or help? usage?)
73           (format (or (and usage? (current-error-port)) (current-output-port)) "\
74 Usage: mescc [OPTION]... FILE...
75   -c                 compile and assemble, but do not link
76   -D DEFINE          define DEFINE
77   -E                 preprocess only; do not compile, assemble or link
78   -h, --help         display this help and exit
79   -I DIR             append DIR to include path
80   -o FILE            write output to FILE
81   -v, --version      display version and exit
82 ")
83           (exit (or (and usage? 2) 0)))
84      options)))
85
86 (define (object->info file)
87   (let* ((lst (with-input-from-file file read)))
88     (primitive-eval lst)))
89
90 (define (main:ast->info file)
91   (let ((ast (with-input-from-file file read)))
92     (with-input-from-file file
93       (lambda ()
94         (c99-ast->info ast)))))
95
96 (define (source->ast defines includes)
97   (lambda (file)
98     (with-input-from-file file
99       (lambda ()
100         (pretty-print (c99-input->ast #:defines defines #:includes includes))))))
101
102 (define (source->info defines includes)
103   (lambda (file)
104     (with-input-from-file file
105       (lambda ()
106         ((c99-input->info #:defines defines #:includes includes))))))
107
108 (define (ast? o)
109   (or (string-suffix? ".E" o)
110       (string-suffix? ".mes-E" o)))
111
112 (define (object? o)
113   (or (string-suffix? ".o" o)
114       (string-suffix? ".mes-o" o)))
115
116 (define (main args)
117   (let* ((args (cons* (car args) (cdr (member "--" args))))
118          (options (parse-opts args))
119          (files (option-ref options '() '()))
120          (file (if (null? files) (string-append %docdir "examples/main.c")
121                    (car files)))
122          (preprocess? (option-ref options 'E #f))
123          (compile? (option-ref options 'c #f))
124          (asts (filter ast? files))
125          (objects (filter object? files))
126          (sources (filter (cut string-suffix? ".c" <>) files))
127          (base (substring file (1+ (or (string-rindex file #\/) -1)) (- (string-length file) 2)))
128          (out (option-ref options 'o (cond (compile? (string-append base ".o"))
129                                            (preprocess? (string-append base ".E"))
130                                            (else "a.out"))))
131          (multi-opt (lambda (option) (lambda (o) (and (eq? (car o) option) (cdr o)))))
132          (defines (reverse (filter-map (multi-opt 'D) options)))
133          (includes (reverse (filter-map (multi-opt 'I) options))))
134     (when (getenv "MES_DEBUG") (format (current-error-port) "options=~s\n" options)
135           (format (current-error-port) "output: ~a\n" out))
136     (if (and (pair? sources) (pair? objects)) (error "cannot mix source and object files:" files))
137     (with-output-to-port (open-output-file out (if (and (not compile?)
138                                                         (not preprocess?)) S_IRWXU))
139       (lambda ()
140         (cond ((pair? objects) (let ((infos (map object->info objects)))
141                                  (if compile? (infos->object infos)
142                                      (infos->elf infos))))
143               ((pair? asts) (let ((infos (map main:ast->info asts)))
144                               (if compile? (infos->object infos)
145                                   (infos->elf infos))))
146               ((pair? sources) (if preprocess? (map (source->ast defines includes) sources)
147                                    (let ((infos (map (source->info defines includes) sources)))
148                                      (if compile? (infos->object infos)
149                                          (infos->elf infos))))))))))
150
151 (main (command-line))
152 ()