summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorCayetano Santos <csantosb@inventati.org>2026-01-12 12:19:49 +0100
committerCayetano Santos <csantosb@inventati.org>2026-01-13 08:47:33 +0100
commit65819b4c24fe44deb74e887e0c8381ab6cb99e3c (patch)
treeab363cc7d9bdb696c5918228d41ba78eb183d346 /gnu
parentf73558eb52a356cdd32390056dc4b515402665de (diff)
gnu: open-logic: Fix library instantiation.
The output of this package is to be used as the instantiation library from its dependent upstream. The search patch labels as a firmware package. * gnu/packages/electronics.scm (open-logic)[outputs]: Rename. [properties]: Update accordingly. [arguments]: Update #:install-plan. [native-search-paths]: Update ’variable. Change-Id: I814f561cb5be7c90fdc3fa0f4a8bc6f6a57bc992
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/electronics.scm21
1 files changed, 14 insertions, 7 deletions
diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index e95f0c1560e..2848108875f 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -2040,10 +2040,10 @@ verification.")
2040 (base32 2040 (base32
2041 "1792a6i9jq2yawipmk0nr01z092kx3kkav9v5sjf34khk3biav6q")))) 2041 "1792a6i9jq2yawipmk0nr01z092kx3kkav9v5sjf34khk3biav6q"))))
2042 (outputs 2042 (outputs
2043 '("out" "test")) 2043 '("out" "olo"))
2044 (properties 2044 (properties
2045 `((output-synopsis "test" "Testing code") 2045 `((output-synopsis "out" "Instance this design library as work")
2046 (output-synopsis "out" "Source code"))) 2046 (output-synopsis "olo" "Instance this design library as olo")))
2047 (build-system copy-build-system) 2047 (build-system copy-build-system)
2048 (arguments 2048 (arguments
2049 (list 2049 (list
@@ -2064,14 +2064,21 @@ verification.")
2064 "")) 2064 ""))
2065 (invoke "python3" "run.py" "--nvc" "-v")))))) 2065 (invoke "python3" "run.py" "--nvc" "-v"))))))
2066 #:install-plan 2066 #:install-plan
2067 #~'(("src" "share/open-logic/src" #:exclude-regexp ("core")) 2067 #~'(;; Library work.
2068 ("3rdParty" "share/open-logic/3rdParty") 2068 ("src" "share/open-logic/work/src"
2069 ("test" "share/open-logic/test" #:output "test")))) 2069 #:include ("vhd"))
2070 ("3rdParty" "share/open-logic/work/3rdParty"
2071 #:include ("vhd"))
2072 ;; Library olo.
2073 ("src" "share/open-logic/olo/src"
2074 #:include ("vhd") #:output "olo")
2075 ("3rdParty" "share/open-logic/olo/3rdParty"
2076 #:include ("vhd") #:output "olo"))))
2070 (native-inputs 2077 (native-inputs
2071 (list nvc python-matplotlib python-minimal python-vunit)) 2078 (list nvc python-matplotlib python-minimal python-vunit))
2072 (native-search-paths 2079 (native-search-paths
2073 (list (search-path-specification 2080 (list (search-path-specification
2074 (variable "OPEN_LOGIC") 2081 (variable "FW_OPEN_LOGIC")
2075 (separator #f) 2082 (separator #f)
2076 (files (list "share/open-logic"))))) 2083 (files (list "share/open-logic")))))
2077 (home-page "https://github.com/open-logic/open-logic/") 2084 (home-page "https://github.com/open-logic/open-logic/")