From c3035ba7d2c2f50c7ab815e88b08edd5c6e92008 Mon Sep 17 00:00:00 2001 From: Matthew Sotoudeh Date: Mon, 2 Sep 2024 11:01:59 -0700 Subject: about foldercc --- docs/FOLDERCC.txt | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 docs/FOLDERCC.txt (limited to 'docs/FOLDERCC.txt') 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