diff options
| author | Cayetano Santos <csantosb@inventati.org> | 2026-01-12 12:21:12 +0100 |
|---|---|---|
| committer | Cayetano Santos <csantosb@inventati.org> | 2026-01-13 08:47:33 +0100 |
| commit | f73558eb52a356cdd32390056dc4b515402665de (patch) | |
| tree | 8463506a96df08ccd36a69f01eae51831941df42 /gnu | |
| parent | 694fe3743bf820ee77b81fbb233c11e158ef8e0c (diff) | |
gnu: open-logic: Complete tests.
* gnu/packages/electronics.scm (open-logic)[arguments]: Add "en_cl_fix"
tests to ’check #:phase.
Change-Id: Id65302ea9bc3578ce16a01f4b2fb75742233f57e
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/electronics.scm | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index 9c9aff93f06..e95f0c1560e 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -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: |