| : print-c-prefix-lines ( -- ) |
: print-c-prefix-lines ( -- ) |
| c-prefix-lines @ ['] print-c-prefix-line list-map ; |
c-prefix-lines @ ['] print-c-prefix-line list-map ; |
| |
|
| |
: free-c-prefix-lines ( -- ) |
| |
c-prefix-lines @ off c-prefix-lines @ c-prefix-lines-end ! ; |
| |
|
| : save-c-prefix-line ( c-addr u -- ) |
: save-c-prefix-line ( c-addr u -- ) |
| c-source-file-id @ ?dup-if |
c-source-file-id @ ?dup-if |
| >r 2dup r> write-line throw |
>r 2dup r> write-line throw |
| lib-filename 2@ s" .c" s+ 2dup w/o create-file throw |
lib-filename 2@ s" .c" s+ 2dup w/o create-file throw |
| dup c-source-file-id ! |
dup c-source-file-id ! |
| ['] print-c-prefix-lines swap outfile-execute |
['] print-c-prefix-lines swap outfile-execute |
| drop free throw ; |
drop free-c-prefix-lines free throw ; |
| |
|
| : c-named-library-name ( c-addr u -- ) |
: c-named-library-name ( c-addr u -- ) |
| \ set up filenames for a (possibly new) library; c-addr u is the |
\ set up filenames for a (possibly new) library; c-addr u is the |