aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--ice40/main.cc2
1 files changed, 2 insertions, 0 deletions
diff --git a/ice40/main.cc b/ice40/main.cc
index bfbe3b8c..6f6632cc 100644
--- a/ice40/main.cc
+++ b/ice40/main.cc
@@ -54,6 +54,8 @@ po::options_description Ice40CommandHandler::getArchOptions()
specific.add_options()("lp384", "set device type to iCE40LP384");
if (Arch::isAvailable(ArchArgs::LP1K))
specific.add_options()("lp1k", "set device type to iCE40LP1K");
+ if (Arch::isAvailable(ArchArgs::LP4K))
+ specific.add_options()("lp4k", "set device type to iCE40LP4K");
if (Arch::isAvailable(ArchArgs::LP8K))
specific.add_options()("lp8k", "set device type to iCE40LP8K");
if (Arch::isAvailable(ArchArgs::HX1K))