blob: 1c69bb25e1fe179b302cb78bde96fe417eee7d27 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
pkgbase = bsc
pkgdesc = Bluespec Compiler (BSC)
pkgver = 2025.01.1
pkgrel = 1
url = https://github.com/B-Lang-org/bsc
arch = x86_64
license = BSD-3-Clause
checkdepends = dejagnu
checkdepends = iverilog
checkdepends = pkg-config
checkdepends = systemc
checkdepends = tcsh
checkdepends = time
makedepends = git
makedepends = gperf
makedepends = ghc
makedepends = tcl
makedepends = texlive-latexextra
makedepends = texlive-fontsextra
depends = haskell-old-time
depends = haskell-syb
depends = haskell-regex-compat
depends = haskell-split
optdepends = tcl: bluesim and bluetcl
source = bsc-2025.01.1::https://github.com/B-Lang-org/bsc/archive/refs/tags/2025.01.1.tar.gz
source = https://github.com/B-Lang-org/bsc/releases/download/2025.01.1/yices-src-for-bsc-2025.01.1.tar.gz
sha256sums = 6b08d6893e454d26ab12a8b68c5b7383d2060e10817c9fb4d3d19084a4f740f5
sha256sums = a7211d089be68303983cc644b70edaae8efab529ff63fd8670a4f20119888781
pkgname = bsc
|