Skip yul flag

Author: hgedia

bin/transpiler/src/main.cpp

@@ -68,7 +68,7 @@ bool read_buffer_from_file(std::ifstream &ifile, std::vector<std::uint8_t> &v) {
 template<typename ProfilingType, typename ConstraintSystemType, typename ColumnsRotationsType,
          typename ArithmetizationParams>
 void print_sol_files(ConstraintSystemType &constraint_system, ColumnsRotationsType &columns_rotations,
-                     std::string out_folder_path = ".", bool optimize_gates = false) {
+                     std::string out_folder_path = ".", bool optimize_gates = false, bool generate_yul = true) {
     ProfilingType::process_split(
         nil::blueprint::main_sol_file_template,
         nil::blueprint::gate_sol_file_template,
@@ -229,6 +229,7 @@ int main(int argc, char *argv[]) {
             ("output-folder-path,o", boost::program_options::value<std::string>(), "Output folder absolute path.\
             It'll be better to create an empty folder for output")
             ("optimize-gates", "Put multiple sequental small gates into one .sol file")
+            ("no-yul", "Skip optimised yul code generation")
             ;
     // clang-format on
 
@@ -247,6 +248,7 @@ int main(int argc, char *argv[]) {
     std::string circuit_file_name;
     std::string output_folder_path;
     std::string public_input;
+    bool generate_yul = true;
 
     if (vm.count("mode")) {
         mode = vm["mode"].as<std::string>();
@@ -291,6 +293,8 @@ int main(int argc, char *argv[]) {
         return 1;
     }
 
+
+
     std::ifstream ifile;
     ifile.open(circuit_file_name);
     if (!ifile.is_open()) {
@@ -381,10 +385,15 @@ int main(int argc, char *argv[]) {
         bool optimize_gates = false;
         if( vm.count("optimize-gates") )
             optimize_gates = true;
+        if(vm.count("no-yul")){
+            generate_yul = false ;
+        }
+
         print_sol_files<ProfilingType, ConstraintSystemType, ColumnsRotationsType, ArithmetizationParams>(
-            constraint_system, columns_rotations, output_folder_path, optimize_gates);
+            constraint_system, columns_rotations, output_folder_path, optimize_gates, generate_yul);
     }
 
+
     if (mode == "gen-test-proof") {
         typename nil::crypto3::zk::snark::placeholder_public_preprocessor<
             BlueprintFieldType, placeholder_params>::preprocessed_data_type public_preprocessed_data =