Fix benchmarking for bigloo to work with its default options.
This commit is contained in:
parent
2a7ca22a16
commit
7800e417d2
|
@ -130,7 +130,7 @@ exec racket -qu "$0" ${1+"$@"}
|
|||
(delete-file (append-extension-suffix (symbol->string bm))))
|
||||
|
||||
(define (run-exe bm)
|
||||
(system (symbol->string bm)))
|
||||
(system (format "./~a" (symbol->string bm))))
|
||||
|
||||
(define (run-exe/time bm)
|
||||
(system (format "time ~a" bm)))
|
||||
|
|
|
@ -11,12 +11,7 @@
|
|||
(newline))
|
||||
#:exists 'truncate/replace)
|
||||
|
||||
(when (system (format "bigloo -w -o ~a -copt -m32 -call/cc -copt -O3 -copt -fomit-frame-pointer -O6 ~a~a.scm"
|
||||
name
|
||||
(if (memq (string->symbol name)
|
||||
'(ctak))
|
||||
"-call/cc "
|
||||
"")
|
||||
name))
|
||||
(when (system (format "bigloo -static-bigloo -w -o ~a -copt -m32 -call/cc -copt -O3 -copt -fomit-frame-pointer -O6 ~a.scm"
|
||||
name name))
|
||||
(delete-file (format "~a.scm" name))
|
||||
(delete-file (format "~a.o" name)))
|
||||
|
|
Loading…
Reference in New Issue
Block a user