#endif
                        break;
                case fpga_lattice:
+#if defined(CONFIG_FPGA_LATTICE)
                        printf("Lattice Device\nDescriptor @ 0x%p\n", desc);
                        ret_val = lattice_info(desc->devdesc);
+#else
+                       fpga_no_sup( (char *)__FUNCTION__, "Lattice devices" );
+#endif
                        break;
                default:
                        printf( "%s: Invalid or unsupported device type %d\n",
 #endif
                        break;
                case fpga_lattice:
+#if defined(CONFIG_FPGA_LATTICE)
                        ret_val = lattice_load(desc->devdesc, buf, bsize);
+#else
+                       fpga_no_sup( (char *)__FUNCTION__, "Lattice devices" );
+#endif
                        break;
                default:
                        printf( "%s: Invalid or unsupported device type %d\n",
 #endif
                        break;
                case fpga_lattice:
+#if defined(CONFIG_FPGA_LATTICE)
                        ret_val = lattice_dump(desc->devdesc, buf, bsize);
+#else
+                       fpga_no_sup( (char *)__FUNCTION__, "Lattice devices" );
+#endif
                        break;
                default:
                        printf( "%s: Invalid or unsupported device type %d\n",