1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
#!/run/current-system/profile/bin/guile \
-L ./src -e main -s
!#
(use-modules (ice-9 getopt-long)
(modules lexer lexer)
(modules parser parser))
(define version "v0.1")
(define (error message)
(display (string-concatenate `(,message "
Usage:
gscc [OPTIONS] file
Options:
--version, -v: print version information
--debug, -d: turn on verbose output
--lex, -l: run the lexer, but stop before assembly generation
--parse, -p: run the lexer and parser, but stop before assembly generation
--codegen, -c: perform lexing, parsing, and assembly generation, but stop before code emission")))
(exit #f))
(define (preprocess file)
"Preprocesses a source file using gcc.
Returns #f on a failure, or the name of the preprocessed
file on a success."
(let ((preprocessed-file-name (tmpnam)))
(and
(zero? (system (string-concatenate `("gcc -E -P " ,file " -o " ,preprocessed-file-name))))
preprocessed-file-name)))
(define (process file parse? assemble?)
"Driver for lexing, parsing, and assembly generation."
(let* ((port (open-input-file file))
(tokens (begin (set-current-input-port port)
(read-tokens))))
(when parse?
(p-program tokens))
(close-input-port port)))
(define (postprocess file dest)
"Assembles and links file, producing an executable.
Returns #f on a failure, #t on a success."
(zero? (system (string-concatenate `("gcc " ,file " -o " ,dest)))))
(define (main args)
(let* ((option-spec
'((version (single-char #\v) (value #f))
(debug (single-char #\d) (value #f))
(lex (single-char #\l) (value #f))
(parse (single-char #\p) (value #f))
(codegen (single-char #\c) (value #f))))
(options (getopt-long args option-spec))
(rest (option-ref options '() #f))
(file (if (null? rest) #f (car rest))))
(cond
((option-ref options 'version #f)
(display (string-concatenate `("gscc (the 'Guile Scheme C Compiler', " ,version ")\n"))))
((not (equal? 1 (length rest))) (error "Wrong number of arguments."))
((or (not file)
(not (access? file R_OK))
(not (equal? 'regular (stat:type (stat file))))) (error "The file could not be read."))
(#t
(let ((source (preprocess file)))
(when source
(display (string-concatenate `("Preprocess reported success (wrote " ,source ").\n")))
(process source
(not (option-ref options 'lex #f))
(not (option-ref options 'parse #f)))))))))
;; Local Variables:
;; mode: scheme
;; End:
|
