From 70c88be3345fd1eaa4fc9a65fa2a566b5e6ed645 Mon Sep 17 00:00:00 2001
From: Jordi Baylina <jordi@baylina.cat>
Date: Wed, 24 Oct 2018 20:05:50 +0200
Subject: [PATCH] One and only one file compilation at a time

---
 cli.js | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/cli.js b/cli.js
index 88be9f5..fd6661b 100755
--- a/cli.js
+++ b/cli.js
@@ -41,11 +41,20 @@ const argv = require("yargs")
     repo directory at  https://github.com/iden3/circom `)
     .argv;
 
+if (argv._.length == 0) {
+    console.log("File to compile not specified");
+    process.exit(1);
+} else if (argv._.length > 1) {
+    console.log("Only one circuit at a time is permited");
+    process.exit(1);
+}
+
 const fullFileName = path.resolve(process.cwd(), argv._[0]);
 const outName = argv.output ?  argv.output : "circuit.json";
 
 compiler(fullFileName).then( (cir) => {
     fs.writeFileSync(outName, JSON.stringify(cir, null, 1), "utf8");
+    process.exit(0);
 }, (err) => {
     console.log(err);
     console.error(`ERROR at ${err.errFile}:${err.pos.first_line},${err.pos.first_column}-${err.pos.last_line},${err.pos.last_column}   ${err.errStr}`);