source: project/chicken/branches/hygienic/csc.scm @ 10952

Last change on this file since 10952 was 10952, checked in by felix winkelmann, 13 years ago

merged changed from trunk rev. 10622:10950 (untested)

File size: 35.1 KB
Line 
1;;;; csc.scm - Driver program for the CHICKEN compiler - felix -*- Hen -*-
2;
3; Copyright (c) 2000-2007, Felix L. Winkelmann
4; Copyright (c) 2008, The Chicken Team
5; All rights reserved.
6;
7; Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following
8; conditions are met:
9;
10;   Redistributions of source code must retain the above copyright notice, this list of conditions and the following
11;     disclaimer.
12;   Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following
13;     disclaimer in the documentation and/or other materials provided with the distribution.
14;   Neither the name of the author nor the names of its contributors may be used to endorse or promote
15;     products derived from this software without specific prior written permission.
16;
17; THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS
18; OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY
19; AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR
20; CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21; CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
22; SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23; THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
24; OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
25; POSSIBILITY OF SUCH DAMAGE.
26
27
28(declare
29  (block)
30  (uses data-structures ports srfi-1 srfi-13 utils extras ))
31
32#>
33#ifndef C_TARGET_CC
34# define C_TARGET_CC  C_INSTALL_CC
35#endif
36
37#ifndef C_TARGET_CXX
38# define C_TARGET_CXX  C_INSTALL_CXX
39#endif
40
41#ifndef C_TARGET_CFLAGS
42# define C_TARGET_CFLAGS  C_INSTALL_CFLAGS
43#endif
44
45#ifndef C_TARGET_LDFLAGS
46# define C_TARGET_LDFLAGS  C_INSTALL_LDFLAGS
47#endif
48
49#ifndef C_TARGET_BIN_HOME
50# define C_TARGET_BIN_HOME  C_INSTALL_BIN_HOME
51#endif
52
53#ifndef C_TARGET_LIB_HOME
54# define C_TARGET_LIB_HOME  C_INSTALL_LIB_HOME
55#endif
56
57#ifndef C_TARGET_STATIC_LIB_HOME
58# define C_TARGET_STATIC_LIB_HOME  C_INSTALL_STATIC_LIB_HOME
59#endif
60
61#ifndef C_TARGET_INCLUDE_HOME
62# define C_TARGET_INCLUDE_HOME  C_INSTALL_INCLUDE_HOME
63#endif
64
65#ifndef C_TARGET_SHARE_HOME
66# define C_TARGET_SHARE_HOME  C_INSTALL_SHARE_HOME
67#endif
68
69#ifndef C_TARGET_RUN_LIB_HOME
70# define C_TARGET_RUN_LIB_HOME    C_TARGET_LIB_HOME
71#endif
72
73#ifndef C_CHICKEN_PROGRAM
74# define C_CHICKEN_PROGRAM     "chicken"
75#endif
76<#
77
78(define-foreign-variable INSTALL_BIN_HOME c-string "C_INSTALL_BIN_HOME")
79(define-foreign-variable INSTALL_CC c-string "C_INSTALL_CC")
80(define-foreign-variable INSTALL_CXX c-string "C_INSTALL_CXX")
81(define-foreign-variable TARGET_CC c-string "C_TARGET_CC")
82(define-foreign-variable TARGET_CXX c-string "C_TARGET_CXX")
83(define-foreign-variable TARGET_CFLAGS c-string "C_TARGET_CFLAGS")
84(define-foreign-variable INSTALL_CFLAGS c-string "C_INSTALL_CFLAGS")
85(define-foreign-variable TARGET_LDFLAGS c-string "C_TARGET_LDFLAGS")
86(define-foreign-variable INSTALL_LDFLAGS c-string "C_INSTALL_LDFLAGS")
87(define-foreign-variable INSTALL_MORE_LIBS c-string "C_INSTALL_MORE_LIBS")
88(define-foreign-variable INSTALL_MORE_STATIC_LIBS c-string "C_INSTALL_MORE_STATIC_LIBS")
89(define-foreign-variable INSTALL_SHARE_HOME c-string "C_INSTALL_SHARE_HOME")
90(define-foreign-variable INSTALL_LIB_HOME c-string "C_INSTALL_LIB_HOME")
91(define-foreign-variable INSTALL_INCLUDE_HOME c-string "C_INSTALL_INCLUDE_HOME")
92(define-foreign-variable INSTALL_STATIC_LIB_HOME c-string "C_INSTALL_STATIC_LIB_HOME")
93(define-foreign-variable TARGET_MORE_LIBS c-string "C_TARGET_MORE_LIBS")
94(define-foreign-variable TARGET_MORE_STATIC_LIBS c-string "C_TARGET_MORE_STATIC_LIBS")
95(define-foreign-variable TARGET_BIN_HOME c-string "C_TARGET_BIN_HOME")
96(define-foreign-variable TARGET_SHARE_HOME c-string "C_TARGET_SHARE_HOME")
97(define-foreign-variable TARGET_LIB_HOME c-string "C_TARGET_LIB_HOME")
98(define-foreign-variable TARGET_INCLUDE_HOME c-string "C_TARGET_INCLUDE_HOME")
99(define-foreign-variable TARGET_STATIC_LIB_HOME c-string "C_TARGET_STATIC_LIB_HOME")
100(define-foreign-variable TARGET_RUN_LIB_HOME c-string "C_TARGET_RUN_LIB_HOME")
101(define-foreign-variable CHICKEN_PROGRAM c-string "C_CHICKEN_PROGRAM")
102
103
104;;; Parameters:
105
106(define mingw (eq? (build-platform) 'mingw32))
107(define msvc (eq? (build-platform) 'msvc))
108(define osx (eq? (software-version) 'macosx))
109(define hpux-hppa (and (eq? (software-version) 'hpux)
110                       (eq? (machine-type) 'hppa)))
111
112(define (quit msg . args)
113  (fprintf (current-error-port) "csc: ~?~%" msg args)
114  (exit 64) )
115
116(define chicken-prefix (getenv "CHICKEN_PREFIX"))
117(define arguments (command-line-arguments))
118(define host-mode (member "-host" arguments))
119(define cross-chicken (##sys#fudge 39))
120
121(define (prefix str dir default)
122  (if chicken-prefix
123      (make-pathname (list chicken-prefix dir) str)
124      default) )
125
126(define (quotewrap str)
127  (if (string-any char-whitespace? str)
128      (string-append "\"" str "\"") 
129      str) )
130
131(define home
132  (quotewrap 
133   (prefix "" "share" (if host-mode INSTALL_SHARE_HOME TARGET_SHARE_HOME))))
134
135(define translator
136  (quotewrap 
137   (prefix "chicken" "bin"
138           (make-pathname
139            (if host-mode INSTALL_BIN_HOME TARGET_BIN_HOME)
140            CHICKEN_PROGRAM))))
141
142(define compiler (quotewrap (if host-mode INSTALL_CC TARGET_CC)))
143(define c++-compiler (quotewrap (if host-mode INSTALL_CXX TARGET_CXX)))
144(define linker (quotewrap (if msvc "link" (if host-mode INSTALL_CC TARGET_CC))))
145(define c++-linker (quotewrap (if msvc "link" (if host-mode INSTALL_CXX TARGET_CXX))))
146(define object-extension (if msvc "obj" "o"))
147(define library-extension (if msvc "lib" "a"))
148(define link-output-flag (if msvc "-out:" "-o "))
149(define executable-extension (if msvc "exe" ""))
150(define compile-output-flag (if msvc "-Fo" "-o "))
151(define nonstatic-compilation-options '())
152(define shared-library-extension ##sys#load-dynamic-extension)
153(define default-translation-optimization-options '())
154(define pic-options (if (or mingw msvc) '("-DPIC") '("-fPIC" "-DPIC")))
155
156(define default-library (string-append
157                         (if msvc "libchicken-static." "libchicken.")
158                         library-extension))
159(define default-unsafe-library (string-append
160                                (if msvc "libuchicken-static." "libuchicken.")
161                                library-extension))
162
163(define cleanup-filename
164  (if (not mingw)
165      (lambda (s) (quotewrap s)) ; allow filenames w/ whitespace
166      (lambda (s) s)))
167
168(define default-compilation-optimization-options (string-split (if host-mode INSTALL_CFLAGS TARGET_CFLAGS)))
169(define best-compilation-optimization-options default-compilation-optimization-options)
170(define default-linking-optimization-options (string-split (if host-mode INSTALL_LDFLAGS TARGET_LDFLAGS)))
171(define best-linking-optimization-options default-linking-optimization-options)
172
173(define-constant simple-options
174  '(-explicit-use -no-trace -no-warnings -no-usual-integrations -optimize-leaf-routines -unsafe
175    -block -disable-interrupts -fixnum-arithmetic -to-stdout -profile -raw -accumulate-profile
176    -check-syntax -case-insensitive -benchmark-mode -shared -compile-syntax -no-lambda-info
177    -lambda-lift -dynamic -disable-stack-overflow-checks -emit-debug-info 
178    -check-imports                      ; DEPRECATED
179    -emit-external-prototypes-first -inline -extension -release -static-extensions
180    -analyze-only -keep-shadowed-macros -disable-compiler-macros))
181
182(define-constant complex-options
183  '(-debug -output-file -heap-size -nursery -stack-size -compiler -unit -uses -keyword-style
184    -optimize-level -include-path -database-size -extend -prelude -postlude -prologue -epilogue 
185    -inline-limit -profile-name -disable-warning 
186    -import                             ; DEPRECATED
187    -require-static-extension
188    -feature -debug-level -heap-growth -heap-shrinkage -heap-initial-size 
189    -emit-exports -compress-literals            ; DEPRECATED
190    -emit-import-library))
191
192(define-constant shortcuts
193  '((-h "-help")
194    (-s "-shared")
195    (|-E| "-extension")
196    (|-P| "-check-syntax")
197    (|-V| "-version")
198    (|-Ob| "-benchmark-mode")
199    (-f "-fixnum-arithmetic")
200    (|-D| "-feature")
201    (-i "-case-insensitive")
202    (|-K| "-keyword-style")
203    (|-X| "-extend")
204    (|-N| "-no-usual-integrations")
205    (|-G| "-check-imports")             ; DEPRECATED
206    (-x "-explicit-use")
207    (-u "-unsafe")
208    (-j "-emit-import-library")
209    (-b "-block") ) )
210
211(define short-options
212  (string->list "PHhsfiENxubvwAOeWkctgG") )
213
214
215;;; Variables:
216
217(define scheme-files '())
218(define generated-scheme-files '())
219(define c-files '())
220(define generated-c-files '())
221(define object-files '())
222(define generated-object-files '())
223(define cpp-mode #f)
224(define objc-mode #f)
225(define embedded #f)
226(define inquiry-only #f)
227(define show-cflags #f)
228(define show-ldflags #f)
229(define show-libs #f)
230(define dry-run #f)
231
232(define extra-libraries
233  (if host-mode
234      INSTALL_MORE_STATIC_LIBS
235      TARGET_MORE_STATIC_LIBS))
236(define extra-shared-libraries 
237  (if host-mode 
238      INSTALL_MORE_LIBS
239      TARGET_MORE_LIBS))
240(define default-library-files 
241  (list
242   (quotewrap
243    (prefix default-library "lib"
244            (string-append
245             (if host-mode INSTALL_LIB_HOME TARGET_LIB_HOME)
246             (string-append "/" default-library)))) ))
247(define default-shared-library-files (if msvc
248                                         (list (string-append "libchicken." library-extension))
249                                         '("-lchicken")))
250(define unsafe-library-files
251  (list
252   (quotewrap 
253    (prefix default-unsafe-library "lib"
254            (string-append
255             (if host-mode INSTALL_LIB_HOME TARGET_LIB_HOME)
256             (string-append "/" default-unsafe-library)))) ))
257(define unsafe-shared-library-files (if msvc
258                                        (list (string-append "libuchicken." library-extension))
259                                        '("-luchicken")))
260(define gui-library-files default-library-files)
261(define gui-shared-library-files default-shared-library-files)
262(define library-files default-library-files)
263(define shared-library-files default-shared-library-files)
264
265(define translate-options '("-quiet"))
266
267(define include-dir
268  (let ((id (prefix "" "include" 
269                    (if host-mode INSTALL_INCLUDE_HOME TARGET_INCLUDE_HOME))))
270    (and (not (member id '("/usr/include" "")))
271         id) ) )
272
273(define compile-options '())
274(define builtin-compile-options
275  (if include-dir (list (conc "-I" (quotewrap include-dir))) '()))
276
277(define compile-only-flag "-c")
278(define translation-optimization-options default-translation-optimization-options)
279(define compilation-optimization-options default-compilation-optimization-options)
280(define linking-optimization-options default-linking-optimization-options)
281
282(define library-dir
283  (prefix "" "lib"
284         (if host-mode
285             INSTALL_LIB_HOME
286             TARGET_LIB_HOME)) )
287
288(define link-options '())
289(define builtin-link-options
290  (cond ((or osx hpux-hppa mingw)
291         (list (conc "-L" (quotewrap library-dir))))
292        (msvc
293         (list (conc "-LIBPATH:" (quotewrap library-dir))))
294        (else
295         (list
296          (conc "-L" (quotewrap library-dir))
297          (conc " -Wl,-R" (quotewrap (prefix "" "lib"
298                                             (if host-mode
299                                                 INSTALL_LIB_HOME
300                                                 TARGET_RUN_LIB_HOME)))) ) ) ) )
301
302(define target-filename #f)
303(define verbose #f)
304(define keep-files #f)
305(define translate-only #f)
306(define compile-only #f)
307(define to-stdout #f)
308(define shared #f)
309(define static #f)
310(define static-libs #f)
311(define static-extensions #f)
312(define required-extensions '())
313(define gui #f)
314
315
316;;; Display usage information:
317
318(define (usage)
319  (display
320"Usage: csc FILENAME | OPTION ...
321
322  `csc' is a driver program for the CHICKEN compiler. Any Scheme, C or object
323  files and all libraries given on the command line are translated, compiled or
324  linked as needed.
325
326  General options:
327
328    -h  -help                   display this text and exit
329    -v                          show intermediate compilation stages
330    -v2  -verbose               display information about translation progress
331    -v3                         display information about all compilation stages
332    -V  -version                display Scheme compiler version and exit
333    -release                    display release number and exit
334
335  File and pathname options:
336
337    -o -output-file FILENAME    specifies target executable name
338    -I -include-path PATHNAME   specifies alternative path for included files
339    -to-stdout                  write compiler to stdout (implies -t)
340    -s -shared -dynamic         generate dynamically loadable shared object file
341
342  Language options:
343
344    -D  -DSYMBOL  -feature SYMBOL
345                                register feature identifier
346    -c++                        Compile via a C++ source file (.cpp)
347    -objc                       Compile via Objective-C source file (.m)
348
349  Syntax related options:
350
351    -i -case-insensitive        don't preserve case of read symbols   
352    -K -keyword-style STYLE     allow alternative keyword syntax (prefix, suffix or none)
353    -compile-syntax             macros are made available at run-time
354    -j -emit-import-library MODULE
355                                write compile-time module information into separate file
356
357  Translation options:
358
359    -x  -explicit-use           do not use units `library' and `eval' by default
360    -P  -check-syntax           stop compilation after macro-expansion
361    -A  -analyze-only           stop compilation after first analysis pass
362
363  Debugging options:
364
365    -w  -no-warnings            disable warnings
366    -disable-warning CLASS      disable specific class of warnings
367    -d0 -d1 -d2 -debug-level NUMBER
368                                set level of available debugging information
369    -no-trace                   disable rudimentary debugging information
370    -profile                    executable emits profiling information
371    -accumulate-profile         executable emits profiling information in append mode
372    -profile-name FILENAME      name of the generated profile information file
373    -emit-debug-info            emit additional debug-information
374
375  Optimization options:
376
377    -O -O1 -O2 -O3 -optimize-level NUMBER
378                                enable certain sets of optimization options
379    -optimize-leaf-routines     enable leaf routine optimization
380    -N  -no-usual-integrations  standard procedures may be redefined
381    -u  -unsafe                 disable safety checks
382    -b  -block                  enable block-compilation
383    -disable-interrupts         disable interrupts in compiled code
384    -f  -fixnum-arithmetic      assume all numbers are fixnums
385    -Ob  -benchmark-mode        equivalent to '-block -optimize-level 3
386                                 -debug-level 0 -fixnum-arithmetic -lambda-lift
387                                 -disable-interrupts'
388    -lambda-lift                perform lambda-lifting
389    -unsafe-libraries           link with unsafe runtime system
390    -disable-stack-overflow-checks  disables detection of stack-overflows
391    -inline                     enable inlining
392    -inline-limit               set inlining threshold
393    -disable-compiler-macros    disable expansion of compiler macros
394
395  Configuration options:
396
397    -unit NAME                  compile file as a library unit
398    -uses NAME                  declare library unit as used.
399    -heap-size NUMBER           specifies heap-size of compiled executable
400    -heap-initial-size NUMBER   specifies heap-size at startup time
401    -heap-growth PERCENTAGE     specifies growth-rate of expanding heap
402    -heap-shrinkage PERCENTAGE  specifies shrink-rate of contracting heap
403    -nursery NUMBER  -stack-size NUMBER
404                                specifies nursery size of compiled executable
405    -X -extend FILENAME         load file before compilation commences
406    -prelude EXPRESSION         add expression to beginning of source file
407    -postlude EXPRESSION        add expression to end of source file
408    -prologue FILENAME          include file before main source file
409    -epilogue FILENAME          include file after main source file
410
411    -e  -embedded               compile as embedded (don't generate `main()')
412    -W  -windows                compile as Windows GUI application (MSVC only)
413    -R  -require-extension NAME require extension in compiled code
414    -E  -extension              compile as extension (dynamic or static)
415    -dll -library               compile multiple units into a dynamic library
416
417  Options to other passes:
418
419    -C OPTION                   pass option to C compiler
420    -L OPTION                   pass option to linker
421    -I<DIR>                     pass \"-I<DIR>\" to C compiler (add include path)
422    -L<DIR>                     pass \"-L<DIR>\" to linker (add library path)
423    -k                          keep intermediate files
424    -c                          stop after compilation to object files
425    -t                          stop after translation to C
426    -cc COMPILER                select other C compiler than the default one
427    -cxx COMPILER               select other C++ compiler than the default one
428    -ld COMPILER                select other linker than the default one
429    -lLIBNAME                   link with given library (`libLIBNAME' on UNIX,
430                                 `LIBNAME.lib' on Windows)                               
431    -static-libs                link with static CHICKEN libraries
432    -static                     generate completely statically linked executable
433    -static-extensions          link with static extensions (if available)
434    -F<DIR>                     pass \"-F<DIR>\" to C compiler (add framework
435                                 header path on Mac OS X)
436    -framework NAME             passed to linker on Mac OS X
437    -rpath PATHNAME             add directory to runtime library search path
438    -Wl,...                     pass linker options
439    -strip                      strip resulting binary
440
441  Inquiry options:
442
443    -home                       show home-directory (where support files go)
444    -cflags                     show required C-compiler flags and exit
445    -ldflags                    show required linker flags and exit
446    -libs                       show required libraries and exit
447    -cc-name                    show name of default C compiler used
448    -cxx-name                   show name of default C++ compiler used
449    -ld-name                    show name of default linker used
450    -dry-run                    just show commands executed, don't run them
451                                 (implies `-v')
452
453  Obscure options:
454
455    -debug MODES                display debugging output for the given modes
456    -compiler PATHNAME          use other compiler than default `chicken'
457    -disable-c-syntax-checks    disable syntax checks of C code fragments
458    -raw                        do not generate implicit init- and exit code                           
459    -emit-external-prototypes-first  emit protoypes for callbacks before foreign
460                                 declarations
461    -keep-shadowed-macros       do not remove shadowed macro
462    -host                       compile for host when configured for cross-compiling
463
464  Options can be collapsed if unambiguous, so
465
466    -vkfO
467
468  is the same as
469
470    -v -k -fixnum-arithmetic -optimize
471
472  The contents of the environment variable CSC_OPTIONS are implicitly
473  passed to every invocation of `csc'.
474"
475) )
476
477
478;;; Parse arguments:
479
480(define (run args)
481
482  (define (t-options . os)
483    (set! translate-options (append translate-options os)) )
484
485  (define (check o r . n)
486    (unless (>= (length r) (optional n 1))
487      (quit "not enough arguments to option `~A'" o) ) )
488
489  (define (shared-build lib)
490    (set! translate-options (cons* "-feature" "chicken-compile-shared" translate-options))
491    (set! compile-options (append pic-options '("-DC_SHARED") compile-options))
492    (set! link-options
493      (cons (cond
494             (osx (if lib "-dynamiclib" "-bundle"))
495             (msvc "-dll")
496             (else "-shared")) link-options))
497    (set! shared #t) )
498
499  (let loop ([args args])
500    (cond [(null? args)
501           ;Builtin search directory options do not override explict options
502           (set! compile-options (append compile-options builtin-compile-options))
503           (set! link-options (append link-options builtin-link-options))
504           ;
505           (when inquiry-only
506             (when show-cflags (print* (compiler-options) #\space))
507             (when show-ldflags (print* (linker-options) #\space))
508             (when show-libs (print* (linker-libraries #t) #\space))
509             (newline)
510             (exit) )
511           #;(when (null? scheme-files)
512             (set! scheme-files c-files)
513             (set! c-files '()) )
514           (cond [(null? scheme-files)
515                  (when (and (null? c-files) (null? object-files))
516                    (quit "no source files specified") )
517                  (let ((f0 (last (if (null? c-files) object-files c-files))))
518                    (unless target-filename
519                      (set! target-filename 
520                        (if shared
521                            (pathname-replace-extension f0 shared-library-extension)
522                            (pathname-replace-extension f0 executable-extension) ) ) ) ) ]
523                 [else
524                  (when (and shared (not embedded))
525                    (set! translate-options (cons "-dynamic" translate-options)) )
526                  (unless target-filename
527                    (set! target-filename
528                      (if shared
529                          (pathname-replace-extension (first scheme-files) shared-library-extension)
530                          (pathname-replace-extension (first scheme-files) executable-extension) ) ) )
531                  (run-translation) ] )
532           (unless translate-only 
533             (run-compilation)
534             (unless compile-only
535               (when (member target-filename scheme-files)
536                 (printf "Warning: output file will overwrite source file `~A' - renaming source to `~A.old'~%"
537                         target-filename target-filename)
538                 (unless (zero? ($system (sprintf "mv ~A ~A.old" target-filename target-filename)))
539                   (exit last-exit-code) ) )
540               (run-linking)) ) ]
541          [else
542           (let* ([arg (car args)]
543                  [rest (cdr args)]
544                  [s (string->symbol arg)] )
545             (case s
546               [(-help --help)
547                (usage)
548                (exit) ]
549               [(-release)
550                (print (chicken-version))
551                (exit) ]
552               [(-version)
553                (system (sprintf translator " -version"))
554                (exit) ]
555               [(-c++) 
556                (set! cpp-mode #t)
557                (when osx (set! compile-options (cons "-no-cpp-precomp" compile-options))) ]
558               [(-objc) 
559                (set! objc-mode #t) ]
560               [(-static) 
561                (set! translate-options (cons* "-feature" "chicken-compile-static" translate-options))
562                (set! static #t) ]
563               [(-static-libs) 
564                (set! translate-options (cons* "-feature" "chicken-compile-static" translate-options))
565                (set! static-libs #t) ]
566               [(-static-extensions)
567                (set! static-extensions #t) ]
568               [(-cflags)
569                (set! inquiry-only #t) 
570                (set! show-cflags #t) ]
571               [(-ldflags)
572                (set! inquiry-only #t)
573                (set! show-ldflags #t) ]
574               [(-cc-name) (print compiler) (exit 0)]
575               [(-cxx-name) (print c++-compiler) (exit 0)]
576               [(-ld-name) (print linker) (exit 0)]
577               [(-home) (print home) (exit 0)]
578               [(-libs)
579                (set! inquiry-only #t)
580                (set! show-libs #t) ]
581               [(-v)
582                (set! verbose #t) ]
583               [(-v2 -verbose)
584                (set! verbose #t)
585                (t-options "-verbose") ]
586               [(-w -no-warnings)
587                (set! compile-options (cons "-w" compile-options))
588                (t-options "-no-warnings") ]
589               [(-v3)
590                (set! verbose #t)
591                (t-options "-verbose")
592                (if (not msvc)
593                    (set! compile-options (cons* "-v" "-Q" compile-options)))
594                (set! link-options (cons (if msvc "-VERBOSE" "-v") link-options)) ]
595               [(|-A| -analyze-only)
596                (set! translate-only #t)
597                (t-options "-analyze-only") ]
598               [(|-P| -check-syntax)
599                (set! translate-only #t)
600                (t-options "-check-syntax") ]
601               [(-k) (set! keep-files #t)]
602               [(-c) (set! compile-only #t)]
603               [(-t) (set! translate-only #t)]
604               [(-e -embedded)
605                (set! embedded #t)
606                (set! compile-options (cons "-DC_EMBEDDED" compile-options)) ]
607               [(-require-extension -R)
608                (check s rest)
609                (set! required-extensions (append required-extensions (list (car rest))))
610                (t-options "-require-extension" (car rest))
611                (set! rest (cdr rest)) ]
612               [(-windows |-W|)
613                (set! gui #t)
614                (cond
615                 (mingw
616                  (set! link-options
617                    (cons* "-lkernel32" "-luser32" "-lgdi32" "-mwindows"
618                           link-options))
619                  (set! compile-options (cons "-DC_WINDOWS_GUI" compile-options)))
620                 (msvc
621                  (set! link-options
622                    (cons* "kernel32.lib" "user32.lib" "gdi32.lib" link-options))
623                  (set! compile-options (cons "-DC_WINDOWS_GUI" compile-options)))) ]
624               [(-framework)
625                (check s rest)
626                (when osx 
627                  (set! link-options (cons* "-framework" (car rest) link-options)) )
628                (set! rest (cdr rest)) ]
629               [(-o)
630                (check s rest)
631                (let ([fn (car rest)])
632                  (set! rest (cdr rest))
633                  (set! target-filename fn) ) ]
634               [(|-O| |-O1|) (set! rest (cons* "-optimize-level" "1" rest))]
635               [(|-O2|) (set! rest (cons* "-optimize-level" "2" rest))]
636               [(|-O3|) (set! rest (cons* "-optimize-level" "3" rest))]
637               [(-d0) (set! rest (cons* "-debug-level" "0" rest))]
638               [(-d1) (set! rest (cons* "-debug-level" "1" rest))]
639               [(-d2) (set! rest (cons* "-debug-level" "2" rest))]
640               [(-dry-run) 
641                (set! verbose #t)
642                (set! dry-run #t)]
643               [(-s -shared -dynamic)
644                (shared-build #f) ]
645               [(-dll -library)
646                (shared-build #t) ]
647               [(-compiler)
648                (check s rest)
649                (set! translator (car rest))
650                (set! rest (cdr rest)) ]
651               [(-cc)
652                (check s rest)
653                (set! compiler (car rest))
654                (set! rest (cdr rest)) ]
655               [(-cxx)
656                (check s rest)
657                (set! c++-compiler (car rest))
658                (set! rest (cdr rest)) ]
659               [(-ld)
660                (check s rest)
661                (set! linker (car rest))
662                (set! rest (cdr rest)) ]
663               [(|-I|)
664                (check s rest)
665                (set! rest (cons* "-include-path" (car rest) (cdr rest))) ]
666               [(|-C|)
667                (check s rest)
668                (set! compile-options (append compile-options (string-split (car rest))))
669                (set! rest (cdr rest)) ]
670               [(-strip)
671                (set! link-options (append link-options (list "-s")))]
672               [(|-L|)
673                (check s rest)
674                (set! link-options (append link-options (string-split (car rest))))
675                (set! rest (cdr rest)) ]
676               [(-unsafe-libraries)
677                (t-options arg)
678                (set! library-files unsafe-library-files)
679                (set! shared-library-files unsafe-shared-library-files) ]
680               [(-rpath)
681                (check s rest)
682                (when (eq? 'gnu (build-platform))
683                  (set! link-options (append link-options (list (string-append "-Wl,-R" (car rest)))))
684                  (set! rest (cdr rest)) ) ]
685               [(-host) #f]
686               [(-) 
687                (set! target-filename (make-pathname #f "a" executable-extension))
688                (set! scheme-files (append scheme-files '("-")))]
689               [else
690                (when (memq s '(-unsafe -benchmark-mode))
691                  (when (eq? s '-benchmark-mode)
692                    (set! library-files unsafe-library-files)
693                    (set! shared-library-files unsafe-shared-library-files) ) )
694                (when (eq? s '-to-stdout) 
695                  (set! to-stdout #t)
696                  (set! translate-only #t) )
697                (when (memq s '(-optimize-level -benchmark-mode))
698                  (set! compilation-optimization-options best-compilation-optimization-options)
699                  (set! linking-optimization-options best-linking-optimization-options) )
700                (cond [(assq s shortcuts) => (lambda (a) (set! rest (cons (cadr a) rest)))]
701                      [(memq s simple-options) (t-options arg)]
702                      [(memq s complex-options) 
703                       (check s rest)
704                       (let* ([n (car rest)]
705                              [ns (string->number n)] )
706                         (t-options arg n)
707                         (set! rest (cdr rest)) ) ]
708                      [(and (> (string-length arg) 2) (string=? "-:" (substring arg 0 2)))
709                       (t-options arg) ]
710                      [(and (> (string-length arg) 1)
711                            (char=? #\- (string-ref arg 0)) )
712                       (cond [(char=? #\l (string-ref arg 1))
713                              (set! link-options (append link-options (list arg))) ]
714                             [(char=? #\L (string-ref arg 1))
715                              (set! link-options (append link-options (list arg))) ]
716                             [(char=? #\I (string-ref arg 1))
717                              (set! compile-options (append compile-options (list arg))) ]
718                             [(char=? #\D (string-ref arg 1))
719                              (t-options "-feature" (substring arg 2)) ]
720                             [(char=? #\F (string-ref arg 1))
721                              (when osx
722                                (set! compile-options (append compile-options (list arg))) ) ]
723                             [(and (> (string-length arg) 3) (string=? "-Wl," (substring arg 0 4)))
724                              (set! link-options (append link-options (list arg))) ]
725                             [(> (string-length arg) 2)
726                              (let ([opts (cdr (string->list arg))])
727                                (if (null? (lset-difference char=? opts short-options))
728                                    (set! rest
729                                      (append (map (lambda (o) (string-append "-" (string o))) opts) rest) )
730                                    (quit "invalid option `~A'" arg) ) ) ]
731                             [else (quit "invalid option `~A'" s)] ) ]
732                      [(file-exists? arg)
733                       (let-values ([(dirs name ext) (decompose-pathname arg)])
734                         (cond [(not ext) (set! scheme-files (append scheme-files (list arg)))]
735                               [(member ext '("h" "c"))
736                                (set! c-files (append c-files (list arg))) ]
737                               [(member ext '("cpp" "C" "cc" "cxx" "hpp"))
738                                (when osx (set! compile-options (cons "-no-cpp-precomp" compile-options)))
739                                (set! cpp-mode #t)
740                                (set! c-files (append c-files (list arg))) ]
741                               [(member ext '("m" "M" "mm"))
742                                (set! objc-mode #t)
743                                (set! c-files (append c-files (list arg))) ]
744                               [(or (string=? ext object-extension)
745                                    (string=? ext library-extension) )
746                                (set! object-files (append object-files (list arg))) ]
747                               [else (set! scheme-files (append scheme-files (list arg)))] ) ) ]
748                      [else
749                       (let ([f2 (string-append arg ".scm")])
750                         (if (file-exists? f2)
751                             (set! rest (cons f2 rest))
752                             (quit "file `~A' does not exist" arg) ) ) ] ) ] )
753             (loop rest) ) ] ) ) )
754
755
756;;; Translate all Scheme files:
757
758(define (run-translation)
759  (for-each
760   (lambda (f)
761     (let ([cscf (pathname-replace-extension f "csc")])
762       (when (and (file-exists? cscf)
763                  (let ([x (with-input-from-file cscf read-line)])
764                    (or (eof-object? x) (string=? "#%eof" x)) ) )
765         ($delete-file cscf) )
766       (let ([fc (pathname-replace-extension
767                  (if (= 1 (length scheme-files))
768                      target-filename
769                      f)
770                  (cond (cpp-mode "cpp")
771                        (objc-mode "m")
772                        (else "c") ) ) ] )
773         (unless (zero?
774                  ($system 
775                   (string-intersperse 
776                    (cons* translator (cleanup-filename f) 
777                           (append
778                            (if to-stdout 
779                                '("-to-stdout")
780                                `("-output-file" ,(cleanup-filename fc)) )
781                            (if (or static static-libs static-extensions)
782                                (map (lambda (e) (conc "-uses " e)) required-extensions)
783                                '() )
784                            (map quote-option (append translate-options translation-optimization-options)) ) )
785                    " ") ) )
786           (exit last-exit-code) )
787         (set! c-files (append (list fc) c-files))
788         (set! generated-c-files (append (list fc) generated-c-files))
789         (when (file-exists? cscf)
790           (with-input-from-file cscf
791             (lambda ()
792               (read-line)
793               (for-each
794                (lambda (cmd)
795                  (unless (list? cmd)
796                    (error "invalid entry in csc control file" cmd))
797                  (case (car cmd)
798                    ((post-process)
799                     (for-each $system (cdr cmd)))
800                    ((c-options)
801                     (set! compile-options (append compile-options (cdr cmd))))
802                    ((link-options)
803                     (set! link-options (append link-options (cdr cmd))))
804                    (else (error "invalid entry in csc control file" cmd))))
805                (read-file) ) ) )
806           ($delete-file cscf) ) ) ) )
807   scheme-files)
808  (unless keep-files (for-each $delete-file generated-scheme-files)) )
809
810
811;;; Compile all C files:
812
813(define (run-compilation)
814  (let ((ofiles '()))
815    (for-each
816     (lambda (f)
817       (let ([fo (pathname-replace-extension f object-extension)])
818         (unless (zero?
819                  ($system
820                   (string-intersperse
821                    (list (cond (cpp-mode c++-compiler)
822                                (else compiler) )
823                          (cleanup-filename f)
824                          (string-append compile-output-flag (cleanup-filename fo)) 
825                          compile-only-flag
826                          (compiler-options) ) ) ) )
827           (exit last-exit-code) )
828         (set! generated-object-files (cons fo generated-object-files))
829         (set! ofiles (cons fo ofiles))))
830     c-files)
831    (set! object-files (append (reverse ofiles) object-files)) ; put generated object files first
832    (unless keep-files (for-each $delete-file generated-c-files)) ) )
833
834(define (compiler-options)
835  (string-intersperse
836   (map quote-option
837        (append
838         (if (or static static-libs) '() nonstatic-compilation-options)
839         compilation-optimization-options
840         compile-options) ) ) )
841
842
843;;; Link object files and libraries:
844
845(define (run-linking)
846  (let ((files (map cleanup-filename
847                    (append object-files
848                            (nth-value 0 (static-extension-info)) ) ) )
849        (target (cleanup-filename target-filename)))
850    (unless (zero?
851             ($system
852              (string-intersperse 
853               (cons* (cond (cpp-mode c++-linker)
854                            (else linker) )
855                      (append
856                       files
857                       (list (string-append link-output-flag target)
858                             (linker-options)
859                             (linker-libraries #f) ) ) ) ) ) )
860      (exit last-exit-code) )
861    (when (and osx (or (not cross-chicken) host-mode))
862      (unless (zero? ($system 
863                      (string-append
864                       "install_name_tool -change libchicken.dylib "
865                       (quotewrap 
866                        (make-pathname
867                         (prefix "" "lib"
868                                 (if host-mode
869                                     INSTALL_LIB_HOME
870                                     TARGET_RUN_LIB_HOME))
871                         "libchicken.dylib") )
872                       " " 
873                       target) ) )
874        (exit last-exit-code) ) )
875    (unless keep-files (for-each $delete-file generated-object-files)) ) )
876
877(define (static-extension-info)
878  (let ((rpath (repository-path)))
879    (if (or static static-libs static-extensions)
880        (let loop ((exts required-extensions) (libs '()) (opts '()))
881          (if (null? exts)
882              (values (reverse libs) (reverse opts))
883              (let ((info (extension-information (car exts))))
884                (if info
885                    (let ((a (assq 'static info)) 
886                          (o (assq 'static-options info)) )
887                      (loop (cdr exts) 
888                        (if a (cons (make-pathname rpath (cadr a)) libs) libs)
889                        (if o (cons (cadr o) opts) opts) ) ) 
890                    (loop (cdr exts) libs opts)) ) ) )
891        (values '() '()) ) ) )
892
893(define (linker-options)
894  (string-append
895   (string-intersperse
896    (append linking-optimization-options link-options
897            (nth-value 1 (static-extension-info)) ) )
898   (if (and static (not mingw) (not msvc) (not osx)) " -static" "") ) )
899
900(define (linker-libraries #!optional staticexts)
901  (string-intersperse
902   (append
903    (if staticexts (nth-value 0 (static-extension-info)) '())
904    (if (or static static-libs)
905        (if gui gui-library-files library-files)
906        (if gui gui-shared-library-files shared-library-files))
907    (if (or static static-libs)
908        (list extra-libraries)
909        (list extra-shared-libraries)))))
910
911
912;;; Helper procedures:
913
914(define-constant +hairy-chars+ '(#\\ #\#))
915
916(define (cleanup s)
917  (let* ((q #f)
918         (s (list->string
919             (let fold ([s (string->list s)])
920               (if (null? s) 
921                   '()
922                   (let ([c (car s)])
923                     (cond ((memq c +hairy-chars+) (cons* #\\ c (fold (cdr s))))
924                           (else
925                            (when (char-whitespace? c) (set! q #t))
926                            (cons c (fold (cdr s))) ) ) ) ) ) ) ) )
927    (if q 
928        (string-append "\"" (string-translate* s '(("\"" . "\\\""))) "\"")
929        s) ) )
930
931(define (quote-option x)
932  (if (any (lambda (c)
933             (or (char-whitespace? c) (memq c +hairy-chars+)) )
934           (string->list x) )
935      (cleanup x)
936      x) )
937
938(define last-exit-code #f)
939
940(define ($system str)
941  (when verbose (print str))
942  (set! last-exit-code
943    (if dry-run 
944        0
945        (if (zero? (system str))
946            0
947            1)))
948  (unless (zero? last-exit-code)
949    (printf "*** Shell command terminated with exit status ~S: ~A~%" last-exit-code str) )
950  last-exit-code)
951
952(define ($delete-file str)
953  (when verbose 
954    (print "rm " str) )
955  (unless dry-run (delete-file str) ))
956
957
958;;; Run it:
959
960(run (append (string-split (or (getenv "CSC_OPTIONS") "")) arguments))
Note: See TracBrowser for help on using the repository browser.