gnu: python-cocotb: Complete tests.

* gnu/packages/electronics.scm (python-cocotb)[arguments]: Add
’run-examples #:phase.

Change-Id: I3347baa3d21e6aec80d4e72a4d67dbe003bd8c2e

1 files changed, 7 insertions, 1 deletions

diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index 1376d659c4e..cadd8244868 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -2041,7 +2041,13 @@ files as specified in IEEE 1364-2005.")
     (arguments
      (list
       #:test-flags
-      #~(list "-k" "not test_toplevel_library")));requires questasim simulator
+      #~(list "-k" "not test_toplevel_library") ;requires questasim simulator
+      #:phases
+      #~(modify-phases %standard-phases
+          (add-after 'check 'run-examples
+            (lambda* (#:key tests? #:allow-other-keys)
+              (when tests?
+                (invoke "make" "-k" "-C" "examples")))))))
     (native-inputs
      (list iverilog
            nvc