From c3035ba7d2c2f50c7ab815e88b08edd5c6e92008 Mon Sep 17 00:00:00 2001 From: Matthew Sotoudeh Date: Mon, 2 Sep 2024 11:01:59 -0700 Subject: about foldercc --- README.txt | 2 ++ docs/FOLDERCC.txt | 5 +++++ 2 files changed, 7 insertions(+) create mode 100644 docs/FOLDERCC.txt diff --git a/README.txt b/README.txt index cdf7306..ac61364 100644 --- a/README.txt +++ b/README.txt @@ -39,6 +39,8 @@ Selling points: - Maintains all type information (except qualifiers like const) - Comes with a wrapper to replace GCC in existing build scripts; see docs/DIETCC.txt + - Can extract an entire project to a single directory with multiple .c files + for easy analysis; see docs/FOLDERCC.txt Known to be unsupported: 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. -- cgit v1.2.3