2016-10-12 21:40:11 +00:00
|
|
|
#! /bin/sh
|
|
|
|
# -*-scheme-*-
|
2017-03-26 20:09:24 +00:00
|
|
|
MES=${MES-$(dirname $0)/mes}
|
2017-04-02 16:50:07 +00:00
|
|
|
moduledir=module/
|
2017-04-04 07:53:05 +00:00
|
|
|
echo '()' | cat $moduledir/mes/base-0.mes $0 /dev/stdin | $MES $MES_FLAGS -- "$@"
|
2016-12-31 08:03:07 +00:00
|
|
|
#paredit:||
|
2017-04-02 15:01:22 +00:00
|
|
|
r=$?
|
|
|
|
([ -f a.out ] && chmod +x a.out)
|
|
|
|
exit $r
|
2016-10-12 21:40:11 +00:00
|
|
|
!#
|
|
|
|
|
|
|
|
;;; Mes --- Maxwell Equations of Software
|
2017-01-03 22:48:12 +00:00
|
|
|
;;; Copyright © 2016,2017 Jan Nieuwenhuizen <janneke@gnu.org>
|
2016-10-12 21:40:11 +00:00
|
|
|
;;;
|
2016-12-18 14:44:09 +00:00
|
|
|
;;; This file is part of Mes.
|
2016-10-12 21:40:11 +00:00
|
|
|
;;;
|
|
|
|
;;; Mes 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.
|
|
|
|
;;;
|
|
|
|
;;; Mes 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 Mes. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
|
|
|
|
;;; mescc.mes is a proof-of-concept simplistic C compiler and linker
|
|
|
|
|
|
|
|
;;; Code:
|
|
|
|
|
2016-12-31 08:03:07 +00:00
|
|
|
;;LALR
|
|
|
|
;;(mes-use-module (language c compiler))
|
|
|
|
;;Nyacc
|
2017-04-04 07:53:05 +00:00
|
|
|
|
2016-12-31 08:03:07 +00:00
|
|
|
(mes-use-module (mes guile))
|
2017-05-17 11:56:25 +00:00
|
|
|
(mes-use-module (mes getopt-long))
|
2017-05-22 17:22:18 +00:00
|
|
|
(mes-use-module (mes pretty-print))
|
2016-12-31 08:03:07 +00:00
|
|
|
(mes-use-module (language c99 compiler))
|
2017-06-11 11:11:40 +00:00
|
|
|
(mes-use-module (mes elf))
|
|
|
|
(mes-use-module (mes hex2))
|
2017-05-17 11:56:25 +00:00
|
|
|
(mes-use-module (srfi srfi-1))
|
|
|
|
(mes-use-module (srfi srfi-26))
|
2016-12-31 08:03:07 +00:00
|
|
|
|
2017-04-12 19:27:59 +00:00
|
|
|
(format (current-error-port) "mescc.mes...\n")
|
|
|
|
|
2017-04-02 16:50:07 +00:00
|
|
|
(define %datadir (if (string-prefix? "@DATADIR" "@DATADIR@") "" "@DATADIR@"))
|
|
|
|
(define %docdir (if (string-prefix? "@DOCDIR" "@DOCDIR@") "doc/" "@DOCDIR@"))
|
|
|
|
(define %moduledir "module/")
|
|
|
|
(define %prefix (if (string-prefix? "@PREFIX" "@PREFIX@") "" "@PREFIX@"))
|
|
|
|
(define %version (if (string-prefix? "@VERSION" "@VERSION@") "git" "@VERSION@"))
|
|
|
|
|
2017-05-17 11:56:25 +00:00
|
|
|
(define (parse-opts args)
|
|
|
|
(let* ((option-spec
|
|
|
|
'((c (single-char #\c))
|
2017-05-22 17:22:18 +00:00
|
|
|
(D (single-char #\D) (value #t))
|
|
|
|
(E (single-char #\E))
|
2017-06-11 11:11:40 +00:00
|
|
|
(g (single-char #\g))
|
2017-05-17 11:56:25 +00:00
|
|
|
(help (single-char #\h))
|
2017-05-22 17:22:18 +00:00
|
|
|
(I (single-char #\I) (value #t))
|
|
|
|
(o (single-char #\o) (value #t))
|
|
|
|
(version (single-char #\V) (value #t))))
|
|
|
|
(options (getopt-long args option-spec))
|
|
|
|
(help? (option-ref options 'help #f))
|
|
|
|
(files (option-ref options '() '()))
|
|
|
|
(usage? (and (not help?) (null? files)))
|
2017-05-17 11:56:25 +00:00
|
|
|
(version? (option-ref options 'version #f)))
|
|
|
|
(or
|
|
|
|
(and version?
|
2017-05-22 17:22:18 +00:00
|
|
|
(format (current-output-port) "mescc.scm (mes) ~a\n" %version))
|
2017-05-17 11:56:25 +00:00
|
|
|
(and (or help? usage?)
|
|
|
|
(format (or (and usage? (current-error-port)) (current-output-port)) "\
|
2017-06-11 11:11:40 +00:00
|
|
|
Usage: mescc.mes [OPTION]... FILE...
|
2017-05-17 11:56:25 +00:00
|
|
|
-c compile and assemble, but do not link
|
|
|
|
-D DEFINE define DEFINE
|
2017-05-22 17:22:18 +00:00
|
|
|
-E preprocess only; do not compile, assemble or link
|
2017-06-25 07:33:55 +00:00
|
|
|
-g add debug info [GDB, objdump] TODO: hex2 footer
|
2017-05-17 11:56:25 +00:00
|
|
|
-h, --help display this help and exit
|
|
|
|
-I DIR append DIR to include path
|
|
|
|
-o FILE write output to FILE
|
|
|
|
-v, --version display version and exit
|
|
|
|
")
|
|
|
|
(exit (or (and usage? 2) 0)))
|
|
|
|
options)))
|
|
|
|
|
2017-06-11 11:11:40 +00:00
|
|
|
(define (read-object file)
|
|
|
|
(let ((char (with-input-from-file file read-char)))
|
|
|
|
(if (eq? char #\#) (error "hex2 format not supported:" file)))
|
|
|
|
(with-input-from-file file read))
|
2017-05-17 11:56:25 +00:00
|
|
|
|
2017-05-22 17:22:18 +00:00
|
|
|
(define (main:ast->info file)
|
|
|
|
(let ((ast (with-input-from-file file read)))
|
|
|
|
(with-input-from-file file
|
|
|
|
(lambda ()
|
|
|
|
(c99-ast->info ast)))))
|
|
|
|
|
|
|
|
(define (source->ast defines includes)
|
|
|
|
(lambda (file)
|
|
|
|
(with-input-from-file file
|
|
|
|
(lambda ()
|
|
|
|
(pretty-print (c99-input->ast #:defines defines #:includes includes))))))
|
|
|
|
|
2017-05-17 11:56:25 +00:00
|
|
|
(define (source->info defines includes)
|
|
|
|
(lambda (file)
|
|
|
|
(with-input-from-file file
|
|
|
|
(lambda ()
|
|
|
|
((c99-input->info #:defines defines #:includes includes))))))
|
|
|
|
|
2017-05-22 17:22:18 +00:00
|
|
|
(define (ast? o)
|
|
|
|
(or (string-suffix? ".E" o)
|
|
|
|
(string-suffix? ".mes-E" o)))
|
|
|
|
|
|
|
|
(define (object? o)
|
|
|
|
(or (string-suffix? ".o" o)
|
|
|
|
(string-suffix? ".mes-o" o)))
|
|
|
|
|
2017-05-17 11:56:25 +00:00
|
|
|
(define (main args)
|
|
|
|
(let* ((args (cons* (car args) (cdr (member "--" args))))
|
|
|
|
(options (parse-opts args))
|
|
|
|
(files (option-ref options '() '()))
|
|
|
|
(file (if (null? files) (string-append %docdir "examples/main.c")
|
|
|
|
(car files)))
|
2017-05-22 17:22:18 +00:00
|
|
|
(preprocess? (option-ref options 'E #f))
|
2017-05-17 11:56:25 +00:00
|
|
|
(compile? (option-ref options 'c #f))
|
2017-06-11 11:11:40 +00:00
|
|
|
(debug-info? (option-ref options 'g #f))
|
2017-05-22 17:22:18 +00:00
|
|
|
(asts (filter ast? files))
|
|
|
|
(objects (filter object? files))
|
2017-05-17 11:56:25 +00:00
|
|
|
(sources (filter (cut string-suffix? ".c" <>) files))
|
|
|
|
(base (substring file (1+ (or (string-rindex file #\/) -1)) (- (string-length file) 2)))
|
2017-05-22 17:22:18 +00:00
|
|
|
(out (option-ref options 'o (cond (compile? (string-append base ".o"))
|
|
|
|
(preprocess? (string-append base ".E"))
|
|
|
|
(else "a.out"))))
|
2017-05-17 11:56:25 +00:00
|
|
|
(multi-opt (lambda (option) (lambda (o) (and (eq? (car o) option) (cdr o)))))
|
|
|
|
(defines (reverse (filter-map (multi-opt 'D) options)))
|
2017-06-25 07:33:55 +00:00
|
|
|
(includes (reverse (filter-map (multi-opt 'I) options))))
|
2017-05-17 11:56:25 +00:00
|
|
|
(when (getenv "MES_DEBUG") (format (current-error-port) "options=~s\n" options)
|
|
|
|
(format (current-error-port) "output: ~a\n" out))
|
|
|
|
(if (and (pair? sources) (pair? objects)) (error "cannot mix source and object files:" files))
|
2017-05-22 17:22:18 +00:00
|
|
|
(with-output-to-port (open-output-file out (if (and (not compile?)
|
|
|
|
(not preprocess?)) S_IRWXU))
|
2017-05-17 11:56:25 +00:00
|
|
|
(lambda ()
|
2017-06-11 11:11:40 +00:00
|
|
|
(cond ((pair? objects) (let ((objects (map read-object objects)))
|
2017-06-25 07:33:55 +00:00
|
|
|
(if compile? (objects->hex2 objects)
|
2017-06-11 11:11:40 +00:00
|
|
|
(objects->elf objects))))
|
|
|
|
((pair? asts) (let* ((infos (map main:ast->info asts))
|
|
|
|
(objects (map info->object infos)))
|
2017-06-25 07:33:55 +00:00
|
|
|
(if compile? (objects->hex2 objects)
|
2017-06-11 11:11:40 +00:00
|
|
|
(objects->elf objects))))
|
2017-05-22 17:22:18 +00:00
|
|
|
((pair? sources) (if preprocess? (map (source->ast defines includes) sources)
|
2017-06-11 11:11:40 +00:00
|
|
|
(let* ((infos (map (source->info defines includes) sources))
|
|
|
|
(objects (map info->object infos)))
|
2017-06-25 07:33:55 +00:00
|
|
|
(if compile? (objects->hex2 objects)
|
2017-06-11 11:11:40 +00:00
|
|
|
(objects->elf objects))))))))))
|
2016-10-16 06:00:04 +00:00
|
|
|
|
2017-01-03 22:48:12 +00:00
|
|
|
(main (command-line))
|
2016-10-12 21:40:11 +00:00
|
|
|
()
|