--js-library option to make it easy to add additional library_*.js files

1 files changed, 2 insertions, 0 deletions

diff --git a/src/compiler.js b/src/compiler.js
index 29ae47dd..4442e38e 100644
--- a/src/compiler.js
+++ b/src/compiler.js
@@ -114,6 +114,7 @@ load('settings.js');
 
 var settings_file = arguments_[0];
 var ll_file = arguments_[1];
+additionalLibraries = Array.prototype.slice.call(arguments_, 2);
 
 if (settings_file) {
   var settings = JSON.parse(read(settings_file));
@@ -122,6 +123,7 @@ if (settings_file) {
   }
 }
 
+
 if (CORRECT_SIGNS >= 2) {
   CORRECT_SIGNS_LINES = set(CORRECT_SIGNS_LINES); // for fast checking
 }