~ruther/guix-local

f73558eb52a356cdd32390056dc4b515402665de — Cayetano Santos a month ago 694fe37
gnu: open-logic: Complete tests.

* gnu/packages/electronics.scm (open-logic)[arguments]: Add "en_cl_fix"
tests to ’check #:phase.

Change-Id: Id65302ea9bc3578ce16a01f4b2fb75742233f57e
1 files changed, 5 insertions(+), 1 deletions(-)

M gnu/packages/electronics.scm
M gnu/packages/electronics.scm => gnu/packages/electronics.scm +5 -1
@@ 2050,8 2050,12 @@ verification.")
      #:phases
      #~(modify-phases %standard-phases
          (add-after 'install 'check
            (lambda* (#:key tests? #:allow-other-keys)
            (lambda* (#:key tests? inputs #:allow-other-keys)
              (when tests?
                (with-directory-excursion "3rdParty/en_cl_fix/sim"
                  (invoke "python3" "run.py" "--simulator" "nvc"
                          "--simulator-path"
                          (dirname (search-input-file inputs "bin/nvc"))))
                (with-directory-excursion "sim"
                  (substitute* "run.py"
                    ;; This is required to comply with current VUnit, see: