From 529f57a66f3bffc1c1681eeb12ddaaf2aa4f459f Mon Sep 17 00:00:00 2001
From: w0rp <devw0rp@gmail.com>
Date: Thu, 19 Sep 2019 20:26:22 +0100
Subject: [PATCH] Document and test solc

---
 doc/ale-solidity.txt                                | 12 ++++++++++++
 doc/ale-supported-languages-and-tools.txt           |  1 +
 doc/ale.txt                                         |  1 +
 supported-tools.md                                  |  1 +
 .../test_solc_command_callback.vader                | 13 +++++++++++++
 5 files changed, 28 insertions(+)
 create mode 100644 test/command_callback/test_solc_command_callback.vader

diff --git a/doc/ale-solidity.txt b/doc/ale-solidity.txt
index 4b74a27a..b6e48675 100644
--- a/doc/ale-solidity.txt
+++ b/doc/ale-solidity.txt
@@ -2,6 +2,18 @@
 ALE Solidity Integration                                 *ale-solidity-options*
 
 
+===============================================================================
+solc                                                        *ale-solidity-solc*
+
+
+g:ale_solidity_solc_options                       *g:ale_solidity_solc_options*
+                                                  *b:ale_solidity_solc_options*
+  Type: |String|
+  Default: `''`
+
+  This variable can be set to pass extra options to solc.
+
+
 ===============================================================================
 solhint                                                  *ale-solidity-solhint*
 
diff --git a/doc/ale-supported-languages-and-tools.txt b/doc/ale-supported-languages-and-tools.txt
index 98c6f354..a0d0d38b 100644
--- a/doc/ale-supported-languages-and-tools.txt
+++ b/doc/ale-supported-languages-and-tools.txt
@@ -421,6 +421,7 @@ Notes:
 * SML
   * `smlnj`
 * Solidity
+  * `solc`
   * `solhint`
   * `solium`
 * SQL
diff --git a/doc/ale.txt b/doc/ale.txt
index 4bc69549..9e4af075 100644
--- a/doc/ale.txt
+++ b/doc/ale.txt
@@ -2371,6 +2371,7 @@ documented in additional help files.
   sml.....................................|ale-sml-options|
     smlnj.................................|ale-sml-smlnj|
   solidity................................|ale-solidity-options|
+    solc..................................|ale-solidity-solc|
     solhint...............................|ale-solidity-solhint|
     solium................................|ale-solidity-solium|
   spec....................................|ale-spec-options|
diff --git a/supported-tools.md b/supported-tools.md
index 6cbc2f2c..d419ee8d 100644
--- a/supported-tools.md
+++ b/supported-tools.md
@@ -430,6 +430,7 @@ formatting.
 * SML
   * [smlnj](http://www.smlnj.org/)
 * Solidity
+  * [solc](https://solidity.readthedocs.io/)
   * [solhint](https://github.com/protofire/solhint)
   * [solium](https://github.com/duaraghav8/Solium)
 * SQL
diff --git a/test/command_callback/test_solc_command_callback.vader b/test/command_callback/test_solc_command_callback.vader
new file mode 100644
index 00000000..23521f6a
--- /dev/null
+++ b/test/command_callback/test_solc_command_callback.vader
@@ -0,0 +1,13 @@
+Before:
+  call ale#assert#SetUpLinterTest('solidity', 'solc')
+
+After:
+  call ale#assert#TearDownLinterTest()
+
+Execute(The default command should be correct):
+  AssertLinter 'solc', 'solc %s'
+
+Execute(The options should be configurable):
+  let g:ale_solidity_solc_options = '--foobar'
+
+  AssertLinter 'solc', 'solc --foobar %s'