Changeset 550

Show
Ignore:
Timestamp:
06/18/08 09:43:00 (5 months ago)
Author:
weyrick
Message:

fix static linking with bigloo 3.1c. fixes #3559
also correction/tweak error for error output in php-repl

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • trunk/pcc/compiler/target.scm

    r518 r550  
    149149                                    '())) 
    150150                 (run-startup-functions) 
     151                 (set! *PHP-FILE* "Interactive shell") 
     152                 (set! *PHP-LINE* 0) 
    151153                 (print "Interactive shell") 
    152154                 (let loop () 
     
    747749                                   (or (target-option commandline-libs:) '())))))) 
    748750 
     751(define-macro (bigloo-user-lib) 
     752   `',*bigloo-user-lib*) 
     753 
    749754(define (standalone-link-libs)    
    750755   (let ((libs '()) 
     
    788793      (cond-expand 
    789794         (PCC_MINGW 
     795          ; 
     796          ; XXX can we use bigloo-user-lib here? 
     797          ; 
    790798          ;; these are needed for the profiler, which uses gettimeofday 
    791799          ;; and ws2_32 is needed by libbigloo.  If the standard extension 
     
    793801          ;; since it uses them too. 
    794802          (set! libs (cons* "-lws2_32" "-lgw32c" "-lole32" "-luuid" libs))) 
    795          (PCC_FREEBSD 
    796           ;; FreeBSD doesn't use -ldl 
    797           (set! libs (cons* "-lm" libs))) 
     803         ; 
     804         ; use libs listed in *bigloo-user-lib* 
     805         ; 
    798806         (else 
    799           ; Linux 
    800           (set! libs (cons* "-lm" "-ldl" libs)))) 
     807          (append! libs (bigloo-user-lib)))) 
     808       
     809;        (PCC_FREEBSD 
     810;         ;; FreeBSD doesn't use -ldl 
     811;         (set! libs (cons* "-lm" libs))) 
     812;        (else 
     813;         ; Linux 
     814;         (set! libs (cons* "-lm" "-ldl" libs)))) 
    801815 
    802816      ;; voodoo.