diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/FOLDERCC.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/FOLDERCC.txt b/docs/FOLDERCC.txt new file mode 100644 index 0000000..9045285 --- /dev/null +++ b/docs/FOLDERCC.txt @@ -0,0 +1,5 @@ +If you replace `gcc` in your build scripts with `foldercc`, then instead of +constructing an actual executable, it creates a folder with a bunch of +desugared .c files that can be compiled together into the executable. This +makes it easy to apply global analyses and transformations. `foldercc` is able +to handle partial compilation (i.e., .o and .a files) as well. |