examples,docs: ensure amaranth-boards is available as a dev dependency.

docs/_code/led_blinker.py

@@ -18,7 +18,7 @@ class LEDBlinker(Elaboratable):
 
         return m
 # --- BUILD ---
-from amaranth_boards.icestick import *
+from amaranth_boards.icestick import ICEStickPlatform
 
 
 ICEStickPlatform().build(LEDBlinker(), do_program=True)

examples/board/01_blinky.py

@@ -2,7 +2,7 @@
 # using the platform default clock (and default reset, if any).
 
 from amaranth import *
-from amaranth_boards.ice40_hx1k_blink_evn import *
+from amaranth_boards.ice40_hx1k_blink_evn import ICE40HX1KBlinkEVNPlatform
 
 
 class Blinky(Elaboratable):

examples/board/02_domain.py

@@ -3,7 +3,7 @@
 # independently created in addition to the main "sync" domain.
 
 from amaranth import *
-from amaranth_boards.ice40_hx1k_blink_evn import *
+from amaranth_boards.ice40_hx1k_blink_evn import ICE40HX1KBlinkEVNPlatform
 
 
 class BlinkyWithDomain(Elaboratable):

pyproject.toml

@@ -57,6 +57,9 @@ docs = [
   "sphinx-rtd-theme~=1.2",
   "sphinx-autobuild",
 ]
+examples = [
+  "amaranth-boards @ git+https://github.com/amaranth-lang/amaranth-boards.git"
+]
 
 [tool.pdm.scripts]
 test.composite = ["test-code", "test-docs"]