source: project/chicken/trunk/csc.scm @ 14864

Last change on this file since 14864 was 14864, checked in by Kon Lovett, 11 years ago

Added -no-argc/bound/procedure-checks & -no-procedure-checks-for-usual-bindings options.

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