diff options
author | Eddie Hung <e.hung@imperial.ac.uk> | 2018-07-24 22:20:10 -0700 |
---|---|---|
committer | Eddie Hung <e.hung@imperial.ac.uk> | 2018-07-24 22:20:10 -0700 |
commit | 9382938661613b84e3ad3155e414aaae2fa87da2 (patch) | |
tree | 107c14811cf2e91c82ee4f9ea983260ee7acea8c /ecp5/main.cc | |
parent | 4920cf18fa1128758dac2ffd12bf88d194863f17 (diff) | |
parent | 32c7247785f48b2307e559a0af50d9387bda8b49 (diff) | |
download | nextpnr-9382938661613b84e3ad3155e414aaae2fa87da2.tar.gz nextpnr-9382938661613b84e3ad3155e414aaae2fa87da2.tar.bz2 nextpnr-9382938661613b84e3ad3155e414aaae2fa87da2.zip |
Merge branch 'master' into redist_slack
Diffstat (limited to 'ecp5/main.cc')
-rw-r--r-- | ecp5/main.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ecp5/main.cc b/ecp5/main.cc index 5a4a900a..90096855 100644 --- a/ecp5/main.cc +++ b/ecp5/main.cc @@ -63,6 +63,7 @@ int main(int argc, char *argv[]) #ifndef NO_GUI options.add_options()("gui", "start gui"); #endif + options.add_options()("test", "check architecture database integrity"); options.add_options()("25k", "set device type to LFE5U-25F"); options.add_options()("45k", "set device type to LFE5U-45F"); @@ -148,6 +149,9 @@ int main(int argc, char *argv[]) if (vm.count("no-tmdriv")) ctx->timing_driven = false; + if (vm.count("test")) + ctx->archcheck(); + #ifndef NO_GUI if (vm.count("gui")) { Application a(argc, argv); |