clean out _loader compilation support; merge compiler library docs into mzc manual; improve mzscheme cmdline handling so that configuration options do not cancel defaults like -i and -u
svn: r8432
original commit: e35c94f91d
This commit is contained in:
parent
2d53c7cfb8
commit
7678dce81b
|
@ -5,8 +5,7 @@
|
||||||
|
|
||||||
(provide compiler:option^
|
(provide compiler:option^
|
||||||
compiler^
|
compiler^
|
||||||
compiler:inner^
|
compiler:inner^)
|
||||||
compiler:linker^)
|
|
||||||
|
|
||||||
;; Compiler options
|
;; Compiler options
|
||||||
(define-signature compiler:option^
|
(define-signature compiler:option^
|
||||||
|
@ -75,20 +74,9 @@
|
||||||
compile-extensions-to-c
|
compile-extensions-to-c
|
||||||
compile-c-extensions
|
compile-c-extensions
|
||||||
|
|
||||||
compile-extension-parts
|
|
||||||
compile-extension-parts-to-c
|
|
||||||
compile-c-extension-parts
|
|
||||||
|
|
||||||
link-extension-parts
|
|
||||||
glue-extension-parts
|
|
||||||
glue-extension-parts-to-c
|
|
||||||
|
|
||||||
compile-zos
|
compile-zos
|
||||||
|
|
||||||
compile-collection-extension
|
|
||||||
compile-collection-zos
|
compile-collection-zos
|
||||||
|
|
||||||
compile-directory-extension
|
|
||||||
compile-directory-zos
|
compile-directory-zos
|
||||||
|
|
||||||
current-compiler-dynamic-require-wrapper
|
current-compiler-dynamic-require-wrapper
|
||||||
|
@ -99,13 +87,4 @@
|
||||||
(compile-extension
|
(compile-extension
|
||||||
compile-extension-to-c
|
compile-extension-to-c
|
||||||
compile-c-extension
|
compile-c-extension
|
||||||
compile-extension-part
|
eval-compile-prefix)))
|
||||||
compile-extension-part-to-c
|
|
||||||
compile-c-extension-part
|
|
||||||
eval-compile-prefix))
|
|
||||||
|
|
||||||
;; Low-level multi-file extension linker interface
|
|
||||||
(define-signature compiler:linker^
|
|
||||||
(link-extension
|
|
||||||
glue-extension
|
|
||||||
glue-extension-source)))
|
|
||||||
|
|
|
@ -11,7 +11,6 @@
|
||||||
clean
|
clean
|
||||||
compile-mode
|
compile-mode
|
||||||
make-zo
|
make-zo
|
||||||
make-so
|
|
||||||
make-info-domain
|
make-info-domain
|
||||||
make-launchers
|
make-launchers
|
||||||
make-docs
|
make-docs
|
||||||
|
|
Loading…
Reference in New Issue
Block a user