diff options
Diffstat (limited to 'gnu/packages/electronics.scm')
| -rw-r--r-- | gnu/packages/electronics.scm | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index ea1923a8069..209e481ff8c 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm | |||
| @@ -1762,7 +1762,7 @@ which allows one to install the M8 firmware on any Teensy.") | |||
| 1762 | (inherit m8c) | 1762 | (inherit m8c) |
| 1763 | (name "m8c-serial") | 1763 | (name "m8c-serial") |
| 1764 | (arguments | 1764 | (arguments |
| 1765 | (substitute-keyword-arguments (package-arguments m8c) | 1765 | (substitute-keyword-arguments arguments |
| 1766 | ((#:configure-flags flags) | 1766 | ((#:configure-flags flags) |
| 1767 | #~(cons* "-DUSE_LIBSERIAL=ON" | 1767 | #~(cons* "-DUSE_LIBSERIAL=ON" |
| 1768 | (delete "-DUSE_LIBUSB=ON" #$flags))))) | 1768 | (delete "-DUSE_LIBUSB=ON" #$flags))))) |
| @@ -2054,7 +2054,7 @@ Automation}, portable and vendor neutral FPGA place and route tool.") | |||
| 2054 | (arguments | 2054 | (arguments |
| 2055 | (delkw | 2055 | (delkw |
| 2056 | #:qtbase | 2056 | #:qtbase |
| 2057 | (substitute-keyword-arguments (package-arguments nextpnr) | 2057 | (substitute-keyword-arguments arguments |
| 2058 | ((#:configure-flags flags '()) | 2058 | ((#:configure-flags flags '()) |
| 2059 | #~(delete! "-DBUILD_GUI=ON" #$flags))))) | 2059 | #~(delete! "-DBUILD_GUI=ON" #$flags))))) |
| 2060 | (synopsis | 2060 | (synopsis |
| @@ -2069,7 +2069,7 @@ Automation}, portable and vendor neutral FPGA place and route tool.") | |||
| 2069 | (inherit libngspice) | 2069 | (inherit libngspice) |
| 2070 | (name "ngspice") | 2070 | (name "ngspice") |
| 2071 | (arguments | 2071 | (arguments |
| 2072 | (substitute-keyword-arguments (package-arguments libngspice) | 2072 | (substitute-keyword-arguments arguments |
| 2073 | ;; Tests require a X server running, so we keep them disabled | 2073 | ;; Tests require a X server running, so we keep them disabled |
| 2074 | ((#:configure-flags flags) | 2074 | ((#:configure-flags flags) |
| 2075 | #~(cons* "--enable-rpath" "--with-x" "--with-readline=yes" | 2075 | #~(cons* "--enable-rpath" "--with-x" "--with-readline=yes" |
| @@ -2536,7 +2536,7 @@ clock tree synthesis, routing, parasitic extraction, and timing analysis.") | |||
| 2536 | (arguments | 2536 | (arguments |
| 2537 | (delkw | 2537 | (delkw |
| 2538 | #:qtbase | 2538 | #:qtbase |
| 2539 | (substitute-keyword-arguments (package-arguments openroad) | 2539 | (substitute-keyword-arguments arguments |
| 2540 | ((#:configure-flags flags '()) | 2540 | ((#:configure-flags flags '()) |
| 2541 | #~(cons* "-DBUILD_GUI=OFF" | 2541 | #~(cons* "-DBUILD_GUI=OFF" |
| 2542 | (delete! "-DBUILD_GUI=ON" #$flags)))))) | 2542 | (delete! "-DBUILD_GUI=ON" #$flags)))))) |
| @@ -2690,7 +2690,7 @@ verification.") | |||
| 2690 | (sha256 | 2690 | (sha256 |
| 2691 | (base32 "1kn18ibvm7bzdyw2d914284wriravyh5qwfarj06pb052x1yblyx")))) | 2691 | (base32 "1kn18ibvm7bzdyw2d914284wriravyh5qwfarj06pb052x1yblyx")))) |
| 2692 | (arguments | 2692 | (arguments |
| 2693 | (substitute-keyword-arguments (package-arguments osvvm) | 2693 | (substitute-keyword-arguments arguments |
| 2694 | ((#:tests? _ #t) | 2694 | ((#:tests? _ #t) |
| 2695 | #f) | 2695 | #f) |
| 2696 | ((#:phases phases #~%standard-phases) | 2696 | ((#:phases phases #~%standard-phases) |
