diff options
| author | David Shah <davey1576@gmail.com> | 2018-06-07 09:01:30 +0200 |
|---|---|---|
| committer | David Shah <davey1576@gmail.com> | 2018-06-07 09:01:30 +0200 |
| commit | 0f6ebd638402ca1ac2a202621e9db63c2cb5eb5f (patch) | |
| tree | b5975530e212fa78c7412c094c84a6919ce4c006 | |
| parent | bdd93135823ae1ef293d4be3eb50d0ca6bdeee9e (diff) | |
| download | nextpnr-0f6ebd638402ca1ac2a202621e9db63c2cb5eb5f.tar.gz nextpnr-0f6ebd638402ca1ac2a202621e9db63c2cb5eb5f.tar.bz2 nextpnr-0f6ebd638402ca1ac2a202621e9db63c2cb5eb5f.zip | |
Allow specifying multiple Python files on the command line
Signed-off-by: David Shah <davey1576@gmail.com>
| -rw-r--r-- | ice40/main.cc | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/ice40/main.cc b/ice40/main.cc index 3d3312c4..5d00fcc8 100644 --- a/ice40/main.cc +++ b/ice40/main.cc @@ -53,7 +53,7 @@ int main(int argc, char *argv[]) options.add_options()("test","just a check"); options.add_options()("gui","start gui"); options.add_options()("svg","dump SVG file"); - options.add_options()("file", po::value<std::string>(), "python file to execute"); + options.add_options()("file", po::value<std::vector<std::string>>(), "python file to execute"); options.add_options()("json", po::value<std::string>(), "JSON design file to ingest"); options.add_options()("version,v","show version"); options.add_options()("lp384","set device type to iCE40LP384"); @@ -207,8 +207,9 @@ int main(int argc, char *argv[]) if (vm.count("file")) { - std::string filename = vm["file"].as<std::string>(); - execute_python_file(filename.c_str()); + std::vector<std::string> files = vm["file"].as<std::vector<std::string>>(); + for(auto filename : files) + execute_python_file(filename.c_str()); } if (vm.count("gui")) |