From eda1171939b6d7d951aef2da5b4bbb4e926c1f4a Mon Sep 17 00:00:00 2001 From: yehonal Date: Wed, 6 Jul 2016 15:27:06 +0200 Subject: [PATCH] readme for compiler scripts --- bin/compiler/README.md | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 bin/compiler/README.md diff --git a/bin/compiler/README.md b/bin/compiler/README.md new file mode 100644 index 000000000..f42350166 --- /dev/null +++ b/bin/compiler/README.md @@ -0,0 +1,24 @@ +## How to compile: + +first of all, if you need some custom configuration you have to copy and rename +config.sh.dist in config.sh and configure it + +* for a "clean" compilation you must run all scripts in their order: + + ./1-clean.sh + ./2-configure.sh + ./3-build.sh + +* if you add/rename/delete some sources and you need to compile it you have to run: + + ./2-configure.sh + ./3-build.sh + +* if you have modified code only, you just need to run + + ./3-build.sh + + +## Note: + +For an optimal development process and **really faster** compilation time, is suggested to use clang instead of gcc \ No newline at end of file