summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.txt2
-rw-r--r--docs/FOLDERCC.txt5
2 files changed, 7 insertions, 0 deletions
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.
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback