diff options
| author | David Shah <davey1576@gmail.com> | 2018-07-24 16:38:35 +0200 |
|---|---|---|
| committer | David Shah <davey1576@gmail.com> | 2018-07-24 16:38:35 +0200 |
| commit | 3931c84fedc568e24c7e7e98132ec5757cdb29ab (patch) | |
| tree | 0c821ca82aff597d9167103a3b7a4f3824515e5d /ecp5/main.cc | |
| parent | 974ca143e80ac48b0e87054001a48b0d6597c6fa (diff) | |
| download | nextpnr-3931c84fedc568e24c7e7e98132ec5757cdb29ab.tar.gz nextpnr-3931c84fedc568e24c7e7e98132ec5757cdb29ab.tar.bz2 nextpnr-3931c84fedc568e24c7e7e98132ec5757cdb29ab.zip | |
ecp5: Architecture testing and fixing
Signed-off-by: David Shah <davey1576@gmail.com>
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); |